17 June 2025

54 links · Tuesday

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 at i…

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 subprob…

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.

Balaji Arumugam

Portfolio of Balaji Arumugam - Senior Developer, Indie Hacker, and AI enthusiast

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 second t…

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.

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 if w…

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 taugh…

Fossify

A suite of open-source, ad-free apps with customizable colors. - Fossify

Chawan: 0.2.0

Version 0.2.0 of the Chawan TUI browser has been released.

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.

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"

Startup Slop

A home for Jihad Esmail.

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.