Viewing profile — animaomnium

"settecento" can be read as "seven hundred" in Italian; gramps is proposing to use a more specific word as a tag for Italian art from the 1700s. Of course, 700 is not 1700, hence t…

Surprisingly clear and straightforward explanations of staking, liquidity pools, etc. in a legal document. In other news, is it really a surprise that everything is securities frau…

It is a waste of time to continue to try to develop a power one does not have. Manipulating (e.g. "people who down vote [sic] refuse to believe"), spreading fear (e.g. "[mind manip…

Very interesting paper! Proposes (with lower bound of 1.3% chance) that the solar system may have passed through a local interstellar cloud, which would have caused the heliosphere…

3tubs × 40gal/tub × $3.50/gal = $420. Wow, you're spending $420 on shipping? How far away are they keeping those slaves?

If you're looking for the same sort of walled-garden corporate-degen vibe, try reddit? They even have nested conversations, like on Hacker News! /s But seriously, Discourse is good…

There's a big number of things you can search for, but it's a finite number. There are certainly people interested in curating resources for their specific niche in exchange for cu…

"on NixOS" is the new "arch btw"

Oh that's cool! Interested to see where your research leads. Could you drop me a link to where the interaction net → cuda compiler resides? I skimmed through the HVM2 repo and just…

Fala Taelin, nice work! Does HVM2 compile interaction nets to e.g. spirv, or is this an interpreter (like the original HVM) that happens to run on the GPU? I ask because a while ba…

Nice! Should be called a "kanvolution", my 2¢.

Good points, thanks. I will note that non-subscription friendships generally exist on the basis of donated space and goodwill, though. https://news.ycombinator.com/newsguidelines.h…

Only 15 bucks a month for unlimited hangouts with your friends! Satire, in any other universe.

Clearly that isn't the case, surely Mike Pall would have heard of it, when he brought back LuaJIT from the future, that is.

Grug Brained Linux.

You could read the whole thing but it would be quicker to infer that if I need to explain the joke,

"but bertrand... I am pagliacci" Induction: https://plato.stanford.edu/entries/induction-problem/

eleventh letter of the greek alphabet, derived from phoenecian "lamed", etc.

The volume of 240mL of water. Fill a standard 500mL water bottle to the bottom of the cone: half of that. = 500mL /_\ 2 cups |_| 1 cup |_| zilch * Not to scale.

For the curious, "do be do be do" is a seminal paper in the literature on algebraic effects that introduces frank , quirky little language that has algebraic effects but not handle…

One idea is to embed the guesses in the url fragment (perhaps delta encoded) and from that url fragment, generate a social media preview image with a horizontal discrete gradient o…

Wired has a deal with Quanta to republish some of their stories. There are other stories from Quanta in Wired; I no longer read Wired, but I believe that this is how I first learne…

> There are two interesting contenders worthy of mention: Pijul [and] Fossil Also might be worthy to mention Jujitsu [0], a vcs out of Google with a git-compatible backend and more…

There are a few research languages where handling secrets and constant-time operations correctly is a first-class feature. See for example: https://github.com/google/rune