HackerTrans
トップ新着トレンドコメント過去質問紹介求人

xjm

no profile record

投稿

Everybody.codes: same vibe as Advent of Code, but in November

everybody.codes
1 ポイント·投稿者 xjm·8 か月前·0 コメント

コメント

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 would happen when the model is not running, or that sentient experience spans several sessions that do not share some kind of state?

Also, a definition of consciousness is anyway hard to imagine :)
xjm
·5 か月前·議論
Webpage of the text without the intro paragraph

https://hex.ooo/library/power.html
xjm
·6 か月前·議論
Proving that a particular program terminates does not require deciding the halting problem on arbitrary programs (same for deadlock freedom)
xjm
·7 か月前·議論
It is not so obvious, some countries have a wealth tax in addition to the income tax.
xjm
·7 か月前·議論
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.
xjm
·7 か月前·議論
Part of the Advent of Compiler Optimisations https://xania.org/AoCO2025

Loving it so far!
xjm
·7 か月前·議論
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)
xjm
·8 か月前·議論
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, whereas with Δ-nets the difference is more subtle. I guess it is because the visualization has more information than with the λ-calculus.
xjm
·8 か月前·議論
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 theory, not set theory.
xjm
·8 か月前·議論
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 is not especially pleasant to read: https://chatgpt.com/share/6926f33c-8f98-8011-984e-54e49fdbb0...
xjm
·10 か月前·議論
> 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 the background while I was doing other work, I was able to write [an accurate quote]

He's right, but it sure sounds like a long fight made of small actions.