• mmap(blog)
  • Posts
  • About
  • Atom Feed

  • Three degrees of validity

    What does valid configuration share with facts and theorems?
    ✏ 2025-04-26   ✂ 2025-04-26
  • 3000 days of Duolingo

    Why eight years with the green owl is enough.
    ✏ 2025-04-14   ✂ 2025-04-14
  • Static types are for perfectionists

    Scherzo in e-moll on programming and authenticity.
    ✏ 2025-04-01   ✂ 2025-04-01 Hacker News
  • ONNX introduction

    A gentle introduction to the Open Neural Network eXchange format.
    ✏ 2025-02-17   ✂ 2025-02-17
  • 2024 retrospective

    Looking back at the year 2024.
    ✏ 2025-01-20   ✂ 2025-01-20
  • Advent of Code 2024

    Reflection on puzzles and OCaml.
    ✏ 2025-01-02   ✂ 2025-01-03
  • Square joy: tile crush

    Exploding tiles in J.
    ✏ 2024-12-16   ✂ 2024-12-16
  • Transposing tensor files

    Where does file metadata belong?
    ✏ 2024-11-22   ✂ 2024-11-22 Hacker News
  • Programming avant-garde

    Programmers and thinkers who inspire me.
    ✏ 2024-10-31   ✂ 2024-10-31 Hacker News
  • Effective design docs

    An opinionated guide to writing software design docs.
    ✏ 2024-09-15   ✂ 2024-09-16
  • Transaction models are programming paradigms

    Functional programming vs OOP, now on a blockchain.
    ✏ 2024-08-16   ✂ 2024-08-16 Hacker News
  • The plan-execute pattern

    A ubiquitous pattern you won’t find in your textbook.
    ✏ 2024-06-20   ✂ 2024-06-20 Hacker News
  • Enlightenmentware

    Software that makes you a better programmer.
    ✏ 2024-05-20   ✂ 2024-05-20 Hacker News Reddit
  • Extending HTTPS outcalls

    Making IC’s HTTPS outcalls feature more versatile.
    ✏ 2024-04-29   ✂ 2024-04-29
  • Good names form Galois connections

    A quest for defining what it means to name things well.
    ✏ 2024-04-01   ✂ 2024-04-01 Reddit
  • Universal domain types

    A guide to domain-specific types that make sense.
    ✏ 2024-02-26   ✂ 2024-02-26 Hacker News Reddit
  • The off-chain reporting protocol

    An overview of the Chainlink OCR protocol.
    ✏ 2024-01-30   ✂ 2024-01-30
  • The numeric tower fiasco

    OOP inheritance had one job to do.
    ✏ 2023-11-22   ✂ 2023-11-22 Hacker News
  • Flat in-order binary trees

    An efficient algorithm for incremental merkle trees updates.
    ✏ 2023-08-13   ✂ 2023-11-26
  • Mach’s principle

    Why is it so hard to change things?
    ✏ 2023-07-02   ✂ 2023-07-02
  • Candid for engineers

    A practical guide to the world’s most advanced interface definition language.
    ✏ 2023-06-14   ✂ 2023-06-22
  • ckBTC internals: event log

    The storage scheme securing ckBTC assets.
    ✏ 2023-05-01   ✂ 2023-05-01
  • If composers were hackers

    What programming language would J.S. Bach use?
    ✏ 2023-04-01   ✂ 2023-04-01
  • Scaling Rust builds with Bazel

    Why DFINITY builds Rust with Bazel.
    ✏ 2023-03-20   ✂ 2023-03-20 Hacker News Reddit
  • Book summary: Building a Second Brain

    A summary of the book by Tiago Forte.
    ✏ 2023-02-25   ✂ 2023-02-25
  • When Rust hurts

    Why I am not enjoying programming in Rust.
    ✏ 2023-02-14   ✂ 2023-02-16 Hacker News Reddit
  • Tutorial: stable-structures

    An introduction to the stable-structures library.
    ✏ 2023-01-20   ✂ 2023-02-04
  • IC internals: the ICP ledger

    The design of the Internet Computer utility token treasury.
    ✏ 2022-12-19   ✂ 2022-12-19
  • Designing error types in Rust

    An optinionated guide to designing humane error types in Rust.
    ✏ 2022-11-15   ✂ 2022-11-16 Reddit
  • IC internals: Internet Identity storage

    How the Internet Identity canister uses its stable memory to achieve safe upgrades.
    ✏ 2022-10-12   ✂ 2022-10-12
  • Fungible tokens: payment flows

    Payment flows for fungible tokens on the Internet Computer.
    ✏ 2022-09-21   ✂ 2022-09-21
  • Fungible tokens 101

    An introduction to fungible tokens and ledgers.
    ✏ 2022-08-05   ✂ 2022-08-05
  • IC internals: XNet protocol

    A deep dive into the protocol that IC subnets communicate over.
    ✏ 2022-07-01   ✂ 2022-07-01
  • Square joy: pre-order

    Restoring a binary tree from its pre-order traversal.
    ✏ 2022-06-05   ✂ 2022-06-05 Reddit
  • IC internals: orthogonal persistence

    The Internet Computer orthogonal persistence feature and the data structure powering that feature.
    ✏ 2022-04-27   ✂ 2022-04-27
  • Debug like Feynman, test like Faraday

    Apply scientific method in everyday software engineering.
    ✏ 2022-04-01   ✂ 2024-09-26 Reddit
  • Square joy: trapped rainwater

    Solving the trapped rainwater problem in J.
    ✏ 2022-02-15   ✂ 2024-03-03 Reddit
  • Rust at scale: packages, crates, and modules

    Lessons learned from scaling a Rust code base.
    ✏ 2022-01-20   ✂ 2023-06-16 Reddit
  • A swarm of replicated state machines

    A glance on the Internet Computer replicas through the lens of state machine replication.
    ✏ 2021-12-01   ✂ 2021-12-01
  • Effective Rust canisters

    A compilation of useful patterns for developing IC canisters in Rust.
    ✏ 2021-10-25   ✂ 2022-10-16

©Roman Kashitsyn  Creative Commons License
Source Code