Blog (Tag Internet Computer)

2021

• Zero-downtime upgrades of Internet Computer canisters
• How to audit an Internet Computer canister
• A mostly allocation-free optional type
• A Candid explainer: Quirks
• A Candid explainer: Language integration
• A Candid explainer: Opt is special
• A Candid explainer: Safe higher-order upgrades
• A Candid explainer: The rough idea
• Sweet former employee appreciation
• Leaving DFINITY
• Verifying the code of the Internet Identity service

2019

• Faster Winter: Statistics (the making-of)
• Faster Winter 7: The Zipper
• Faster Winter 6: Simpler Code
• Faster Winter 5: Eta-Expanding ReaderT
• Faster Winter 4: Export lists
• Faster Winter 3: Difference Lists
• Faster Winter 2: SPECIALIZE
• Faster Winter 1: Vectors
• Winter is coming even more quickly
• Teaching to read Haskell