Viewing profile — xjm

But ... if they were sentient, sentience would just happen for the time of a session, and only when tokens are being generated. I don't think people here are arguing that sentience…

Webpage of the text without the intro paragraph https://hex.ooo/library/power.html

Proving that a particular program terminates does not require deciding the halting problem on arbitrary programs (same for deadlock freedom)

It is not so obvious, some countries have a wealth tax in addition to the income tax.

Only if you pay it off with taxable income. If you have a lot of assets you can just refinance your loan with more debt.

Part of the Advent of Compiler Optimisations https://xania.org/AoCO2025 Loving it so far!

We used a low number _and_ it was a while ago (it would be different if we used the same number spread out on the same time span)

I find it much easier to see what is going on when selecting λ-calculus instead of Δ-Nets. E.g. for the mandatory Y Combinator , λf.(λx.f (x x)) (λx.f (x x)) for which the differen…

First sentence: > All of modern mathematics is built on the foundation of set theory That's ignoring most of formalized mathematics, which is progressing rapidly and definitely mod…

agreed. tiring. maybe someone will make an "article-to-prompt" sort of reverse ChatGPT? But of course someone already did that, and of course it's inside ChatGPT, what was I thinki…

> Thatcher told us, “There is no alternative.” In 1982, Bill Gibson refuted her thus: “The street finds its own uses for things.” > I know which prophet I’m gonna follow. > Thanks …

Another one is Presburger Arithmetic, which is Peano Arithmetic minus the multiplication. What makes it interesting (and useful) is that this removal makes the theory decidable. ht…

> fixing the climate I would be happy to be convinced that climate is an intelligence problem. One could argue it could be solved with "abundant energy" but if this abundant energy…

I counted one trillion or 9! * 3!^8 * 2 : the 8 because you have can choose 3 independent permutations of columns inside column blocks + 1 permutation of column blocks, plus same f…

I'm struggling to try and find information on "exact same modus operandi has been used by far-left movements in the past to disrupt high-speed lines" can you provide some links? (I…

Though burning random cars might be French, we are talking here about arson with precise strategic targets (although I'm not staying this is more Russia's style)

Current discussion: https://news.ycombinator.com/item?id=41076831

The scale is different: "thousands of travellers" vs "hundreds of thousands" One line was blocked because of "two optic fibers" in Germany "for around three hours". Now in France t…

The Eiffel tower's is fun (:

A modular and safe way to achieve this is probably effect handlers. It's like python's yield but can return a value and is scoped like an exception, it's not local to a function ca…

Nice! Note that this page has no category theory yet since it explains sets, so if you already know sets, set product, etc and want to learn about category theory, my advice is to …

In addition, even selfish people should care about loss of biodiversity if only because it facilitates disease transmission, and so is a threat to food security and public health.

Did not know that, thank you. However how do you know it will re-form just fine? The abstract says: > Instead, coal accumulation patterns implicate a unique combination of climate …