How to Write Inductive Invariants
quint-lang.org·17h·
Discuss: Lobsters, Hacker News, r/programming
🏗️Computer Architecture
The smallest embeddable scripting language, part 1
log.schemescape.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🔄Compilers
Claude Code: My Most Trusted Coworker and My Worst Enemy
lopezb.com·2d·
Discuss: Hacker News, r/programming
🔄Compilers
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·1d·
Discuss: Hacker News
🔄Compilers
Amp Code Deep Dive
elite-ai-assisted-coding.dev·11h·
Discuss: Hacker News
🏗️Computer Architecture
2000 words about arrays and tables
buttondown.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🏗️Computer Architecture
Three Months with Cursor: A Developer's Summer 2025 Retrospective
tvedeane.bearblog.dev·1d·
Discuss: Hacker News
🔄Compilers
Meta
engineering.fb.com·2h·
Discuss: Hacker News
🔄Compilers
Has AI coding gone too far? I feel like I'm losing control of my own projects
news.ycombinator.com·2d·
Discuss: Hacker News
🔄Compilers
Live coding interviews measure stress, not coding skills
hadid.dev·19h·
Discuss: Hacker News
🌐Computer Networking
Maybe the Fastest Disk Usage Program on macOS
healeycodes.com·2d·
Discuss: Hacker News, r/programming
🐧Linux
Introducing Cerebras Code
cerebras.ai·1d·
Discuss: Hacker News
🔄Compilers
Turning VS Code into a Product Framework: Progrium.xyz
progrium.xyz·1d·
Discuss: Hacker News
🔄Compilers
Announcing TypeScript 5.9
devblogs.microsoft.com·16h·
Discuss: Hacker News, r/javascript, r/programming, r/typescript
🔄Compilers
Vibe Coding but not what you think
amritpandey.io·2d·
Discuss: Hacker News
🔄Compilers
Show HN: An API to extract structured data from any document without training
ninjadoc.ai·18h·
Discuss: Hacker News
🔄Compilers
Vibe Coding Is the Fast Fashion Industry of Software Engineering
pdelboca.me·23h·
Discuss: Hacker News
🔄Compilers
How JIT builds of CPython work
savannah.dev·3d·
Discuss: Hacker News
🔄Compilers
Categorising My Daily Todo List with Deepseek-R1
bentasker.co.uk·1d·
Discuss: Hacker News
🏗️Computer Architecture
Lessons from 10 Years at GitHub
rickwinfrey.com·14h·
Discuss: Hacker News
🐧Linux