The article discusses monotonic time as a fundamental abstraction in computing, noting that monotonicity is often enforced through specific code patterns. It explores considerations around strictly monotonic time implementations.
matklad-github-io
10 items from matklad-github-io
make.ts
1.0The article describes a keyboard sequence pattern involving the Up arrow key and Enter key. It appears to document a specific command or navigation sequence using these keyboard inputs.
CI In a Box
2.0The author created "box," a thin SSH wrapper for running commands on remote machines. They express interest in developing a similar box-shaped interface for continuous integration systems.
The author reflects on programming knowledge, noting that much of it involves reducing new problems to a vocabulary of known tricks. This is a personal, descriptive post about the author's thought process rather than prescriptive advice.
Safari implemented text-wrap: pretty in 2025, bringing improved typography to web development. This feature enables better paragraph formatting, advancing web technology toward historical printing standards.
The author describes their personal default approach to error reporting, focusing on showing users useful error messages. This follows their previous discussion about Zig's strongly-typed error codes solving error handling.
The author shares a realization about code comment formatting practices, specifically regarding line wrapping techniques for comments in programming.
The article critiques query-based compilers, which are currently popular, by highlighting potential pitfalls and challenges in their implementation. It aims to provide a balanced perspective on this trending approach to compiler design.
The upcoming LSP 3.18 version introduces a Text Document Content Request feature that will significantly simplify implementing a Magit-style user experience for the jj version control system, making it much less hacky than previously described approaches.
The author aims to provide visual illustrations to help explain consensus algorithms, positioning this as complementary to existing formal explanations of Paxos.