Mathematicians thought that they understood how rotation works, but now a new proof has revealed a surprising twist that makes it possible to reset even a complex sequence of motion

Lambda calculus is for wimps. Real programmers use combinatory logic.

I read a good post by one of the authors of the Isabelle theorem prover, that got me thinking. The author, Lawrence Paulson, observed that most math proofs are trivial, but writing them (preferably with a proof assistant) is a worthwhile activity, for reasons…

A guide on building a simple Linux distribution from scratch. Detailed guide on building the kernel and the init process. Finally, a little distribution is built with u-root that is capable of connecting to the Internet.

instead of “fork around and find out”, try to build something from scratch to measure your real value

A Tcl distibution for WebAssembly or Javascript. Contribute to ecky-l/wacl development by creating an account on GitHub.

A response to 'But ChatGPT said…'

ghc itself can now run purely client-side in the browser, here’s a haskell playground demo. terms and conditions apply, and i’ll write up more detailed explanation some time later, but i thought this is a cool thing to show off how far the ghc wasm backend…

WebAssembly (Wasm) arch support for the Linux kernel - joelseverin/linux-wasm

Using QUIC to achieve everything needed for NAT traversal, from address discovery to proxying UDP

June 2025 These lectures describe LMS, XMSS and SPHINCS+ (SLH-DSA), the quantum-safe hash-based signature schemes that were standardized by the National Institute of Standards and Technology (NIST)…

Ironclad is a free software formally verified kernel written in SPARK/Ada

ship first

explain later

How a bit of algorithm engineering and low-level details can alter what seems like a straightforward trade-off on a blackboard.

not sorry, don't owe anyone an apology, will keep building the only functional encrypted infrastructure while avoiding shortcuts, forks, marketing talk and empty promises

works ongoing, maybe someone will find it useful
using this opportunity, saying hi…