5 July 2025

41 links · Saturday

How to Network as an Introvert

A calm guide to networking as an introvert—learn how posture, presence, and small signals can help you connect meaningfully without faking extroversion.

What if This is it?

A raw exploration of how fear of missing out destroys presence, and why enough is the most radical choice you can make. The rebellion against endless wanting starts here.

Security Advisory: Airoha-based Bluetooth Headphones and Earbuds

Important note: Some media coverage on this topic falsely or inaccurately depicts the attack conditions. To be clear: Any vulnerable device can be compromised if the attacker is in Bluetooth range. That is the only precondition. During our research on Bluet…

How to create repositories in Artifactory with curl

I recently created repositories in a new Artifactory instance. This was a testing instance and since I dind’t work with Artifactory much before this, I created them in the web-frontend by hand. I then wanted to get them as code so I could recreate them in the …

Writing Modular Prompts | Adnan's Random bytes

This post is part of the GenAI Series. These days, if you ask a tech-savvy person whether they know how to use ChatGPT, they might take it as an insult. After all, using GPT seems as simple as asking anything and instantly getting a magical answer. But here's …

How To Search For Theorems In Lean 4

Summary Use a mix of LeanSearch, Loogle, and exact?. Introduction In the "All Lean Books And Where To Find Them" article, I advise a number of formalizatio...

We're all idiots and that's fine

I learned something about myself and the world. I discussed it over a beer with a good friend of mine and he thought it was interesting enou...

Hyper Case: Designing my own keyboard case

The Hyper case is my latest design project. It's a custom-made case for the Halcyon Elora Split keyboard made by the company splitkb.com. I already published it on my website under the "Design & Works" page. But subscribers don't get a notification of those ad…

Speed Up Django Queries with values() over only()

If your Django queries feel slow, the problem might not be your database — it might be your ORM. Recently, I was working with a query that took 25 seconds to run through the Django ORM, but the underlying SQL completed in just 2 seconds. With a single change, …

Vim Setup

Let's jump straight into it. This is the neovim config I write all my code with. It is just eleven lines, two key bindings, and it does not use any plugins. In this post, I will shortly describe my vim journey, and explain why I ended up with this config.

Weekly Recap - 2025-07-04

Check out this week from Dev Leader! Here's a list including articles and videos on software engineering, career development, and programming in C#!

NVIDIA is full of shit

Since the disastrous launch of the RTX 50 series, NVIDIA has been unable to escape negative headlines: scalper bots are snatching GPUs away from consumers before official sales even begin, power connectors continue to melt, with no fix in sight, marketing is b…

Intra: design notes on an LLM-driven text adventure

Last year I participated in a text adventure hackathon to build a text-based game using AI. I’d already been thinking about it but it was a great opportunity to put together those thoughts into something real. Since then I made many improvements, and while I’v…

Bad Prompting Is the New Bad Engineering

Built the same crossword app twice. Bad prompt took 6+ hours, good prompt took 40 minutes. Prompt engineering is actually a real skill.

Counting at Scale

A mathematical exploration of efficiently counting at scale, where traditional methods fall short.

Lessons From Creating My First Text Adventure

When I write about the greatness of text adventures, I pretend they are easy to make. They are, compared to many other types of games, but it’s still a bit of a lie. They’re hard to make.

Process Vs Prejudice

I recently read an interesting article about Accountability Sinks. In it, the author argues that part of the reason for having business processes is that they diffuse accountability. Every one of us has tried to have an argument with an employee of a big comp…

How much code does that proc macro generate?

Rust’s proc macros are powerful but tricky, and have some compile-time costs. This post is about a new tool to help quantify and reduce some of those costs.