Building a Rust-style static analyzer for C++ with AI
The project is available at: https://github.com/shuaimu/rusty-cpp As someone who has spent almost 15 years doing systems research with C++, I…
The project is available at: https://github.com/shuaimu/rusty-cpp As someone who has spent almost 15 years doing systems research with C++, I…
So I've been messing around with MCP and kept thinking about security. These agents can call tools, query databases, hit…
Rust–: Rust without the borrow checker A modified Rust compiler with the borrow checker disabled. This allows code that would…
Score: 0 Good game! Play again? To play: Use arrow keys or buttons. Submit to leaderboard See leaderboard See source…
Austin Z. Henley Associate Teaching Professor Carnegie Mellon University azhenley@cmu.edu @austinzhenley github/AZHenley Home | Publications | Teaching | Blog I…
Austin Z. Henley Associate Teaching Professor Carnegie Mellon University azhenley@cmu.edu @austinzhenley github/AZHenley Home | Publications | Teaching | Blog I…
New Sponsor Announcement By: MonoGame Foundation Dec 30, 2025 announcements Support Financially – several tiers and options available for GitHub,…
A strong, neutral typeface for interfaces, text, and headings. Download Public Sans v2.001 Developed by USWDS. Contribute to its development…
Using git as a database is a seductive idea. You get version history for free. Pull requests give you a…
snitch a friendlier ss / netstat for humans. inspect network connections with a clean tui or styled tables. install go…
I never thought I would share this, but here I am. I was writing a lot of code, a bunch…
$ Honest Hacker News new | past | comments | ask | show | jobs | submit login 1. We…
Paper (arXiv) Code (GitHub) Read more on Hacker News
I’m pleased to announce the immediate availability of a reference implementation for the Public Key Directory server. This software implements…
Distributed systems often claim “exactly-once” execution. In practice, this is usually implemented as at-least-once delivery + retries + idempotency keys….
bidicalc A spreadsheet where formulas also update backwards — by Victor PoughonGitHub | Buy me a Coffee ☕ In any…
Upon watching this 2swap video I thought the visuals were incredibly mesmerising and thus created my own visualisation program with…
In Brief Posted: 3:55 PM PST · December 3, 2025 Image Credits:izusek / Getty Images Julie Bort Amazon hopes to…
How we solved the "just one more field" problem at scale The Problem: The Migration Treadmill Every Laravel developer knows…
TLDR: Bun has been acquired by Anthropic. Anthropic is betting on Bun as the infrastructure powering Claude Code, Claude Agent…