Boosting Unit Test Automation at Audible with Amazon Q Developer
aws.amazon.com·2h
🔍Concolic Testing
Proposal: Deconfig – Distributed Git Infrastructure with Durable Objects
github.com·21h·
Discuss: Hacker News
📦Git LFS
Ensuring Safe and Reliable Updates with Qualys TruRisk™ Manifest Version Control
blog.qualys.com·1d
✅Archive Fixity
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·13h
📞Session Types
Codeminer42 Dev Weekly #82
blog.codeminer42.com·3h
🎯Gradual Typing
Three ways formally verified code can go wrong in practice
buttondown.com·3h
📜Proof Carrying Code
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·20h·
Discuss: Hacker News
🔢Reed-Solomon Math
English - the hottest programming language of the future
dev.to·3h·
Discuss: DEV
🔄Language Evolution
Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·57m·
Discuss: Hacker News
🛡️Error Boundaries
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·21h
🌊Streaming Systems
We built AI that auto-checks building plans
planchecksolver.com·4h·
Discuss: Hacker News
⚡Proof Automation
Go + gRPC microservices (URL shortener). Looking for collaborators to improve this or start a new build.
reddit.com·19h·
Discuss: r/golang
⚡gRPC
Add blog post about reaching 92% test coverage with GitAuto
gitauto.ai·13h·
Discuss: Hacker News
🚀JIT Compilation
Tiga: Accelerating Geo-Distributed Transactions with Synchronized Clocks
muratbuffalo.blogspot.com·2d·
Discuss: www.blogger.com
🤝Distributed Consensus
Metasploit Wrap Up 10/09/2025
rapid7.com·1d
🛡️eBPF Security
Your Next Pull Request Will Come From a Product Manager
thenewstack.io·1d
🔄Language Evolution
Why Nix Will Win (and What's Stopping It): A 3-Year Production Story
ryanrasti.com·1d·
Discuss: Hacker News
❄️Nix Adoption
JVM stack is about to be massively modernized
medium.com·3h·
Discuss: Hacker News
🔗Dependency Resolution
Vite is like the United Nations of JavaScript
stackoverflow.blog·13h
🔄Language Evolution
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.com·13h·
Discuss: Hacker News
⚙️Proof Engineering