The Great Sword Heist Of 2025
buttondown.com·14h
🧫Cellular Automata
Branch Prediction Demystified
joegm.github.io·2d·
Discuss: Hacker News
🏗Computer Architecture
The Art of Multiprocessor Programming 2nd Edition Book Club
eatonphil.com·4d·
Discuss: Hacker News
🧮Programming Language Theory
Dynamic Context for AI Agents
lukew.com·9h
🧭SMT Solvers
SAT Requires Exhaustive Search
link.springer.com·2d·
Discuss: Hacker News
📈Complexity Theory
Why your Playwright end-to-end tests are slow
endform.dev·22h·
Discuss: Hacker News
📦WebAssembly
LLMs Are Getting Dumber? Let’s Talk About Context Rot.
labs.adaline.ai·1d·
Discuss: r/LLM
🧭SMT Solvers
## 🚧 Experimental Prompt Artifact: The Contradiction Metabolizing Engine (CME)
reddit.com·1d·
Discuss: r/LLM
🔢Mathematical Logic
Beyond "It Works on My Machine": The Quest for Calm, Predictable Development Environments
dev.to·1d·
Discuss: DEV
🔌Network Programming
🚀 Spring Boot Microservice Orchestration with Temporal
dev.to·3d·
Discuss: DEV
🤝Protocol Design
Show HN: Structured Cooperation – A new way of building distributed apps & POC
github.com·3d·
Discuss: Hacker News
🤝Protocol Design
Real Life Is Uncertain. Consensus Should Be Too
muratbuffalo.blogspot.com·1d·
Discuss: Hacker News
📈Complexity Theory
ProKG-Dial: Progressive Multi-Turn Dialogue Construction with Domain Knowledge Graphs
arxiv.org·2d
🔢Mathematical Logic
Common pitfalls in Java multithreading
dev.to·1d·
Discuss: DEV
🧠Memory Management
Running GPT-OSS-120B at 500 tokens per second on Nvidia GPUs
baseten.co·6h·
Discuss: Hacker News
🎲Probabilistic Programming
Reinforcement Learning for Target Zone Blood Glucose Control
arxiv.org·5h
🎲Probabilistic Programming
Show HN: Principles of Building AI Agents book [pdf]
github.com·18h·
Discuss: Hacker News
🧩Theorem Proving
Taming Eventual Consistency—Applying Principles of Structured Concurrency to Distributed Systems
reddit.com·2d·
Discuss: r/SoftwareEngineering
🌍Distributed Systems
Coherent Multimodal Reasoning with Iterative Self-Evaluation for Vision-Language Models
arxiv.org·1d
🔗Parser Combinators
DD-DeepONet: Domain decomposition and DeepONet for solving partial differential equations in three application scenarios
arxiv.org·1d
🎲Probabilistic Programming