Hacker News: txhwind

New comment by txhwind in "Solar-based sleep patterns compared to modern norms"

txhwind — Fri, 15 May 2026 10:40:24 +0000

I really hate modern time schedule. It's nightmare to be forced to get up 6am or 7am every workday since childhood. The only relief is natural wakeup on weekend.

New comment by txhwind in "First public macOS kernel memory corruption exploit on Apple M5"

txhwind — Fri, 15 May 2026 07:06:54 +0000

another "obscurity": I'm not valuable enough to be attacked, compared with the cost. But what if cost has been reduced a lot?

New comment by txhwind in "A few words on DS4"

txhwind — Fri, 15 May 2026 07:00:39 +0000

Fucking abbreviations. Who knows it's DeepSeek, Dark Souls or DualShock? All possible on HN.

New comment by txhwind in "What Gödel Discovered (2020)"

txhwind — Thu, 02 Apr 2026 05:11:49 +0000

The proof will be more friendly to nowadays programmers if we treat all "Gödel numbers" as bytecode of a programming language. It's trivial that functions like "prove" and "subst" can be implemented based on abilities like bytecode parsing and expression tree manipulation.