AI Assistant for Statements, Invoices and Receipts
bankgpt.io·5h·
Discuss: Hacker News
✓Automated Theorem Proving
Writing Code Is Easy. Reading It Isn't
idiallo.com·3d·
Discuss: Hacker News, r/programming
🤖Program Synthesis
Yet Another TypeSafe and Generic Programming Candidate for C
github.com·6d·
Discuss: Hacker News
🐫Embedded OCaml
MLPerf Inference v5.1 Results Land with New Benchmarks and Record Participation
hpcwire.com·18h·
Discuss: Hacker News
👁️System Observability
New VS Code extension to run all frontier open models
marketplace.visualstudio.com·11h·
Discuss: Hacker News
🐫OCaml
Practical CI-friendly Performance Tests
solidean.com·2d·
Discuss: Lobsters, r/cpp
👁️System Observability
Cliodynamics – History as Science
peterturchin.com·8h·
Discuss: Hacker News
⚡Process Calculi
Scaling asyncio on Free-Threaded Python
labs.quansight.org·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
👁️System Observability
The Expression Problem and its solutions
eli.thegreenplace.net·5d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🏹Effect Systems
How Python Implements List Comprehensions
pythonkoans.substack.com·3d·
Discuss: Substack
📐Denotational Semantics
SWE-Mirror: Scaling Issue-Resolving Datasets by Mirroring Issues Across Repositories
arxiv.org·1d
📦Unikernel Systems
Announcing compile_flagz: Better editor integration for your C/C++ projects using build.zig
simonhartcher.com·2d·
Discuss: Hacker News
❄️Nixified Development
Prompt Snapshot Testing
ninkovic.dev·3d·
Discuss: Hacker News
🧪Property-Based Testing
Rust compiler performance survey 2025 results
blog.rust-lang.org·2d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
❄️Nixified Development
Tool-space interference in the MCP era: Designing for agent compatibility at scale
microsoft.com·17h·
Discuss: Hacker News
👁️System Observability
LAMDAS: LLM as an Implicit Classifier for Domain-specific Data Selection
arxiv.org·3d
🐫OCaml
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·3d·
Discuss: Hacker News
📚Automata Learning
IO is special
blog.ploeh.dk·4d·
Discuss: Lobsters
💎Refinement Types
“GoLand Can Do That?” Ten Secret Superpowers You Might Not Know
blog.jetbrains.com·3d·
Discuss: Lobsters, Hacker News, r/golang
📐Denotational Semantics
Findings from six months of running `govulncheck` in CI
brandur.org·20h·
Discuss: Hacker News
📊Runtime Verification