chills · HackerTrans

5 maanden geledendiscuss

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

11 maanden geledendiscuss

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')

chills

vorig jaardiscuss

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

chills

2 jaar geledendiscuss

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

chills

3 jaar geledendiscuss

> If only there were a Buck2 and Nix hybrid

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

chills

3 jaar geledendiscuss

Emmett's

chills

4 jaar geledendiscuss

chills

5 jaar geledendiscuss

2 is prime

chills

5 jaar geledendiscuss

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/

chills

5 jaar geledendiscuss

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

chills

5 jaar geledendiscuss

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

chills

6 jaar geledendiscuss

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

The difference here is that Option "tags" each part of its union, which guarantees that the parts are disjoint. In Nullable, the parts of the union are disjoint only if T is not itself nullable. If T is S | null, Nullable T is S | null | null, which is just S | null (since null and null are not disjoint.

chills

6 jaar geledendiscuss

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

chills

6 jaar geledendiscuss

> 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

chills

6 jaar geledendiscuss

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.

chills

6 jaar geledendiscuss

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.

chills

6 jaar geledendiscuss

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

chills

6 jaar geledendiscuss

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.

chills

6 jaar geledendiscuss

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.

chills

6 jaar geledendiscuss

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

comments