6241
Shai-Hulud compromised a dev machine and raided GitHub org access: a post-mortem
On November 25th, one of our engineers was compromised by the Shai-Hulud npm supply chain worm. Here's what happened, how we responded, and what we've changed.
New
The latest blog posts to take off on Hacker News. 80,817 posts.
6242
Bye, Mom
I get a text that my mom’s in the ICU.
6243
Compiler Engineering in Practice
“Compiler Engineering in Practice” is a blog series intended to pass on wisdom that seemingly every seasoned compiler developer knows, but is not systematically written down in any textbook or online resource. Some (but not much) prior experience with compilers is needed.
6244
My Gift to the Rustdoc Team
About two weeks ago I entered a discussion with the docs.rs team about, basically, why we have to look at this: When we could be looking at this: And of course, as always, there are reasons why thi...
6245
“You should never build a CMS”
Lee Robinson migrated cursor.com off Sanity. He made good points. Here's what he missed.
6246
Pizlix: Memory Safe Linux from Scratch
Pizlix is LFS (Linux From Scratch) 12.2 with some added components, where userland is compiled with Fil-C. This means you get the most memory safe Linux-like OS currently available.
6247
If a Meta AI model can read a brain-wide signal, why wouldn't the brain?
In 2023, Meta researchers were able to decode images in thoughts from the brain's magnetic fields. What if that's how the brain coordinates it's own global state?
6248
From Zero to QED: An informal introduction to formality with Lean 4
An informal introduction to formality in Lean 4
6249
Closures as Win32 Window Procedures
Back in 2017 I wrote about a technique for creating closures in C using JIT-compiled wrapper. It’s neat, though rarely necessary in real programs, so I don’t think about it often. I applied it to qsort , which sadly accepts no context pointer. More practical would be working around insufficient custom allocator…
6250
Linux Sandboxes and Fil-C
Memory safety and sandboxing are two different things. It's reasonable to think of them as orthogonal: you could have memory safety but not be sandboxed, or you could be sandboxed but not memory safe.
6251
Some surprising things about DuckDuckGo
We have hundreds of easter-egg logos (featuring our friendly mascot Dax Brown) that surface when you make certain queries on our search engine. Our subreddit is trying to catch ‘em all. They’ve certainly caught a lot, currently 504, but we keep adding more so it’s a moving target. The total as of this post is 594. I’m…
6252
Recovering Anthony Bourdain's Li.st's
Loved reading through GReg TeChnoLogY Anthony Bourdain’s Lost Li.st’s and seeing the list of los...
6253
Why Twilio Segment moved from microservices back to a monolith
Discover Twilio’s shift to a single powerful service! Learn cloud communication trends, customer success stories, and how to build scalable apps. Join now!
6254
I fed 24 years of my blog posts to a Markov model
Yesterday I shared a little program called Mark V. Shaney Junior at github.com/susam/mvs . It is a minimal implementation of a Markov text generator inspired by the legendary Mark V. Shaney program from the 1980s. Mark V. Shaney was a synthetic Usenet user that posted messages to various newsgroups using text…
6255
The Rise of Computer Games, Part I: Adventure
Author’s note: I originally intended for this post to cover adventure games, computer role-playing games, wargames and other simulations, a brief look at the home video game market, and final…
6256
VPN location claims don't match real traffic exits
17 out of 20 popular VPNs exit traffic from different countries than they claim. Dig into what that means and why it matters in our VPN report.
6257
I tried Gleam for Advent of Code
A 12 day Advent of Code year convinced me Gleam is the real deal, thanks to Rust-like errors, great pipes, and surprisingly ergonomic FP.
6258
30 years of <br> tags
Three decades of making things on the internet
6259
We built another object storage
High-performance object storage exists, but the economics make it unusable at scale. FractalBits breaks out of the high-performance trap.
6260
Apple has locked my Apple ID, and I have no recourse. A plea for help
Dr Paris Buttfield-Addison20251,750 points1,049 commentscited by 16Society, Policy & Culture details
Summary: A major brick-and-mortar store sold an Apple Gift Card that Apple seemingly took offence to, and locked out my entire Apple ID, effectively bricking my devices and my iCloud Account, Apple …
6261
1300 Still Images from the Animated Films of Hayao Miyazaki's Studio Ghibli (2023)
「君たちはどう生きるか」の場面写真を提供致します。 現在、劇場公開中の「君たちはどう生きるか」の場面写真 14枚を、本日から提供いたします。 これまでの分と同様に、常識の範囲でご自由にお使いください。 君たちはどう生きるか14枚 2023.08.04 提供開始 2020.12.18 提供開
6262
OpenAI are quietly adopting skills, now available in ChatGPT and Codex CLI
One of the things that most excited me about Anthropic’s new Skills mechanism back in October is how easy it looked for other platforms to implement. A skill is just …
6263
50 years of proof assistants
Crackpots ranging from billionaire Peter Thiel to random YouTube influencers claim that science has been stagnating for the past 50 years. They admit that computing is an exception: they don’t pretend that my personal 32GB laptop is not an advance over the 16MB mainframe that served the whole Caltech community when I…
6264
In Defense of Matlab Code
MATLAB still shines for math-heavy work. Its whiteboard-style syntax makes code easy to read, review, and run on modern tools like RunMat and fast GPUs.
6265
Nuclear energy key to decarbonising Europe, says EESC
The EESC has adopted an opinion pointing out that nuclear energy is an essential component of the clean energy mix which is needed to phase out fossil fuels. The Committee calls on the European Commission to include key regulatory and financial enablers in order to make the planned investment possible, and to enhance…
6266
6267
Using secondary school maths to demystify AI
Educators can show in secondary school maths that AI systems don’t think, making maths more interesting while teaching core concepts of AI.
6268
CM0 – A new Raspberry Pi you can't buy
This little postage stamp is actually a full Raspberry Pi Zero 2, complete with eMMC storage and WiFi. But you can't get one. Well, not unless you buy the CM0NANO development board from EDAtec, or you live in China. This little guy doesn't have an HDMI port, Ethernet, or even USB. It's a special version of the…
6269
SQLite JSON at full index speed using generated columns
One of the coolest patterns in SQLite—store raw JSON documents, create virtual generated columns using json_extract, add indexes, and query JSON at full B-tree index speed.
6270
Guarding My Git Forge Against AI Scrapers
A summary of the techniques in place to protect my git forge