A deep dive into how CRDT-powered local-first apps track, merge, and sync every INSERT, UPDATE, and DELETE inside SQLite.

retail normies still queue and don’t even know they can buy synthetic algorithmically pegged gold onchain
🫵😹

oh btw, we recently did an oversubbed $2m echo sale, bringing the total raised to $8m

no need for fancy designed announcements, thanks to our friends @z00m3rf13d, @comfycapital_, @gametheorizing, @devops199fan and of course @cobie

check your emails if…

"The problems are tractable, but they're still difficult”

First slowly, and then all at once, dreams of LLMs bringing us to the cusp of AGI have fallen apart.

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.