October 2024 Progress in Guaranteed Safe AI
lesswrong.com·2d
🧮SMT Solvers
Flag this post
I built a task system that survives Claude sessions and works across any AI tool - entirely made with Claude Code
🤖Automation
Flag this post
Building a Distributed Database in Elixir (Part 2: Architecture and the Beam)
🌐YugabyteDB
Flag this post
Pinning is a kind of static borrow
🦀Rust Lifetimes
Flag this post
Searching for my next agent, maybe found it?
🦙Ollama
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔢Homomorphic Encryption
Flag this post
Automated High-Throughput Functional Protein Screening via Graph-Neural Network Enhanced Microfluidics
🧬Computational Biology
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·5h
🦙Ollama
Flag this post
Pitch Multiplication (2017)
🔢Homomorphic Encryption
Flag this post
Built an "Operating System" for AI agents that actually survives when shit breaks (offline-first, self-healing)
☁️Cloudflare Workers
Flag this post
Unlocking Speed: Certified Symmetry Breaking with Auxiliary Variables
🔓Lock-Free Programming
Flag this post
Go Memory Model Deep Dive: What Every Go Developer Must Know – Serge Skoredin
🧠Memory Models
Flag this post
Trying Out C++26 Executors
🌊Glommio
Flag this post
OSS Friday Update
🌊Glommio
Flag this post
Loading...Loading more...