🔗 HTTP is not simple
yellowduck.be·4h
🤝Protocol Design
Stop Losing Your Best Ideas - The Journaling System That Changed My Life
dsebastien.net·12h
🧩Theorem Proving
Manually panelizing complex PCBs in KiCAD for use with JLCPCB
0x2a.cz·1d·
Discuss: Hacker News
💾Retrocomputing
The Day I Logged in with a Hash
gsociety.fr·4h·
Discuss: Hacker News
🔐Cryptography
Learning and AI/LLMs - Why do we need to know or teach anything anymore?
nanoscale.blogspot.com·4h·
Discuss: www.blogger.com
🧩Theorem Proving
AI, creating more problems than it solves?
aardvark.co.nz·2h
🤖Sci-Fi
Adding MCP
funcall.blogspot.com·1h·
Discuss: www.blogger.com
🤝Protocol Design
Lobsters Interview with Matklad
lobste.rs·2d·
Discuss: Lobsters
🔧Compiler Design
R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling
arxiv.org·2d
🧭SMT Solvers
Is Perplexity AI Redefining the Way We Search Online?
dev.to·5h·
Discuss: DEV
⚖Algorithmic Game Theory
Automated Biomarker Discovery and Stratification for Pediatric Neuroblastoma via Multi-Modal Integrated Analysis
dev.to·15h·
Discuss: DEV
🎲Probabilistic Programming
2025 guide to Context Engineering for Software Engineers
strategizeyourcareer.com·12h·
Discuss: Hacker News, r/programming
🔧Compiler Design
The Hidden Ingredients Behind AI’s Creativity - WIRED
news.google.com·10h
🤖Sci-Fi
Meta is sinking $10 billion into rural Louisiana to build the home of its wildest AI aspirations, setting the template for the nation's grid buildout - Yahoo Fi...
news.google.com·11h
🌍Distributed Systems
New ByteDance Seed reasoning RL paper, relating RL to self-supervised learning.
threadreaderapp.com·2d
🧩Theorem Proving
Entropy-Constrained Strategy Optimization in Urban Floods: A Multi-Agent Framework with LLM and Knowledge Graph Integration
arxiv.org·3d
⚖Algorithmic Game Theory
Tell HN: Where are we going? An inversion of the interaction paradigm
news.ycombinator.com·8h·
Discuss: Hacker News
📊Information Theory
Time-Optimal Directed q-Analysis
arxiv.org·2d
📈Complexity Theory
🚀 Introducing MeiliBridge: Real-Time PostgreSQL to Meilisearch Sync Engine!
github.com·2d·
Discuss: Hacker News, r/opensource
🦀Rust
My favorite MCP use case: closing the agentic loop
reddit.com·3d·
Discuss: r/ClaudeAI
⚡Concurrency