Quoting Steve Krouse
simonwillison.net·19h
📦Folly
Flag this post
How Deductive AI saved DoorDash 1,000 engineering hours by automating software debugging
venturebeat.com·22h
🎭Program Synthesis
Flag this post
Instant Parameter Selection for Modular Systems (b, p, t, r)
news.ycombinator.com·21h·
Discuss: Hacker News
📐TLA+
Flag this post
Scaling for quantum advantage and beyond
ibm.com·1d·
Discuss: Hacker News
⚛️Quantum Computing
Flag this post
A Practical Guide to Transitioning to Memory-Safe Languages
queue.acm.org·4h·
🛡️Memory Safety
Flag this post
Local, multi-model AI that runs on a toaster. One-click setup, 2GB GPU enough
github.com·1d·
Discuss: r/LocalLLaMA
🖥️SerenityOS
Flag this post
A Magical Studies Research Report on Paxos
dev.to·1d·
Discuss: DEV
🤝Paxos
Flag this post
Building Conflux - My Own Real-time Collaboration Engine in Rust
dev.to·5h·
Discuss: DEV
🔄CRDT
Flag this post
Hierarchical Strategic Decision-Making in Layered Mobility Systems
arxiv.org·7h
🏗️System Design
Flag this post
Building SqURL: A Human's and an AI's Perspective
ronforrester.substack.com·19h·
Discuss: Substack
📦Folly
Flag this post
Tony Hoare and negative space
sicpers.info·19h·
Discuss: Hacker News
Formal Verification
Flag this post
The Transformer and the Hash: building blocks of 21st century political science
nothinghuman.substack.com·7h·
Discuss: Substack
🔒Digital Privacy
Flag this post
Matrix Arcade
yizhe-ang.github.io·1d·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Of course you can build dynamic AI agents with Temporal
temporal.io·19h·
Discuss: Hacker News
💬Prompt Engineering
Flag this post
Raft Consensus in 2k Words
news.alvaroduran.com·1d·
Discuss: Hacker News
🗳️Raft Consensus
Flag this post
Plan Slow, Act Fast
candost.blog·23h·
Discuss: Hacker News
🌳Git
Flag this post
Every Attention Matters: An Efficient Hybrid Architecture for Long-ContextReasoning
paperium.net·8h·
Discuss: DEV
📱Edge AI
Flag this post
How I repurposed async await to implement coroutines for a Game Boy emulator
sanjeetnd.com·3d·
Discuss: r/rust
Async Rust
Flag this post
Investigating CoT Monitorability in Large Reasoning Models
arxiv.org·1d
🦙Ollama
Flag this post
Mastering Async & Concurrency: The React 18+ & Next.js Paradigm Shift
dev.to·2h·
Discuss: DEV
🔄Concurrency
Flag this post