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…
Happy New Year!For the past 20+ years, every Common Lisp application that needs HTTPS has traditionally had one option: cl+ssl,…
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…
See also: https://www.businessinsider.com/sergey-brin-says-leaving-goo… Google co-founder Sergey Brin on leaving retirement to work on AI – https://news.ycombinator.com/item?id=37226292 – Aug 2023 (25…
I was recently contacted by linkedIn "recruiter" who's upto no good it seems. After some brief chatting, they asked me…
snitch a friendlier ss / netstat for humans. inspect network connections with a clean tui or styled tables. install go…
Logging sucks. And here’s how to make it better. by Boris Tane 2024-12-20T03:14:22.847Z INFO HttpServer started successfully binding=0.0.0.0:3000 pid=28471 env=production…
TL;DR:Put that in your nginx config:location / { # needed to still allow git clone from http/https URLs if ($http_user_agent…
I never thought I would share this, but here I am. I was writing a lot of code, a bunch…
A jobs web site I belong to just emailed me, telling me that some of the links in my public…
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….
One of the (many) depressing things about the “AI” future in which we’re living, is that it exposes just how…
https://platform.openai.com/docs/guides/latest-model System card: https://cdn.openai.com/pdf/3a4153c8-c748-4b71-8e31-aecbde944… Read more on Hacker News
As everyone warns about rewrite projects that they are set for failure, how would you modernize legacy software written with…
Please state the location and include REMOTE for remote work, REMOTE (US) or similar if the country is restricted, and…
Clarification: the operating system where e.g. your IDE runs on. Not the deployment target. Results from 2022: https://news.ycombinator.com/item?id=30055031 Read more…
Iow/type Watch 3 Star 12 Fork You’ve already forked type 0 Code Issues Pull requests Activity Elegant types in Ruby…
Native Secure Enclave backed ssh keys on MacOS It turns out that MacOS Tahoe can generate and use secure-enclave backed…