Minimize Misconfiguration Issues by Embracing a Minimum Configuration to Run Mindset
madflojo.medium.com·23h
🛡️Error Boundaries
55 Months, 1 Day
satisfice.com·1d
⚙️Proof Engineering
How HackerOne Uses AI to Triage, Prioritize, and Validate Code Scanner Findings at Scale
hackerone.com·21h
⚡Proof Automation
SchemaCrawler – Free database schema discovery and comprehension tool
schemacrawler.com·2d·
Discuss: Hacker News
🔄Schema Evolution
Pet-Type: Commodore PET Horizontal Shootemup in C
retrogamecoders.com·1h·
Discuss: Hacker News
🕹️Retro Gaming
Case Study: Migrating a Rush.js Monorepo to Node Type Stripping
blog.calm.com·16h·
Discuss: Hacker News
🎯Gradual Typing
GPT-5 goes hard on real-world programming
omerba.dev·4d·
Discuss: Lobsters, Hacker News
✅Format Verification
The Baby Paradox in Haskell
blog.jle.im·21h·
Discuss: Lobsters, Hacker News
🔲Proof Irrelevance
Fuzzing Hardware Like Software (2021)
arxiv.org·2d·
Discuss: Hacker News
🧪Hardware Fuzzing
Herb Sutter "Three Cool Things in C++26"
herbsutter.com·2d·
Discuss: Hacker News
🔩Systems Programming
Why does my regular expression work in X but not in Y?
unix.stackexchange.com·1d·
Discuss: Lobsters, Hacker News
🔍RegEx Engines
Racket 8.18 Released
blog.racket-lang.org·5h·
Discuss: Hacker News
🧠Lisp Dialects
Equi-mRNA: Protein Translation Equivariant Encoding for mRNA Language Models
arxiv.org·9h
🔗Functional Compilers
An Update on Pytype
github.com·1d·
Discuss: Hacker News
🎯Gradual Typing
The Growing Need for Online Tools in 2025 and Future
dev.to·1d·
Discuss: DEV
📰RSS Archaeology
# How I Built a Fully Decentralized On-Chain Game with 0 Lines of Code, Thanks to Gemini
dev.to·1d·
Discuss: DEV
🌳Archive Merkle Trees
Advanced Aerosol Classification via Dynamic Feature Fusion and Bayesian Inference in Cleanroom Monitoring
dev.to·1d·
Discuss: DEV
📄Document Digitization
Knowledge Graph-Infused Fine-Tuning for Structured Reasoning in Large Language Models
arxiv.org·1d
📋Document Grammar
What Claude Code gets right
minusx.ai·23h·
Discuss: Hacker News
⚡Proof Automation
Bringing restartable sequences out of the niche
lwn.net·10h·
Discuss: Hacker News
🔩Systems Programming