Many Hard Leetcode Problems are Easy Constraint Problems
buttondown.com·4h·
Discuss: Lobsters, Hacker News, r/programming
🧠Automated Reasoning
Show HN: Implementation and ablation of the Hierarchical Reasoning Model (HRM)
github.com·3h·
Discuss: Hacker News
🧠Automated Reasoning
Prompt Snapshot Testing
ninkovic.dev·1d·
Discuss: Hacker News
🧪Property-Based Testing
Performance Improvements in .NET 10
devblogs.microsoft.com·4h·
Discuss: Hacker News, r/programming
📊Runtime Verification
Agent Jido: The Elixir Autonomous Agent Framework
agentjido.xyz·8h·
Discuss: Hacker News
🧱Immutable Infrastructure
The bloat of edge-case first libraries
43081j.com·21h·
Discuss: Lobsters, Hacker News
💎Refinement Types
Automating Firmware Security: CI for DBX and Microcode Updates in Dasharo
blog.3mdeb.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Beyond the Code: Lessons That Make You Senior Software Engineer
medium.com·19h·
Discuss: r/programming
📊Runtime Verification
True End-to-End Type Safety Across Your Entire TypeScript Stack
rowsana.substack.com·2d·
Discuss: r/javascript, r/programming
💎Refinement Types
Lexy: A parser combinator library for C++17
github.com·3h·
Discuss: Hacker News
🧩Parser Combinators
The Engine to No Engine Journey
md.jtmn.dev·14h·
Discuss: Hacker News
🐫Embedded OCaml
Scaffolding for production vibe coding
interjectedfuture.com·23h·
Discuss: Hacker News
🔬Static Analysis
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·1d·
Discuss: Hacker News
📚Automata Learning
Rich Answered That
gist.github.com·1d·
Discuss: Lobsters, Hacker News
🧮Lambda Calculus
Prompts are Operating Systems
helloscribe.medium.com·1d·
Discuss: r/programming
⚙️Operating System Design
Show HN: Context, Hallucinations, and How LLMs Are Changing Development
juanpabloaj.substack.com·1d·
Discuss: Substack
🎮Verification Games
How to (and Not to) Manipulate Transformers: A Logic-First Guide
lightcapai.medium.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
The Impact of Early-2025 AI on Open-Source Developer Productivity
metr.org·2h·
Discuss: Hacker News
👁️System Observability
Tony Hoare: How did software get so reliable without proof?
blog.regehr.org·1d·
Discuss: Hacker News
🔄Reproducible Builds
Hunting for security bugs in code with AI agents: A full walkthrough
muellerberndt.medium.com·3d·
Discuss: r/programming
🛡️seL4