Torqued Accelerator Using Radiation from the Sun (Tars) for Interstellar Payload
arxiv.org·14h·
Discuss: Hacker News
🎨Rendering
Add AI coding assistant configuration to Linux kernel
lore.kernel.org·1d·
Discuss: Hacker News
✅Formal Methods
Object deserialization attacks using Ruby's Oj JSON parser
hezmatt.org·1d·
Discuss: Hacker News, Hacker News
✅Formal Methods
Claude Code sub-agent that accesses past sessions
github.com·16h·
Discuss: Hacker News
✅Formal Methods
Visualizing TCP
research.swtch.com·15h·
Discuss: Hacker News
🔒Cryptography
Keep Pydantic out of your Domain Layer
coderik.nl·4d·
Discuss: Hacker News
✅Formal Methods
Teach Yourself Programming in Ten Years
norvig.com·16h·
Discuss: Hacker News
✅Formal Methods
Interactive Programming in C (2014)
nullprogram.com·3d·
Discuss: Hacker News
✅Formal Methods
Migrating to AI SDK v5: A Story of Tool Streaming, Caching, and Type Safety
braingrid.ai·1d·
Discuss: Hacker News
✅Formal Methods
Building a fuzzing testing framework with Locust and Docker
lucas-montes.com·4d·
Discuss: Hacker News
✅Formal Methods
We Revamped Our Docs for AI Driven Development
docs.freestyle.sh·14h·
Discuss: Hacker News
✅Formal Methods
Show HN: CCTray – macOS menu bar app to keep an eye on your Claude Code metrics
github.com·19h·
Discuss: Hacker News
✅Formal Methods
Measuring Engineering
fffej.substack.com·9h·
Discuss: Substack
✅Formal Methods
Show HN: A code editor that integrates into the browser
tachicode.dev·2d·
Discuss: Hacker News
✅Formal Methods
Building an SDK Generator: Maintaining Custom Files
sideko.dev·2d·
Discuss: Hacker News, r/programming
✅Formal Methods
Ask HN: What's the ideal programming language in the age of LLMs?
news.ycombinator.com·1d·
Discuss: Hacker News
✅Formal Methods
Energy Driven Development
blog.waleson.com·1h·
Discuss: blog.waleson.com, Hacker News
✅Formal Methods
Monads as Graphs (2019)
neilmitchell.blogspot.com·4d·
Discuss: Lobsters, Hacker News
✅Formal Methods
Show HN: O3 beats Sonnet 4 at coding (in our codebase, wrt our preferences)
news.ycombinator.com·1d·
Discuss: Hacker News
✅Formal Methods
Ivory: Postgres cluster management tool
github.com·35m·
Discuss: Hacker News
🔒Cryptography