Defeating Nondeterminism in LLM Inference
thinkingmachines.ai·1h·
Discuss: Hacker News
🎲Probabilistic Programming
Shepherd × Goblins update
spritely.institute·7h
⚙Functional Programming
Explaining the LMAX Disruptor
lmax-exchange.github.io·13h·
Discuss: DEV
🏗Computer Architecture
Efficient Multi-Agent Coordination via Dynamic Joint-State Graph Construction
arxiv.org·15h
⚖Algorithmic Game Theory
Scaling asyncio on Free-Threaded Python
labs.quansight.org·19h·
Discuss: Lobsters, Hacker News
🧠Memory Management
Instance Actors in Swift: Part 3 of Actor Series
dev.to·4d·
Discuss: DEV
⚙Functional Programming
Context Pruning in Conversational Agent
poonai.xyz·8h·
Discuss: Hacker News
🧩Theorem Proving
Charles Sanders Peirce, George Spencer Brown, and Me • 19
inquiryintoinquiry.com·6h
🔄Category Theory
Many Hard Leetcode Problems are Easy Constraint Problems
buttondown.com·6h·
Discuss: Lobsters, Hacker News, r/programming
🎯Constraint Programming
Show HN: A Deep Research MCP Agent (and pitfalls I hit along the way)
thealliance.ai·3h·
Discuss: Hacker News
🧭SMT Solvers
Interrupts and Commands in LangGraph: Building Human-in-the-Loop Workflows
youtu.be·1d·
Discuss: DEV
🤝Protocol Design
Pipex v0.1.20 – New Features 🚀
gist.github.com·1d
🏗Computer Architecture
Demystifying Tensor Parallelism
robotchinwag.com·1d·
Discuss: Hacker News
🔐Cryptography
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
🔍Static Analysis
I Used Autogen GraphFlow and Qwen3 Coder to Solve Math Problems — And It Worked
dev.to·13h·
Discuss: DEV
🧩Theorem Proving
💥 Tech Talks Weekly #74: ArchUnit, Node.js Event Loop, Rust + Serverless, Monorepo at Meta, ... | See talk summaries 👇
techtalksweekly.io·1h
🧩Theorem Proving
From static to adaptive: Scaling AI reasoning without the waste
nordot.app·7h
⚖️Logic Programming
Enabling Self-Correcting AI Agents Through Autonomous Integration Testing
metalbear.com·1d·
Discuss: r/devops
🧩Theorem Proving
DelGrad: exact event-based gradients for training delays and weights on spiking neuromorphic hardware
nature.com·1d
🏗Computer Architecture
Understanding in simple terms: symfony lock versus symfony semaphore
dev.to·1d·
Discuss: DEV
🔍Static Analysis