Searching 1 billion embeddings from disk in 15 ms on a single machine In my last post, I built a semantic map of 4 million Hacker News posts and dived deep into semantic search and AI embeddings. Continuing the fun research and hacking in this space, in this post, I'll deep dive into how vector search works with interactive...
How Many Versions of "X" Are in my $PATH? See how 'is' simplifies discovering and comparing multiple versions of executables in your $PATH, with examples using bash, perl, and gopls.
Know Who To Ask - Don't Break Prod Don't Break Prod provides bite-sized pieces of career advice for software engineers.
Language model benchmarks only tell half a story When it comes to language models, we tend to look at benchmarks to decide which model is the best to use in our application. But benchmarks only tell half a story. Unless you're building an all-purpose chat application, what you should be actually looking...
mind donation – The Homebound Symphony Everyone Is Using A.I. for Everything. Is That Bad? – The New York Times:
Verified Dynamic Programming with Σ-types in Lean 1. IntroductionIf you’ve taken an algorithms class, you have likely seen dynamic programming, specifically a technique called memoization. Memoization works to optimize recursive algorithms by caching the solutions to subproblems in a table, and when a su...
How to Dress and Undress your Home Before the large-scale use of fossil fuels, removable textile layers kept homes warm in winter and cool in summer.
Setting up a landline phone for kids - Chris Hardie's Tech and Software Blog I recently set up a phone line for my 9-year-old. Why? I liked the idea of her being able to connect with others in a way she has control over, but with some of the natural limitations built in to a traditional landline and without the distractions of a s...
The Two Cultures and the Engineering Revolution Risk, shiny objects, speed, and ego: notes from the valley of a cultural divide
GETting Conditionally - The Bare Basics A while ago, a prominent Vercel employee (two, actually) posted to the tune of: Developers don’t get CDNs Exhibit A etc. It is often that random tweets somehow get me into a frenzy – somebody is wrong on the internet, yet again. But when I gave this a sec...
UNSTABLE SCULPTURES — Diffusion Models are the Next Frontier of AAA Game Development - k-hole Exploring a future of AAA game development focused around controlling diffusion models
Build a Cannon to Kill a Mosquito At Guesswork, we are a team of four engineers with no background in sales or marketing. So, we had to figure out a way to get customers without relying on any of those skills. That led us, through ...
zk: The Most Beautiful Form of Privacy In this article, I would like to discuss in more depth the topic of “zero-knowledge proofs”, an emerging technology still very much in prototyping stage, but becoming more and more accessible through projects and languages like Noir or Mina.
Claude, Employee of the Month Claude Code has completely changed the way we develop our app, Chorus, so much so that we now consider it one of our employees.
Double-Entry Ledgers: The Missing Primitive in Modern Software I think ledgers are underutilized in software development today. Specifically, double-entry ledger modeling would be a better fit in a lot of systems than the ad-hoc ledger-ish things they currently have.
Understanding and Coding the KV Cache in LLMs from Scratch KV caches are one of the most critical techniques for efficient inference in LLMs in production. KV caches are an important component for compute-efficient L...
Programming Language Design in the Era of LLMs: A Return to Mediocrity? The most exciting part of Programming Languages (PL) research for me has always been in Programming Language Design.
Real-Time Action Chunking with Large Models Physical Intelligence is bringing general-purpose AI into the physical world.
2025-06-16 Ban autonomous systems More people have been working on blocking whole ranges of IP numbers, since that catches hosting providers that give bots access to the whole range they control. The bots switch IP numbers all the time so a filter based on IP numbers won’t catch them. But...
My Formatter Will Never Be As Fast As Ruff I've been building a universal code formatter in Zig, and I recently discovered something humbling: my formatter will never be as fast as Ruff on large files. But here's the twist - it's actually faster on small files, and the journey to this realization ...
Resurrecting a dead torrent tracker and finding 3 million peers So I was uh, downloading some linux isos, like usual. It was going slowly, so I opened up the Trackers tab in qBittorrent and saw the following:
Structuring GitHub Enterprise: Best Practices from the Org Level Down Ever joined a GitHub Enterprise and thought, “Who organized this… chaos?” I created this post...
Honda Conducts Successful Launch and Landing Test of Experimental Reusable Rocket | Honda Global Corporate Website Honda Global | Honda R&D Co., Ltd., a research and development subsidiary of Honda Motor Co., Ltd., today conducted a launch and landing test of an experimental reusable rocket*1 (6.3 m in length, 85 cm in diameter, 900 kg dry weight/1,312 kg wet weight) ...
Why Generative AI Coding Tools and Agents Do Not Work For Me People keep asking me If I use Generative AI tools for coding and what I think of them, so this is my effort to put my thoughts in writing, so that I can send people here instead of having to repeat…
A C# tool for cleaning up resource groups A C# tool for cleaning up resource groups. GitHub Gist: instantly share code, notes, and snippets.
Beyond Token Limits: Why the Apple LRM Rebuttal Misses the Point :: Victor's Blog Recently Apple published a paper on LRMs (Large Reasoning Models) and how they found that “that LRMs have limitations in exact computation” and that “they fail to use explicit algorithms and reason inconsistently across puzzles.” I would consider this a d...
LukeW | Agent Management Interface Patterns As an increasing number of AI applications evolve to agents doing work for people, agent management becomes a critical part of these product's design. How can p...
How Software Development Really Works Software development is a mess of bad leadership, useless meetings, broken agile rituals, and daily burnout. Here’s what really happens behind the JIRA tickets.
Varnan Varnan specializes in GTM strategies tailored for early-stage AI startups, ensuring your innovation reaches its full potential.
Keeping up with dependency updates How I stay on top of the never-ending cycle of dependency updates for my projects.
Dear Microsoft: Stop It with Copilot, Already Until recently, one of the easiest ways to get “into” Microsoft 365 was to go to Office.com. I’ll readily admit that I never spent any time on the page, mainly because most of my …
Using Agenix with devShells | Mitchell Hanberg Nix with Flakes allows you to easily centralize project environments and setup right in your repository. Often, your README will tell the reader "get an API key for FOOSERVICE from a teammate"
Static binaries and Homebrew as a channel for internal tools The Homebrew package manager is nice. It's not perfect, it's not performant, but in my opinion, for developer machines, it's by far the easiest and most flexible package manager, especially for quickly distributing internal tools. The flexibility comes fr...
Side Hustles - Pankaj Tanwar Pankaj Tanwar : A self-taught developer, writer & creator who loves to read, write and learn about tech.
matrix is cooked Those are the contents of a post I recently made, but really that and even the replies I made are not the full story Truth is, to get ri...
Choosing where to spend my team’s effort It's the start of a new fiscal year and that's always a time to look forward and define strategy: What are we gonna work on these next months. I've always handled the same structure in defining my strategy and I thought I'd share it here.
Frontend UI is dead - welcome Voice User Interface (VUI) AI Agent Any tasks you can delegate to a human assistant will be delegated to a Voice-controlled AI Agent.