bvdberg's Top FindsLoading...
Proving Safety at Scale: Spark, RISC-V, and Nvidia's Security Strategy
blog.adacore.com·1d·
Discuss: Hacker News
Flag this post
Top Developer Articles of the Week for November on CoderLegion
news.ycombinator.com·14h·
Discuss: Hacker News
Flag this post
Experiments in Autonomous AI Development
kenforthewin.github.io·2d·
Discuss: Hacker News
🦀Programming
Flag this post
Z-machine coding problems, and what to automate
buttondown.com·7h·
Discuss: Hacker News
Flag this post
Imperative to Relational
madhadron.com·3d·
Discuss: Lobsters, Hacker News
🦀Programming
Flag this post
Convex raises $24M to reinvent back ends
news.convex.dev·3h·
Discuss: Hacker News
Flag this post
Show HN: PostIdentity, an AI that writes in your voice
postidentity.com·7h·
Discuss: Hacker News
Flag this post
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
Simulating a Planet on the GPU: Part 1
patrickcelentano.com·13h·
Discuss: Hacker News
Flag this post
I* built an arcade game. Things went wrong
hughevans.dev·2d·
Discuss: Hacker News, r/gamedev
Flag this post
Matrix Arcade
yizhe-ang.github.io·8h·
Discuss: Hacker News
Flag this post
Servant by construction – a blog series on Haskell's web stack gem
laurentrdc.xyz·5d·
Discuss: Hacker News
🦀Programming
Flag this post
Ubuntu Server Security Suggestions
documentation.ubuntu.com·5h·
Discuss: Hacker News
Flag this post
RL Environments and the Hierarchy of Agentic Capabilities
surgehq.ai·1d·
Discuss: Hacker News
Flag this post
MCP-DSL. 75-85% Fewer Tokens. Same Great Taste
blog.orangecountyai.com·2d·
Discuss: Hacker News
Flag this post
I Read Sam Bhagwat's AI Agents Bible So You Don't Have to (But Probably Should)
kuber.studio·1d·
Discuss: Hacker News
Flag this post
The Scariest Lines of Code I've Ever Written
canro91.github.io·5d·
Discuss: Hacker News
🦀Programming
Flag this post
Sourcekit-Bazel-bsp: iOS Development in Cursor / VSCode, for Bazel projects
github.com·4d·
Discuss: Hacker News
🦀Programming
Flag this post
VMS/XDE: an OpenVMS x86 development environment for Linux and Windows/WSL
osnews.com·1d·
Discuss: Hacker News
Flag this post
Show HN: Active Memory Plugin in Claude Code
shubhamattri.com·3d·
Discuss: Hacker News
🦀Programming
Flag this post
a tale of vulkan/nouveau/nvk/zink/mutter + deadlocks
airlied.blogspot.com·2d·
Discuss: airlied.blogspot.com, Lobsters, Hacker News
Flag this post