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…

don’t be scared to fuck up on tasks about decisions you make, test shit and try to find the way out through internal math smarts (you have got to develop that skill)

fork-mfers are using grok as a weapon against you without even understanding what the fuck…

Alex Karp, CEO of Palantir, joins Molly O’Shea for a rare look inside Palantir (physically, inside their office). We go deep into their values, vision, and the moral foundation of technology in the AI era.

Fresh off Palantir’s record-breaking earnings, nearly…