Laurence Tratt: Test-case Reducers Are Underappreciated Debugging Tools

Bookmarked: [youtube.com] Finger Trees Explained Anew, and Slightly Simplified

https://www.youtube.com/watch?v=ip92VMpf_-A

See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging

Finger Trees Explained Anew, and Slightly Simplified (Functional Pearl) Haskell 2020

YouTube

Bookmarked: [sofiaceli.com] Programming language design and compilers: where to start?

https://sofiaceli.com/2020/06/05/programming-language-design-and-compilers.html

See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging

Sofía Celi - cryptographer

Sofía Celi - Cryptography

Evaluation strategies

This is my webpage

Martin Steffen's homepage
Understanding C++ Ownership System

Bookmarked: [willcrichton.net] Idioms of Dynamic Languages

https://willcrichton.net/notes/idioms-of-dynamic-languages/

See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging

Idioms of Dynamic Languages | Will Crichton

Programmers think dynamic languages like Python are easier to use than static ones, but why? I look at uniquely dynamic programming idioms and their static alternatives, identifying a few broad trends that impact language usability.

Bookmarked: [squiddev.cc] Efficient coroutines by rewriting bytecode

https://squiddev.cc/2023/03/29/coroutines-and-bytecode.html

See more links at https://abhinavsarkar.net/linkblog #linkblog #linkblogging

Efficient coroutines by rewriting bytecode

We describe how Cobalt implements coroutines and stack unwinding in library code.

SquidDev

Claude is the "cool kid" of the retail AI services world. However, thanks to its snobbish attitude to some geographical locations, token limitations, and corporate ethos I ended up in the arms of Mistral. Why I use Mistral and why it honestly doesn't matter how great the model is as long as it serves your needs.

http://elizabethtai.com/2026/05/02/why-i-use-mistral-as-my-personal-paid-ai-service/

#AI #Mistral #Claude #Linkblog #Blogging #Links

Why I use Mistral as my personal paid AI service

Claude is the “cool kid” of the retail AI services world. However, thanks to its snobbish attitude to some geographical locations, token limitations, and corporate ethos I ended up in t…

Elizabeth Tai

Sometime within the last couple of years or so, I became totally burnt out (heh) on cool colors. I've started using color schemes and themes (in different apps that support them) that employ warm, earthy colors instead.

I recently found this one and one of the things I like about its theme for VS Codeht variant does as well, ensuring that all text meets WCAG AAA contrast standards.

It's rare to find a good light theme with solid contrast. Even more so to find a good one paired with a good dark one as well. I haven't been tempted to override any of the colors yet, which is saying something.

#linkblog

https://warmburnout.com/

Warm Burnout: warm color theme suite for developers

Mostly warm palette, one cool type accent, WCAG-audited contrast. VS Code, JetBrains, Neovim, Emacs, Ghostty, Zed, Xcode, and more.

Warm Burnout

The excitement—and, frankly, sheer giddiness—with which this developer introduces his new app is the most wholesome thing I’ve seen this week.

From the minute when I started watching it, I was thinking that the last thing I needed was an app launcher, having had a Powerpack license for Alfred for… checks notes… nearly 14 years!

But the more I watched, the more I was intrigued. Before I could even get done with the video, I had the app and the Pro license.

Yes, I am aware I have a problem.

(Yes, I know Raycast can do everything. If you like it, cool.) #linkblog

https://www.youtube.com/watch?v=vkm-ZFlivyI

Meet Tuna: a brand new, modern, modal launcher for macOS

YouTube