xjm

6 ms·

1.
by xjm 3mo ago
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 would happen when the model is not running, or that se
2.
by xjm 7mo ago
Webpage of the text without the intro paragraph https://hex.ooo/library/power.html
3.
by xjm 8mo ago
Proving that a particular program terminates does not require deciding the halting problem on arbitrary programs (same for deadlock freedom)
4.
by xjm 9mo ago
It is not so obvious, some countries have a wealth tax in addition to the income tax.
5.
by xjm 9mo ago
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.
6.
by xjm 10mo ago
Part of the Advent of Compiler Optimisations https://xania.org/AoCO2025 Loving it so far!
7.
by xjm 10mo ago
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)
8.
by xjm 10mo ago
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 difference with λf.(λx.f (x x)) (λx.f (x x) f) is very clear, where
9.
by xjm 10mo ago
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 modern. Lean and Rocq for example are founded on type t
10.
Everybody.codes: same vibe as Advent of Code, but in November(everybody.codes)
1 points by xjm 10mo ago|0 comments
11.
by xjm 10mo ago
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 thinking? Though if I do try it, the prompt I get i
12.
by xjm 1y ago
> 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 to a free AI model that ran on my modest laptop, in
13.
by xjm 1y ago
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. https://en.wikipedia.org/wiki/Presburger_
14.
by xjm 2y ago
> 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 comes from some new intelligence then we are p
15.
by xjm 2y ago
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 for rows. Then only one rotation should be counted, because f
16.
by xjm 2y ago
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'm assuming you are not talking about h
17.
by xjm 2y ago
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)
18.
by xjm 2y ago
Current discussion: https://news.ycombinator.com/item?id=41076831
19.
by xjm 2y ago
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 three main lines are
20.
by xjm 2y ago
The Eiffel tower's is fun (:
21.
by xjm 3y ago
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 call. If you're unfamiliar with it, this a
22.
by xjm 3y ago
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 go directly to the next chapter, more specifically to this s
23.
by xjm 3y ago
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.
24.
by xjm 3y ago
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 and tectonics during Pangea formation. and I don't k
25.
by xjm 4y ago
It doesn't fit "pure", but it solves the same problems the article is talking about, as other functional programming languages do. In fact the article is excluding most functional languages by saying "pure", and the
26.
by xjm 5y ago
Your iceberg should lay on its side but then the layout would look weird :( https://gizmodo.com/youre-drawing-icebergs-all-wrong-1846329... https://joshdata.me/iceberger.html
27.
by xjm 5y ago
Neat! I just discovered the gnome alternative gnome-sushi (available via apt-get). It's very nice, but sadly the "open file" dialog doesn't trigger gnome-sushi.
28.
by xjm 6y ago
The glue used for those varies, so you may end up with sticky glue on your webcam after removing the sticker (maybe that's good though if it falls off by accident)