C++: Maps on Chains
bannalia.blogspot.com·15h·
Discuss: Hacker News
🏹Effect Systems
MySQL to MariaDB migration story of Switch.ch, Switzerland’s Open Source IT Backbone for Universities and Research
mariadb.org·2d·
Discuss: r/programming
📦Unikernel Systems
Perspective: A data visualization and analytics component for large datasets
perspective.finos.org·12h·
Discuss: Hacker News
👁️System Observability
Systemd's Nuts and Bolts
medium.com·2d·
Discuss: r/programming
⚙️Operating System Design
I still care about the code
martinfowler.com·2d·
Discuss: DEV, Hacker News
🔬Static Analysis
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·18h
🔍Formal Verification
GTA1: GUI Test-time Scaling Agent
arxiv.org·2d
🧪Property-Based Testing
Claude Code/Cursor is using grep? Are we devolving
news.ycombinator.com·14h·
Discuss: Hacker News
✓Automated Theorem Proving
Microbeam Decision Pathways for Goal-Aligned Autonomous Agents
news.ycombinator.com·2d·
Discuss: Hacker News
🔠Type-Level Programming
I used Claude Sonnet 4 to help a customer import their blog archive in 46 mins
olly.pagecord.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Making Docs Better for AI and Humans
redmonk.com·7h·
Discuss: Hacker News
🤖Program Synthesis
Wrapless: The trustless lending protocol on top of Bitcoin
arxiv.org·2d
🧱Immutable Infrastructure
DeepRetro: Retrosynthetic Pathway Discovery using Iterative LLM Reasoning
arxiv.org·1d
✓Automated Theorem Proving
Durable Agent Loops
restate.dev·2d·
Discuss: Hacker News, r/programming
👁️System Observability
Show HN: gRPC to MCP Gateway – Let AI models call your existing gRPC services
github.com·20h·
Discuss: Hacker News
🌐NetworkProtocols
Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Lang...
arxiv.org·1d
🐫OCaml
Rollback UX: What Fighting Game Netcode Can Teach AI Tool Designers
medium.com·4d·
Discuss: Hacker News
🎮Verification Games
Self-Review Framework for Enhancing Instruction Following Capability of LLM
arxiv.org·2d
✓Automated Theorem Proving
LLaMeSIMD – LLM SIMD Intrinsic and Function Translation Benchmarking Suite
github.com·3d·
Discuss: Hacker News
🐫Embedded OCaml
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·18h
✓Automated Theorem Proving