1081
De Bruijn notation, and why it's useful
At least a familiarity with the lambda calculus, including how it is evaluated. Some base knowledge of programming languages is also assumed.
New
The latest blog posts to take off on Hacker News. 1,748 posts.
1082
What works (and doesn't) selling formal methods
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.
1083
When Fine-Tuning Makes Sense: A Developer's Guide
Most teams are curious about fine-tuning and how it might help their AI products, but they don't know what to expect from the process, how to measure success, or where to start.
1084
1085
Java Virtual Threads Ate My Memory: A Web Crawler's Tale of Speed vs. Memory
I built a simple web crawler using good old platform threads. It was just a multithreaded crawler, nothing fancy. But then, curiosity…
1086
Run a C# file directly using dotnet run app.cs
Run C# files instantly with dotnet run app.cs, no project file needed! Coming to .NET 10, try it out today in Preview 4.
1087
What does “Undecidable” mean, anyway
An explainer for people who don't know computer science and are mildly curious
1088
Compiling a neural net to C for a speedup
A cozy little corner of the web.
1089
Compiler Explorer and the promise of URLs that last forever
How we're preserving 12,000 legacy links as Google's URL shortener rides into the sunset
1090
LLM codegen go brrr – Parallelization with Git worktrees and tmux
If you're underwhelmed with AI coding agents or simply want to get more out of them, give parallelization a try. After seeing the results firsthand over the past month, I'm ready to call myself an evangelist. The throughput improvements are incredible, and I don't feel like I'm losing control of the codebase.
1091
CheerpJ 4.1: Java in the browser, now supporting Java 17 (preview)
The latest release of our state-of-the-art Java runtime that runs completely in the browser via WebAssembly, is now available. Supports up to Java 17.
1092
Atomics and Concurrency
This is going to be a long post, but I hope you get value out of it. This wasn’t an easy topic to tackle but it was definitely worthwhile!
1093
Why are 2025/05/28 and 2025-05-28 different days in JavaScript?
A Date in JavaScript always represents a point in time (i.e. milliseconds since epoch). This is more apparent when printing out the full date string:
1094
DWARF as a Shared Reverse Engineering Format
Create DWARF debug information with the LIEF Extended DWARF editor and share reverse-engineered types and functions between Binary Ninja and Ghidra plugins.
1095
Running GPT-2 in WebGL: Rediscovering the Lost Art of GPU Shader Programming
A few weeks back, I implemented GPT-2 using WebGL and shaders (Github Repo) which made the front page of Hacker News. Here is a short write-up over what I …
1096
Pyrefly vs. Ty: Comparing Python's two new Rust-based type checkers
A deep dive into Meta's pyrefly and Astral's ty - two new Rust-based Python type checkers that both promise faster performance and better type inference.
1097
Making C and Python Talk to Each Other
How to Use Python in C
1098
Hacker News now runs on top of Common Lisp
Hacker News was written in the Arc lisp dialect, a dialect created by Paul Graham. Arc was implemented on top of Racket, but that has now changed. HN runs on top of SBCL since (at least) September of 2024.But why? For performance reasons. I recently noticed that Hacker News no longer uses paging for long threads. In…
1099
GitHub MCP exploited: Accessing private repositories via MCP
We showcase a critical vulnerability with the official GitHub MCP server, allowing attackers to access private repository data. The vulnerability is among the first discovered by Invariant's security analyzer for detecting toxic agent flows.
1100
TIL: timeout in Bash scripts
How to use the `timeout` command to terminate processes after a specified time and how to combine it with `until` for smarter shell scripting.
1101
The double standard of webhook security and API security
Explore the surprisingly different security standards we apply to webhooks versus traditional API requests.
1102
GitHub issues is almost the best notebook in the world
GitHub issues is almost the best notebook in the world. Free and unlimited, for both public and private notes. Comprehensive Markdown support, including syntax highlighting for almost any language. Plus …
1103
Writing a Self-Mutating x86_64 C Program (2013)
My little corner of the web for sharing wherever my interests take me.
1104
Writing your own CUPS printer driver in 100 lines of Python (2018)
Behind the scenes blog of pretix, your friendly ticketing system from next door.
1105
Design Pressure: The Invisible Hand That Shapes Your Code
Ever had this weird gut feeling that something is off in your code, but couldn’t put the finger on why? Are you starting your projects with the best intentions, following all best practices, and still feel like your architecture turns weird eventually?
1106
The Ingredients of a Productive Monorepo
So! Suppose you’re an intrepid engineer in a nascent Developer Productivity team. Your engineering organization has decided that it wants to move towards a monorepo . You’ve heard the stories told of Google, Meta, Uber - each a large technology company with developer productivity organizations consisting of hundreds…
1107
1108
Reinvent the Wheel
One of the most harmful pieces of advice is to …
1109
I used o3 to find a remote zeroday in the Linux SMB implementation
In this post I’ll show you how I found a zeroday vulnerability in the Linux kernel using OpenAI’s o3 model. I found the vulnerability with nothing more complicated than the o3 API ̵…
1110
Peer Programming with LLMs, for Senior+ Engineers
This article contains a collection of resources for senior (or staff+) engineers exploring the use of LLM for collaborative programming.