HackerTrans
TopNewTrendsCommentsPastAskShowJobs

xjm

no profile record

Submissions

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

everybody.codes
1 points·by xjm·8 tháng trước·0 comments

comments

xjm
·tháng trước·discuss
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 tháng trước·discuss
Webpage of the text without the intro paragraph

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

Loving it so far!
xjm
·7 tháng trước·discuss
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 tháng trước·discuss
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 tháng trước·discuss
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 tháng trước·discuss
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 tháng trước·discuss
> 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.