Automated Verification of Monotonic Data Structure Traversals in C
Abstract:Bespoke data structure operations are common in real-world C code. We identify one common subclass, monotonic data structure traversals (MDSTs), that iterate monotonically through the structure. For example, strlen iterates from start to end of a character array until a null byte is found, and a binary search tree insert iterates from the tree root […]
Show HN: My LLM CLI tool can run tools now, from Python code or plugins
27th May 2025 LLM 0.26 is out with the biggest new feature since I started the project: support for tools. You can now use the LLM CLI tool—and Python library—to grant LLMs from OpenAI, Anthropic, Gemini and local models from Ollama with access to any tool that you can represent as a Python function. LLM […]
They used Xenon to climb Everest in days – is it the future of mountaineering?
Climbing Mount Everest typically takes weeks, with most of that time spent at the foot of the mountain adjusting to the thin air. But four British men last week shrank that timeline dramatically, traveling from London to the summit and back in less than a week, according to the organizer of their expedition. They skipped […]
In Vietnam, an unlikely outpost for Chicano culture
HO CHI MINH CITY — When Nguyen Phuoc Loc first started dabbling in Chicano culture eight years ago, it was simply because he liked the way that the loose clothing offset his large head. Today, he considers himself Chicano through and through. The 30-year-old Vietnamese barber has never been to the United States. Yet he has filled […]
Why the Original Macintosh Had a Screen Resolution of 512×324
Many classic Macs came with — or supported — displays running at 512×384 pixels, but many compact Macs, ranging from the original 1984 machine up through 1991’s Macintosh Classic II had built-in CRTs running at 512×324 pixels. That covers all black-and-white compact Macs with a 9-inch screen. The later Color Classic and Color Classic II […]
Running GPT-2 in WebGL: Rediscovering the Lost Art of GPU Shader Programming
May, 24 2025 • 16 min read • 2461 words Preface: A few weeks back, I implemented GPT-2 using WebGL and shaders (Github Repo) which made the front page of Hacker News (discussion). By popular demand, here is a short write-up over the main ideas behind GPU shader programming (for general-purpose computing). Table Of Contents […]
Roundtable (YC S23) Is Hiring a Member of Technical Staff
This is not a typical “Founding Engineer” position at an early stage company. In particular, this role will involve more research than similar positions. You should be prepared to spend around half of your time on research and half on engineering. The ideal candidate has experience in both. However, we don’t strictly require research experience […]
Launch HN: Relace (YC W23) – Models for fast and reliable codegen
Hey HN community! We’re Preston and Eitan, and we’re building Relace (https://relace.ai). We’re trying to make building code agents easy and cheap. Here’s an example of our apply model vs. whole file edits: https://youtu.be/J0-oYyozUZw Building reliable code agents is hard. Beyond simple prototypes, any app with code generation in production quickly runs into two problems […]
Why Is Everybody Knitting Chickens?
A couple years ago, my wife began knitting. And when she takes an interest in something, she goes all in. She’s a perfectionist about learning a new craft, so in a short amount of time, she’s gotten pretty damn good. I can’t even pretend to know anything more than the most basic idea behind knitting, […]
Square Theory
The story starts in Crosscord, the crossword Discord server. Over 5,000 users strong, the server has emerged as a central hub for the online crossword community, a buzzing, sometimes overwhelming, sometimes delightful town square where total noobs, veteran constructors, and champion solvers alike come together to talk about words that cross each other. Square roots […]