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:…
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…
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…
> 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 |…
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…
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.
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:…
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…
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…
> 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 |…
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…
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.