Launch HN: Gecko Security (YC F24) – AI That Finds Vulnerabilities in Code
news.ycombinator.com·2d·
Discuss: Hacker News
📦WebAssembly
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·3d·
Discuss: Hacker News
🔐Cryptography
Survey: Developers Are Using AI More... But Trusting It Less
tech.co·18h·
Discuss: r/programming
🚢DevOps
Engineering With Java: Digest #58
javabulletin.substack.com·1d·
Discuss: r/programming
📦WebAssembly
Hask Is Not a Category
math.andrej.com·3d·
Discuss: Hacker News
🔄Compiler Design
Seed7: a programming language I plan to work on for decades
reddit.com·13h·
Discuss: r/programming
🔌Network Programming
Speak, Don't Type
typeless.com·19h·
Discuss: Hacker News
🌐HTMX
The Summer of Codex
paylias.xyz·9h·
Discuss: Hacker News
🚢DevOps
AI Thinking, Fast and Slow
danmu.nz·21m·
Discuss: Hacker News
🔄Compiler Design
Applications That Work with Motif/Lesstif (2005)
lesstif.sourceforge.net·9h·
Discuss: Hacker News
🌐HTMX
C++ Instrumentation with Memory Sanitizer
systemsandco.dev·1d·
Discuss: Hacker News
🔄Compiler Design
Your LLM Stack Is Not Ready for Production—Here’s What You’re Missing
hackernoon.com·2d
🔄Compiler Design
Building a SQLite CLI in less than an hour without ever looking at any code
theahura.substack.com·6h·
Discuss: Substack
📦WebAssembly
Turn on the LLM and use it in your daily workflow
funcall.blogspot.com·1d·
Discuss: Hacker News
🔄Compiler Design
Categorising My Daily Todo List with Deepseek-R1
bentasker.co.uk·2d·
Discuss: Hacker News
🔄Compiler Design
Meta
engineering.fb.com·16h·
Discuss: Hacker News
📦WebAssembly
The Reviewer is Dead, Long Live the Review: Re-engineering Peer Review for the Age of AI
sigarch.org·1d·
Discuss: Hacker News
🔄Compiler Design
If the Goal Is Resiliency, Defensive Programming Is Your Enemy
jola.dev·3d·
Discuss: Hacker News
🚢DevOps
I Configure BorgBackup and Borgmatic
justus.pw·1d·
Discuss: Hacker News
🔍eBPF
Why build a domain-specific agent for front end tasks?
kombai.com·2d·
Discuss: Hacker News
📦WebAssembly