Holding It Together
onelook.com·22h·
Discuss: Hacker News
📝Term Rewriting
The Subtle Art of Taming Flows and Coroutines in Kotlin, or 'How Not to DDoS Yourself with Server-Sent Events'
cekrem.github.io·2d·
Discuss: r/programming, r/webdev
🌐NetworkProtocols
When should you use an actor?
massicotte.org·4d·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
So you want to control flow in PyTorch 2
blog.ezyang.com·4d·
Discuss: Hacker News
✅Model Checking
Building a DOOM-like multiplayer shooter in pure SQL
cedardb.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🎮Verification Games
LiDAR-BIND-T: Improving SLAM with Temporally Consistent Cross-Modal LiDAR Reconstruction
arxiv.org·1d
⚙Operational Semantics
Adventures in C++ Game Architecture
hoboker.substack.com·2d·
Discuss: Substack, r/programming
🔬Static Analysis
Can Your Team Pass the Elevator Test? (2007)
blog.codinghorror.com·12h·
Discuss: Hacker News
🧪Property-Based Testing
Rackintosh Plus
identity4.com·6h·
Discuss: Hacker News
💾Retro Computing
Prompt Snapshot Testing
ninkovic.dev·2d·
Discuss: Hacker News
🧪Property-Based Testing
Famulor AI Call Center: Multi-Calendar Support
docs.famulor.io·22h·
Discuss: Hacker News
✓Automated Theorem Proving
On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations
arxiv.org·1d
🧮Lambda Calculus
How Python Implements List Comprehensions
pythonkoans.substack.com·1d·
Discuss: Substack
📐Denotational Semantics
An Interactive Guide to TanStack DB
frontendatscale.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Agent Jido: The Elixir Autonomous Agent Framework
agentjido.xyz·12h·
Discuss: Hacker News
🧱Immutable Infrastructure
Show HN: Llmswap – Universal AI SDK and Code Generation CLI
sreenathmenon.com·2h·
Discuss: Hacker News
🐳Containerization
Using Linters to Direct Agents
factory.ai·1d·
Discuss: Hacker News
🔄Reproducible Builds
Experimenting with local LLMs on macOS
blog.6nok.org·2d·
Discuss: Lobsters, Hacker News
📺Vintage Apple
How to Use Claude Code Subagents to Parallelize Development
zachwills.net·1d·
Discuss: Hacker News
🤖Program Synthesis
Plantbot: Integrating Plant and Robot through LLM Modular Agent Networks
arxiv.org·1d
🩹Self-Healing Systems