High-performance data engine for AI and multimodal workloads. Process images, audio, video, and structured data at any scale - Eventual-Inc/Daft

OpenAI researchers recently claimed a major math breakthrough on X, but quickly walked it back after criticism from the community, including Deepmind CEO Demis Hassabis, who called out the sloppy communication.

Crash that hit apps and websites around world demonstrates ‘urgent need for diversification in cloud computing’

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)…