also Sidebery is an option, that’s the one I use. very customizable

Elaborate on some examples of the YIMBYs?

Just noticed in euclidean geometry, for any two line segments touching at a point there is exactly one triangle you can draw, i.e. a triangle is uniquely described by any two of its legs. In spherical geometry, there are two choices for the third leg!

Did you make this? I would get it printed lol

Thanks a lot for the pointers! Hoping to explore this in the next few months

Could you tell me more about how you’ve used it with macOS? I was planning to explore using it to provision some macs that we use for building an iOS app (and ideally also the dev environment, which we currently use docker for mostly). I imagine Xcode doesn’t play nicely with nix though…

Nix being an expression based functional language, it doesn’t really make sense to have something like let x=y; since this looks to most people like a statement (i.e. a line of code that gets executed as part of a sequence). This doesn’t exist in nix—instead you have expressions that get lazily evaluated, possibly out of order compared to what you’d expect. let x=y in makes it more clear that the variable binding you’re doing is only in scope for the current expression, which reads something like “let x refer to y in x + 3”

The function definition syntax is unusual but definitely not unintuitive imo. It captures the simplicity of the function semantics of nix—a function is just a mapping/transformation from one value (or set of values) to another. I don’t think it’s too much overhead to learn that they use : to mean this instead of =>

In terms of why they picked this syntax, it follows the traditions of other functional languages such as the ML family, Haskell etc.

I’m pretty proud of my current setup (kinda similar to yours)

This is one of my favorite “music videos”

I used boba u4 silents on my custom keyboard. Absolutely love them. Wish they made a consumer-grade keyboard with them (or maybe they already do?) But I’ve been working on a MacBook recently and tbh the keyboard there is pretty good now. So next step for me is to build a low profile keyboard

On my colemak keyboard I put arrow keys on another layer under where hjkl are on qwerty. Beyond that, most of the keys are remembered by mnemonic rather than position imo

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.

I’ve been using Sidebery with some userchrome to hide the top tabs, and it’s a workable solution, but far from ideal.

I also wish keybindings were configurable. For example, with the “/” search, ctrl-g/G to go to next/prev match is really weird

Why is the headline conflicting with the subtitle by a factor of 10?

A$AP Rocky’s Testing era had some great ones with very impressive editing

Kids Turned Out Fine

A$AP Forever

Sundress

These are some of my favorite animated music videos:

Stuck in the Sound - Let’s Go

Dan Deacon “When I Was Done Dying”

And finally, the mixtape visualizer from Hi This is Flume is really damn cool.

I have a playlist with some more.

Potential seizure warning for some or all of the posted links.

Young and impressionable kids? I started playing the original MW2 when I was 11.

Without much experience building UIs aside from web, my limited experience with Godot leads me to believe that building an application this way would lead to a lot of decentralization of logic, which might be a bad thing for complex applications. For example, various UI elements might have a bunch of logic attached to them instead of having a centralized place where the logic lives. I guess this happens in web too, and maybe native UI frameworks/toolkits?

I was learning to use computer during the transition to the ribbon in Office 2007, but I actually preferred the ribbon to the old interface and these days I don’t mind it. Out of curiosity, what about the Ribbon annoys you guys?

As far as I know, Swahili is almost always written with the latin script.