AI Safety Law-a-thon: We need more technical AI Safety researchers to join!
lesswrong.com·12h
🎮Verification Games
Sanity check: New hardware for DIY NAS
reddit.com·7h·
Discuss: r/homelab
🔬Unikernels
Prompts are Operating Systems
helloscribe.medium.com·2d·
Discuss: r/programming
⚙️Operating System Design
Phospholipid head govern area per lipid and emergent elasticity of bilayer(2018)
cell.com·15m·
Discuss: Hacker News
🐫OCaml
The new compression algorithm is not like the standard ones
ferki-git-creator.github.io·3d·
Discuss: Hacker News
🧮Lambda Calculus
Oops, No Victims: The Largest Supply Chain Attack Stole 5 Cents
securityalliance.org·2d·
Discuss: Hacker News
🔧Unikernel Development
What Is a Modular Monolith And Why You Should Care? 🔥
thetshaped.dev·12h·
Discuss: r/programming
🧱Immutable Infrastructure
“GoLand Can Do That?” Ten Secret Superpowers You Might Not Know
blog.jetbrains.com·2d·
Discuss: Hacker News
📐Denotational Semantics
A Short Introduction to Tor
spec.torproject.org·1d·
Discuss: Hacker News
🌐NetworkProtocols
HiTex: A spam factory for AI-generated books
laurent.le-brun.eu·1h·
Discuss: Hacker News
🐫OCaml
Rust compiler performance survey 2025 results
blog.rust-lang.org·22h·
Discuss: Hacker News, r/rust
❄️Nixified Development
ASIC: Proof-of-Concept Binary Optimizer Reduces Size, More to Come
news.ycombinator.com·4d·
Discuss: Hacker News
🔧Unikernel Development
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·2d·
Discuss: Hacker News
📚Automata Learning
Deploying AI to the Balkans
hapseer.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Parameters and binding forms should be mutually recursive
samestep.com·5d·
Discuss: Hacker News
🐫OCaml
Idle thoughts about how we replace keyboards
interconnected.org·7h·
Discuss: Hacker News
🍎Apple
Trial and Error Driven Development
stevenoxley.com·1h·
Discuss: Hacker News
🎮Verification Games
You Can Just Do Things
elite-ai-assisted-coding.dev·5h·
Discuss: Hacker News
✓Automated Theorem Proving
The Center for Human-Compatible Artificial Intelligence Is Hiring
humancompatible.ai·1d·
Discuss: Hacker News
💻CS
Using Linters to Direct Agents
factory.ai·1d·
Discuss: Hacker News
🔄Reproducible Builds