corpus.blog
41554 blogs · [ { "id": "01a0bb99-9c74-73cc-9c0c-83a13bf9ab68", "title": "Linklog | Static types are for perfectionists", "url": "https://mmapped.blog/posts/38-static-types-perfectionism", "published_at": "2026-09-16T12:00:00+00:00" }, { "id": "01a087a7-a1be-705d-89bc-f745f4aaf642", "title": "Backtrack-free cursive", "url": "https://mmapped.blog/posts/52-backtrack-free-cursive.html", "published_at": "2026-07-12T00:00:00+00:00" }, { "id": "01a087a7-a1be-705d-89bc-f745f52b69ab", "title": "Interleaved deltas", "url": "https://mmapped.blog/posts/51-interleaved-deltas.html", "published_at": "2026-05-22T00:00:00+00:00" }, { "id": "01a087a7-a1be-705d-89bc-f745f5dd3fd7", "title": "Whispering gallery", "url": "https://mmapped.blog/posts/50-whispering-gallery.html", "published_at": "2026-04-14T00:00:00+00:00" }, { "id": "01a087a7-a1be-705d-89bc-f745f6b231f4", "title": "Kirk, Scotty, and Spock", "url": "https://mmapped.blog/posts/49-kirk-scotty-spock.html", "published_at": "2026-03-22T00:00:00+00:00" }, { "id": "01a087a7-a1be-705d-89bc-f745f6fd06f0", "title": "The third hard problem", "url": "https://mmapped.blog/posts/48-the-third-hard-problem.html", "published_at": "2026-02-28T00:00:00+00:00" }, { "id": "01a087a7-a1be-705d-89bc-f745f782eed7", "title": "2025 retrospective", "url": "https://mmapped.blog/posts/47-2025-retro.html", "published_at": "2026-01-19T00:00:00+00:00" }, { "id": "01a087a7-a1be-705d-89bc-f745f7a32064", "title": "Advent of Code 2025", "url": "https://mmapped.blog/posts/46-aoc-2025.html", "published_at": "2025-12-27T00:00:00+00:00" }, { "id": "01a087a7-a1be-705d-89bc-f745f7bb531a", "title": "Compilation is communication", "url": "https://mmapped.blog/posts/45-compilation-is-communication.html", "published_at": "2025-10-13T00:00:00+00:00" }, { "id": "01a087a7-a1be-705d-89bc-f745f801b9d4", "title": "Tag-based logging", "url": "https://mmapped.blog/posts/44-tag-based-logging.html", "published_at": "2025-08-19T00:00:00+00:00" }, { "id": "01a087a7-a1be-705d-89bc-f745f8610367", "title": "Stepanov’s biggest blunder", "url": "https://mmapped.blog/posts/43-stepanovs-biggest-blunder.html", "published_at": "2025-07-13T00:00:00+00:00" }, { "id": "01a087a7-a1be-705d-89bc-f745f8e300b3", "title": "Parasites found", "url": "https://mmapped.blog/posts/42-parasites-found.html", "published_at": "2025-07-01T00:00:00+00:00" }, { "id": "01a087a7-a1be-705d-89bc-f745f99011ac", "title": "Box combinators", "url": "https://mmapped.blog/posts/41-box-combinators.html", "published_at": "2025-06-01T00:00:00+00:00" }, { "id": "01a087a7-a1be-705d-89bc-f745fa771dc8", "title": "Three degrees of validity", "url": "https://mmapped.blog/posts/40-three-degress-of-validity.html", "published_at": "2025-04-26T00:00:00+00:00" }, { "id": "01a087a7-a1be-705d-89bc-f745fb4ee1f3", "title": "3000 days of Duolingo", "url": "https://mmapped.blog/posts/39-3000-days-of-duolingo.html", "published_at": "2025-04-14T00:00:00+00:00" }, { "id": "01a087a7-a1be-705d-89bc-f745fbc09e32", "title": "Static types are for perfectionists", "url": "https://mmapped.blog/posts/38-static-types-perfectionism.html", "published_at": "2025-04-01T00:00:00+00:00" }, { "id": "01a087a7-a1be-705d-89bc-f745fbfa54da", "title": "ONNX introduction", "url": "https://mmapped.blog/posts/37-onnx-intro.html", "published_at": "2025-02-17T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbcbb3e1198", "title": "2024 retrospective", "url": "https://mmapped.blog/posts/36-2024-retro.html", "published_at": "2025-01-20T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbcbb530a44", "title": "Advent of Code 2024", "url": "https://mmapped.blog/posts/35-aoc-2024.html", "published_at": "2025-01-02T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbcbb77a13f", "title": "Square joy: tile crush", "url": "https://mmapped.blog/posts/34-square-joy-tile-crush.html", "published_at": "2024-12-16T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbcbb9377f1", "title": "Transposing tensor files", "url": "https://mmapped.blog/posts/33-transposing-tensor-files.html", "published_at": "2024-11-22T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbcbc6f9f36", "title": "Programming avant-garde", "url": "https://mmapped.blog/posts/32-programming-avant-garde.html", "published_at": "2024-10-31T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbcbcc3514d", "title": "Effective design docs", "url": "https://mmapped.blog/posts/31-effective-design-docs.html", "published_at": "2024-09-15T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbcbd842046", "title": "Transaction models are programming paradigms", "url": "https://mmapped.blog/posts/30-transaction-models.html", "published_at": "2024-08-16T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbcbe7c9360", "title": "The plan-execute pattern", "url": "https://mmapped.blog/posts/29-plan-execute.html", "published_at": "2024-06-20T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbcbeca8326", "title": "Enlightenmentware", "url": "https://mmapped.blog/posts/28-enlightenmentware.html", "published_at": "2024-05-20T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbcbf0440f5", "title": "Extending HTTPS outcalls", "url": "https://mmapped.blog/posts/27-extending-https-outcalls.html", "published_at": "2024-04-29T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbcbf1f78e0", "title": "Good names form Galois connections", "url": "https://mmapped.blog/posts/26-good-names-form-galois-connections.html", "published_at": "2024-04-01T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbcbf983836", "title": "Universal domain types", "url": "https://mmapped.blog/posts/25-domain-types.html", "published_at": "2024-02-26T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbcbfcb483b", "title": "The off-chain reporting protocol", "url": "https://mmapped.blog/posts/24-ocr.html", "published_at": "2024-01-30T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbcc0426a75", "title": "The numeric tower fiasco", "url": "https://mmapped.blog/posts/23-numeric-tower-fiasco.html", "published_at": "2023-11-22T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbcc13d6d82", "title": "Flat in-order binary trees", "url": "https://mmapped.blog/posts/22-flat-in-order-trees.html", "published_at": "2023-08-13T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbcc1c26b87", "title": "Mach’s principle", "url": "https://mmapped.blog/posts/21-machs-principle.html", "published_at": "2023-07-02T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbcc257f2d0", "title": "Candid for engineers", "url": "https://mmapped.blog/posts/20-candid-for-engineers.html", "published_at": "2023-06-14T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbcc2aae342", "title": "ckBTC internals: event log", "url": "https://mmapped.blog/posts/19-eventlog.html", "published_at": "2023-05-01T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbcc378ddf7", "title": "If composers were hackers", "url": "https://mmapped.blog/posts/18-if-composers-were-hackers.html", "published_at": "2023-04-01T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbcc40761eb", "title": "Scaling Rust builds with Bazel", "url": "https://mmapped.blog/posts/17-scaling-rust-builds-with-bazel.html", "published_at": "2023-03-20T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbcc4d3fb8c", "title": "Book summary: Building a Second Brain", "url": "https://mmapped.blog/posts/16-building-a-second-brain.html", "published_at": "2023-02-25T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbcc5395716", "title": "When Rust hurts", "url": "https://mmapped.blog/posts/15-when-rust-hurts.html", "published_at": "2023-02-14T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbcc6381bb2", "title": "Tutorial: stable-structures", "url": "https://mmapped.blog/posts/14-stable-structures.html", "published_at": "2023-01-20T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbcc67f6c26", "title": "IC internals: the ICP ledger", "url": "https://mmapped.blog/posts/13-icp-ledger.html", "published_at": "2022-12-19T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbcc6cf2ec5", "title": "Designing error types in Rust", "url": "https://mmapped.blog/posts/12-rust-error-handling.html", "published_at": "2022-11-15T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbcc72e31c2", "title": "IC internals: Internet Identity storage", "url": "https://mmapped.blog/posts/11-ii-stable-memory.html", "published_at": "2022-10-12T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbcc773b4fa", "title": "Fungible tokens: payment flows", "url": "https://mmapped.blog/posts/10-payment-flows.html", "published_at": "2022-09-21T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbcc7f6a7ea", "title": "Fungible tokens 101", "url": "https://mmapped.blog/posts/09-fungible-tokens-101.html", "published_at": "2022-08-05T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbcc8756266", "title": "IC internals: XNet protocol", "url": "https://mmapped.blog/posts/08-ic-xnet.html", "published_at": "2022-07-01T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbcc8f1d8ae", "title": "Square joy: pre-order", "url": "https://mmapped.blog/posts/07-square-joy-pre-order.html", "published_at": "2022-06-05T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbcc9be6afd", "title": "IC internals: orthogonal persistence", "url": "https://mmapped.blog/posts/06-ic-orthogonal-persistence.html", "published_at": "2022-04-27T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbcca84bdbf", "title": "Debug like Feynman, test like Faraday", "url": "https://mmapped.blog/posts/05-debug-like-feynman.html", "published_at": "2022-04-01T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbccb388406", "title": "Square joy: trapped rainwater", "url": "https://mmapped.blog/posts/04-square-joy-trapped-rain-water.html", "published_at": "2022-02-15T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbccbfa96f7", "title": "Rust at scale: packages, crates, and modules", "url": "https://mmapped.blog/posts/03-rust-packages-crates-modules.html", "published_at": "2022-01-20T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbcccab425b", "title": "IC internals: replicated state machine", "url": "https://mmapped.blog/posts/02-ic-state-machine-replication.html", "published_at": "2021-12-01T00:00:00+00:00" }, { "id": "01a087a7-a1bf-7388-8ed6-2cbccd3af599", "title": "Effective Rust canisters", "url": "https://mmapped.blog/posts/01-effective-rust-canisters.html", "published_at": "2021-10-25T00:00:00+00:00" } ] posts Claim your blog
Back to mmapped.blog
Blog · corpus.blog/blogs/mmapped.blog/posts

mmapped.blog

mmapped.blog

2026

Linklog | Static types are for perfectionistsoriginal ↗
16 Sept 2026
Backtrack-free cursiveoriginal ↗
12 Jul 2026
Interleaved deltasoriginal ↗
22 May 2026
Whispering galleryoriginal ↗
14 Apr 2026
Kirk, Scotty, and Spockoriginal ↗
22 Mar 2026
The third hard problemoriginal ↗
28 Feb 2026
2025 retrospectiveoriginal ↗
19 Jan 2026

2025

Advent of Code 2025original ↗
27 Dec 2025
Compilation is communicationoriginal ↗
13 Oct 2025
Tag-based loggingoriginal ↗
19 Aug 2025
Stepanov’s biggest blunderoriginal ↗
13 Jul 2025
Parasites foundoriginal ↗
1 Jul 2025
Box combinatorsoriginal ↗
1 Jun 2025
Three degrees of validityoriginal ↗
26 Apr 2025
3000 days of Duolingooriginal ↗
14 Apr 2025
Static types are for perfectionistsoriginal ↗
1 Apr 2025
ONNX introductionoriginal ↗
17 Feb 2025
2024 retrospectiveoriginal ↗
20 Jan 2025
Advent of Code 2024original ↗
2 Jan 2025

2024

Square joy: tile crushoriginal ↗
16 Dec 2024
Transposing tensor filesoriginal ↗
22 Nov 2024
Programming avant-gardeoriginal ↗
31 Oct 2024
Effective design docsoriginal ↗
15 Sept 2024
Transaction models are programming paradigmsoriginal ↗
16 Aug 2024
The plan-execute patternoriginal ↗
20 Jun 2024
Enlightenmentwareoriginal ↗
20 May 2024
Extending HTTPS outcallsoriginal ↗
29 Apr 2024
Good names form Galois connectionsoriginal ↗
1 Apr 2024
Universal domain typesoriginal ↗
26 Feb 2024
The off-chain reporting protocoloriginal ↗
30 Jan 2024

2023

The numeric tower fiascooriginal ↗
22 Nov 2023
Flat in-order binary treesoriginal ↗
13 Aug 2023
Mach’s principleoriginal ↗
2 Jul 2023
Candid for engineersoriginal ↗
14 Jun 2023
ckBTC internals: event logoriginal ↗
1 May 2023
If composers were hackersoriginal ↗
1 Apr 2023
Scaling Rust builds with Bazeloriginal ↗
20 Mar 2023
Book summary: Building a Second Brainoriginal ↗
25 Feb 2023
When Rust hurtsoriginal ↗
14 Feb 2023
Tutorial: stable-structuresoriginal ↗
20 Jan 2023

2022

IC internals: the ICP ledgeroriginal ↗
19 Dec 2022
Designing error types in Rustoriginal ↗
15 Nov 2022
IC internals: Internet Identity storageoriginal ↗
12 Oct 2022
Fungible tokens: payment flowsoriginal ↗
21 Sept 2022
Fungible tokens 101original ↗
5 Aug 2022
IC internals: XNet protocoloriginal ↗
1 Jul 2022
Square joy: pre-orderoriginal ↗
5 Jun 2022
IC internals: orthogonal persistenceoriginal ↗
27 Apr 2022
Debug like Feynman, test like Faradayoriginal ↗
1 Apr 2022
Square joy: trapped rainwateroriginal ↗
15 Feb 2022
Rust at scale: packages, crates, and modulesoriginal ↗
20 Jan 2022

2021

IC internals: replicated state machineoriginal ↗
1 Dec 2021
Effective Rust canistersoriginal ↗
25 Oct 2021