layer8

I long for the crisp pixel-based icons of old. They take more work and experience to design, and nowadays you'd have to create them in multiple sizes to cover different DPI, but they were so much…

Nice! If you're looking for a follow-up project, you could pick up on this guy's work and build a Dance Dance Revolution bot: https://www.youtube.com/watch?v=M4DvlAb4eA4 (..…

The referenced Progressbar95 game is hilarious (and deeply nostalgic): https://youtu.be/aTM8wxMIIx8

The alternativeTo link at the bottom has some screenshots and reviews: https://alternativeto.net/software/standard-notes/about/ Not a native application, not my cup of …

[0] mentions “a typical Sun-relative 20–200 kilometers per second”, which would translate to 1.2-12 years for a 50 AU displacement, but only for stars that move 90° perpendicular to the sun; and for s…

The next step is using the combination in e-ink fashion, so that you can smoothly regulate the thermal profile as needed.

I like the user-facing simplicity of FTP as a text-based interface for browsing and downloading/uploading files. No broken links, as the directory layout generally doesn’t change every other year…

The problem is that you will want to query all persons with (say) a particular name regardless of the zing, and maybe join it with some related table (say, Address), but still want (as the client appl…

SQL 99 has recursion via recursive CTEs, so the claim is probably valid.

> does anybody know of a program or a library that takes standard SQL queries as input and outputs one or multiple equivalent queries using the SQL dialects of a set of DBMSs? There are a number of…

This illustrates why lexer tokens should preferably not be defined as exactly what the language allows. Instead the internal lexer definition should include invalid tokens (like “0xfor”) that are on…

That’s the normal way lexers work, given “tight” token definitions. They continue adding to the current token until an invalid (for the current token type) character is reached, and then begin parsing…

Also, the Ryzen APUs (custom model numbers 4680U/4980U) are unfortunately still Zen 2.

Here you go: https://www.microsoft.com/en-us/p/surface-laptop-4/946627fb1... …

In that specific context, they are usually called redshirts.

I agree, but the problem presumably is the “else”.

If there was a standard way to define hotkey bindings, a simple linter could take care of that. It just shows how far we still have to go in terms of good UI creation tooling.

I use a US keyboard with Caps Lock mapped to Compose (using WinCompose [0]), which lets me type any Unicode character I need. Totally agree that switching layouts is a pain. [0] https://git…

I guess it depends on your salary. ;) The way it makes more sense to me is when you spread out the same amount of effort over longer elapsed time, quality increases just my not rushing things and bein…

Doesn’t non-fast imply non-cheap?

I use WinCompose (on Windows 10) with a custom .XCompose file. I don’t use ∂, but if I would I’d probably bind it to Compose-p-d for “partial differential”. The default bindings are Compose-Compose-p-…

Nice. An alternative is to use a Compose key. I have Caps Lock mapped to Compose, and for example Compose-g-D yields “Δ” (“greek D”) and Compose-<-= yields “≤”, etc.

Yeah, besides beauty being quite subjective, mentioning beauty as the primary differentiator gives the impression that utility is less of a focus. In today’s environment where there’s an abundance of …

> I have gotten far more use out of lattice and order theory than I have out of category theory during my career That sounds interesting, can you give some examples?

Even more useful will be a Mandatory<T> type. Maybe with “T!” and implicit conversion to T as syntactic sugar. Edit: Unfortunately it would have the drawback of nonoverloadability due to type er…

The asterisk (“*”) lower variant is still too high. It should be vertically center-aligned with “=” etc.