I’ve been telling people for the last 25 years that Jane Street as an organization was just not interested in formal methods.

PDF and SVG both support embedded scripting, and can respond to clicks, keystrokes, etc. Almost nobody uses it (at least for PDF), and many viewers skip it entirely.

How American Express uses cell-based architecture to deliver resilient, low-latency payments at global scale.

Posted by broken_broken_ - 121 votes and 46 comments

Leadership at the social media giant has been on an AI-fueled rampage through its engineering org. We report what’s happened

How Nginx works as a reverse proxy, from its worker architecture to rate limiting, HTTP/2, security headers, and tuning workers to match the server.

This specification defines the QUERY method for HTTP. A QUERY requests that the request target process the enclosed content in a safe and idempotent manner and then respond with the result of that processing. This is similar to POST requests, but QUERY requests…

The Rust Foundation was happy to announce OpenAI as our newest Platinum Member today, as part of a $600,000 total contribution in support of the Rust Project and the broader Rust ecosystem. Membership in the Rust Foundation is a way for companies to support…

Most CLI auth flows spin up a localhost server and pray your browser cooperates. That model breaks the moment you're SSH'd into a server. RFC 8628 fixed this in 2019 and a lot of tools still haven't caught up.

The Release Candidate for TypeScript 7.0 is now available!

This is the story of how I found 10,000 repositories on GitHub that distribute Trojan malware. They are all from different contributors, have different names, and are not forks of other repositories. But they share a common pattern, which is what allowed…

Modern infrastructure made waste too easy. Resource limits that started as temporary safety buffers can harden into requirements unless teams keep asking what the system is actually doing.

Stop naming booleans flag or done. Learn the four prefixes (is, has, can, should) that eliminate ambiguity, prevent bugs, and make code reviews faster.

Words from me as developer, student and human.

Lodash creator John-David Dalton reflects on the project’s growth, the pressures of maintaining software used across the world, and the personal journey that led to stepping back and eventually rebuilding a sustainable path forward.

The new JVM Weekly is here... and Ragnarok seems to come, as we finally have Valhalla in the JDK. However, situation is a bit... nuanced.

We have the pleasure of celebrating the birthday of Blaise Pascal by announcing the release of OCaml version 5.5.0. Some of the highlights in OCaml 5.5.0 are: Module-dependent Functions Modules can now be used as function arguments in a form of lightweight…

How Wirewiki's domain-name autocomplete renders suggestions next frame for 99% of keystrokes.

If half the internet isn’t a person, how much of what my expensive analytics stack is measuring is about people at all?

Posted by yusufaytas - 98 votes and 15 comments

An alignment quirk on Intel and AMD CPUs: keeping a Go array 8-byte aligned (vs offset 4) makes clearing it up to 49% faster, thanks to how REP STOSQ works.