Jons Mostovojs @jonn@social.doma.dev

With this full implementation of term-to-type is completed[1], thanks to #serokell's funding. Honestly, the stuff Mr. Zavialov, soon-to-be-Dr. Rogozin and others have done for #GHC over past half-decade may be quiet, but also quite impressive.

Long live #Haskell, the most level-headed option for strong typing in production.

[1]: https://gitlab.haskell.org/ghc/ghc/-/commit/0f0c53a501ba7740cc896bdb3a2b153512183955

@EugeneMcParland that's why I always keep saying that we shouldn't undersestimate russia and russians. It's just the law of large numbers that among the millions of orcs in mordor, there are some that are more savvy and smart than an above-average elf.

@TFG it's so wholesome!

Hello, world!

Should be `nixpkgs#ats2` because `ats` is the substrate language on which #ats2 is bootstrapped.

I'm doing #AdventOfCode in #ats this year.

@shanselman hm, I'm normally taking #eurostar to #Paris to see a doctor, ngl. But I guess "having healthcare" is a gradient innit.

@PeachKing90 what do you feel is proportionate response to Oct 7th?

@ladybuginthemug@infosec.exchange interesting take. I used to support palestine before Oct 7th, but practically speaking, palestinians voted for hamas and they are backed by russia and iran. So even from the standpoint of sheer pragmatism, people who care about Ukraine should support Israel's right to wage a defensive war. Not in the least because when Ukraine will be establishing DMZ in People's Republic of Belhorod, it's better to have a precedent.

@wholesomedonut big counterfeit monkey energy! Play it if you didn't yet! It's like #Portal of #InteractiveFiction by Emily Short.

@PeachKing90 I'm pretty sure it applies only to those who support palestine during this conflict, as in, after Oct 7th. After hamas is destroyed, we all will once again support independent palestine. In the meantime, please respect the countries right to wage defensive war no matter you like the countries or not. If the way you feel about Jews or Israel prevents you from doing so (I myself am not a huge fan of Israel), then you, by logic, should be against Ukrainian hits deep into russian territory or, in theory, Baltic states being able to counter-strike russia if it ever attacks.

It's war, not a "normal life", you can't stop the it with a hashtag, you can only stop it with a military action.

It's a bit funny how similar #ChatGPT and humans are. First reaction (in presence of limited "brain-" power) is to start guessing. But when asked not to guess, it figures things out.

@LALegault I think we agree on most points, except that I don't think that you have to be a fan of a country to respect their right to wage defensive war.

Re: adult population, for instance, I think we agree as well, highlighting my toot:

> Majority of *****the adult***** population of palestine has voted for #hamas and celebrated the Oct 7th massacre.

Damn, I think that perl8 dot com got sold? This was the easiest way I knew how to get to the official website of #scala.