GPT-5 on SWE-bench: Cost and performance deep-dive
mini-swe-agent.com·1d·
Discuss: Hacker News
⚙️systems programming
How to Use Antlr Pattern Matching
tomassetti.me·1d·
Discuss: Hacker News
🐫ocaml
Performance Pitfalls in C# / .NET – List Contains
richardcocks.github.io·11h·
Discuss: Hacker News
⚙️systems programming
My blog on zero-knowledge cryptography
kaw101010.github.io·3d·
Discuss: Hacker News
⚙️systems programming
From GPT-2 to gpt-oss: Analyzing the Architectural Advances
magazine.sebastianraschka.com·14h·
Discuss: Hacker News
⚙️systems programming
The current state of LLM-driven development
blog.tolki.dev·9h·
Discuss: Hacker News
⚙️systems programming
The incompleteness of ethics
aeon.co·1d·
Discuss: Hacker News
⚙️systems programming
Irmin Retrospective
patrick.sirref.org·10h·
Discuss: Lobsters, Hacker News
🗄️databases
Build durable workflows with Postgres
dbos.dev·1d·
Discuss: Hacker News
⚡query optimization
Show HN: Alternative to Htmx and Alpine.js
hmpl-lang.dev·3h·
Discuss: Hacker News
🔄compilers
Why Context Architecture Beats Prompt Engineering. The Precursor Manifesto
medium.com·9h·
Discuss: Hacker News, r/programming
⚙️systems programming
Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS
podcasts.apple.com·3d·
Discuss: Lobsters, Hacker News
⚙️systems programming
A subtle bug with Go's errgroup
gaultier.github.io·17h·
Discuss: Hacker News, r/golang
⚙️systems programming
The Amazon DynamoDB data modeling MCP tool
aws.amazon.com·2d·
Discuss: Hacker News
🗄️databases
My Lethal Trifecta talk at the Bay Area AI Security Meetup
simonwillison.net·21h·
Discuss: Hacker News
⚙️systems programming
Three challenges in machine-based reasoning
amazon.science·3d·
Discuss: Hacker News
🔄compilers
Letter of Credit Process for Small-Scale Contracting Using Smart Contracts
dergipark.org.tr·2d·
Discuss: Hacker News
⚙️systems programming
Distributed Systems 101
mrinalxdev.github.io·1d·
Discuss: Hacker News
⚙️systems programming
Lurk – A Turing-complete programming language for ZK-SNARKs
github.com·1d·
Discuss: Hacker News
🔄compilers
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·6d·
Discuss: Hacker News
🐫ocaml