you can make it sort the first k elements and it will still be O(1). Set k high enough and it might even be useful

I love the idea of using multiple font faces at the same time while looking at code. I wonder if (hope?) terminals will one day soon support switching fonts with control sequences… Would be pretty awesome!

It looks like it’s not an actual height difference, but the smaller width makes the second i look significantly smaller than the first, also implying a lower height.

When I was learning neovim over the summer, editing the configs was the perfect way to practice editing. Lua is a simple language and forcing myself to do the config from within nvim created a positive feedback loop where I wanted to keep using the editor more and more. (I realize this anecdote is a non-solution to your request)

The difference between generating JSON and generating HTML is minimal for the server, doesn’t seem to me like server side rendered sites have significantly higher server compute costs. Also generally for SPAs, the server has to replicate whatever flow is happening on the client anyway to keep state in line (since the client can’t be trusted)

This is a great deep dive! I am curious how difficult/slow it is to extend the modern xterm interface. For example, I saw that some terminals now support squiggly underlines for errors. What would it take to build a terminal (and associated interface) that supported things like text size? (Of course it would break a lot of applications that treat the screen as a two dimensional grid)

Last time I used warp it also wasn’t super customizable. I like messing with the prompt and stuff. I wonder if that’s changed. I did get a t-shirt from them for doing a user interview though :)

I don’t write, but the Neorg project seems to be getting some attention from writers

I created a variant of Monokai/Monokai Soda called Monokai Vapor, available in the marketplace :)