chills

What do you mean, "the OS as a whole"? This is the OS!

In addition to sibling commenter, niri exposes everything over an IPC accessible via its cli (or a socket), so if you wanted, say, a keybind to switch to your terminal, no matter where it is, you could bind it to this:

  niri msg action focus-window --id $(niri msg --json windows | jq '.[] | select(.app_id=="foot") | .id')

I don't think it's particularly useful to think of unit as an empty tuple specifically, that is just an arbitrary but convenient definition for it.

Really a unit type is just one that contains only a single value. This is a unit in the same way that 1 is a unit for the integers. With some hand waving it is an identity for product types, for example (int, ()) is the "same" (xxxmorphic yada yada) as int

X does, you can use xrandr --setmonitor.

For example, splitting a 5120x1440 monitor into three:

  xrandr --setmonitor DisplayPort-0-0 1280/297x1440/340+0+0 none
  xrandr --setmonitor DisplayPort-0-1 2560/595x1440/340+1280+0 none
  xrandr --setmonitor DisplayPort-0-2 1280/297x1440/340+3840+0 none

If only there were a Buck2 and Nix hybrid

You'll be interested in https://github.com/thoughtpolice/buck2-nix

Emmett's

See also: https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspon...

2 is prime

Steamdb[1] gives some info on concurrent players, but only estimates for owners. Looks like they estimate number of reviewers between 5-15%.

[1] https://steamdb.info/app/1404560/graphs/

All the jokes about launching rockets in the "what is a monad" articles are finally coming true!

Scala has several (approximately one per effect library): https://scalapb.github.io/docs/grpc/

The article mentions unions vs discriminated unions and then mentions nesting nullable being different than nesting optional, but it doesn't really tie the knot.

Imagine (sorry for pseudocode):

  type Option T = Some T | None
  type Nullable T = T | null

I think you'd need to widen point 3 to be a Pigovian tax[1], and add a fourth point for a severance tax[2].

[1] https://en.wikipedia.org/wiki/Pigovian_tax

[2] https://en.wikipedia.org/wiki/Severance_tax

Remote Desktop in Windows, for example, feels laggy even on LAN

I'm not convinced by this, because RDP feels laggy even remoting to a vm on the same machine

g/re/p lives on as :g in vim, it's kind of fun to remember its heritage to ed. There is also :v which is analogous to grep -v.

It is (used to be?) a pretty common google "hack" to put an intitle:"index.of" on a search to find sites serving files, usually mp3s. Of course once this was widespread enough, SEO spam sites starting including it in the generated clickbait sites.

This has also been the case for hundreds of years though.

Meanwhile in NYC: my apartment is regularly heated to 85 degrees in the winter, and it's commonplace to open the window and let in some freezing air to fight the radiator.

I think if I was not aware of the Monty Hall problem and I ran that simulation, I'd assume there was a bug in my code.

Do you really think these organizations shipping their credentials off to corp.com are applying Windows updates?

Part of the magic of eshell that can use elisp functions as if they were shell commands. So instead of C-x C-f filename, you can use find-file filename as a command. find-file in particular is useful as an alias.