coherent_domain

10k for 20 days of olympic and for 3k athletes that is 10k * 2 / 20 / 3k = 1/3 of a condom per couple per day, that sounds down right reasonable for a bunch of young, perfectly shaped teenagers constantly in celebration mode.

In a free country, you can tell the government to go fuck itself without a mask

Political infrastructure works well until it is not. U.S. used to have okay political infrastructure in protecting democracy, then patriot's act happened and many of its loophole identified, now president can just kidnap a foreign president as "law enforcement".

I would love a system where people don't have any need to be anynomized, it would make many things much simpler, but that seems hard to imagine for me. And I am not from the U.S. and I have lived in both U.S., U.K., and outside of the west, so it is likely not caused by "U.S. brainwashing".

I am not entirely sure what is the "EU secret sauce" to prevent Politician in utilizing these loopholes or strong centiments to gradually regulate speech. One day, they might be able to make use of these data. People in U.S. protested, they shot protester, and no one can protest forever, unfortunately. I am curious what would prevent EU to replay what US have now, except with much much more targeted data at the government's disposal.

I have been using https://apt.izzysoft.de/packages/de.mm20.launcher2.release , I really like their search functionality. There is also the famous lawnchair https://apt.izzysoft.de/packages/app.lawnchair which is kind of the default FOSS launcher nowadays.

Sorry, who is "he"? Turing or Djikstra? Both make sense, just wondering who you are referring to.

I thought Knuth is the developer of TeX, not LaTeX... That being said, I am not overly fond of the things coming out of Stanford in that generation, like lisp, TeX, and LaTeX.

Because of anonymity, I am gonna voice some strong opinions ;) These tools feels very much like the typical products of "west-coast PL": they feel hacky, way too flexible and end up doing nothing well, and definitely born out of the whole "hacker culture" and "engineering culture".

Maybe Scheme and Racket is better, but I never spend the time to look into them.

Dude, LaTeX one of the worst piece of software that is still prevalent today, perhaps the only thing worst is Microsoft Word (and similar WYSIWYG thingy).

I heard Turing is a quite open-minded and outgoing person, I feel he might have a okay chance of giving LLM a shot. On the other hand, I feel there is no way Dijkstra is gonna vibe with LLM.

I like how Yaron Minsky from Jane Street characterized LLM: "It is smarter than we expected it to be, but dumber than we needed it to be... It feels like something really dumb, but somehow memorized the entire internet."

This is kind of what I feel: despite all these impressive BAR and IMO achievements, in my work, I feel they do a great job at parapherasing the internet, but fails when you need it to do something mildly intelligent.

Does it improve my efficiency? yes, but only at some very tedious and specific taskes, once I go slightly out of scope, it comes up with inelegant solution that I will need to rewrite from scratch.

Coinduction works on some uncountable set, for example, streams (or infinite list) which are A^{nat}, where A is the type of the elements in the stream. It looks a bit like induction on finite list, but slightly different.

OHHHHHH!

I am sorry I don't quite get it... Maybe I am not understanding some references? Why is this infuriating?

If you want to use a simple setup: single screen, older hardware, and don't mind minor performance drop in game, the mint is great.

If you want to use a more fancy setup, multiple high DPI screen, or cutting edge hardware, I would try bazzite first.