chills

5 ms·

1.
by chills 7mo ago
What do you mean, "the OS as a whole"? This is the OS!
2.
by chills 1y ago
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 f
3.
by chills 2y ago
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 i
4.
by chills 3y ago
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+1
5.
by chills 3y ago
> If only there were a Buck2 and Nix hybrid You'll be interested in https://github.com/thoughtpolice/buck2-nix
6.
by chills 4y ago
Emmett's
7.
by chills 4y ago
See also: https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspon...
8.
by chills 5y ago
2 is prime
9.
by chills 5y ago
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/
10.
by chills 6y ago
All the jokes about launching rockets in the "what is a monad" articles are finally coming true!
11.
by chills 6y ago
Scala has several (approximately one per effect library): https://scalapb.github.io/docs/grpc/
12.
by chills 6y ago
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
13.
by chills 6y ago
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/S
14.
by chills 6y ago
> 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
15.
by chills 6y ago
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.
16.
by chills 6y ago
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
17.
by chills 6y ago
This has also been the case for hundreds of years though.
18.
by chills 6y ago
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.
19.
by chills 6y ago
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.
20.
by chills 6y ago
Do you really think these organizations shipping their credentials off to corp.com are applying Windows updates?
21.
by chills 8y ago
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.