Stories by amichail

How syntactic degradation became the ultimate proof of human identity on Reddit

Ask HN: Can AI breakthroughs in mathematics help non-mathematicians feel better?

Maths shows why your vote may not count the way you think it does

Long Covid symptoms linked to measurable damage in the brain's dopamine system

Ask HN: Do older programmers/CS academics view AI safety as a form of arrogance?

Doom for Commodore 64 Progress

Doom running on nothing but regex find-and-replace

Ask HN: Is there a website that tracks excessive writes to SSDs in OS/app betas?

Counter-example found by ChatGPT to the Dinitz–Garg–Goemans conjecture

WASM TeX Engines (PdfLaTeX/XeLaTeX/LuaLaTeX)

The mysterious hum heard around the world may have an explanation

You probably misunderstand the double slit experiment [video]

Real-Time LuaTeX: Recompiling Large Documents in 1ms [pdf]

Real-Time LuaTeX: Recompiling Large Documents in 1 ms [video]

LANA Project Interim Report 2026: Computer-Assisted Verification of IUT Theory [video]

What I learned inside escape room with one of the most brilliant mathematicians

Ask HN: Is AI sycophancy a way to reduce compute rather than make users happier?

Update: Mochizuki's ABC Conjecture proof is unformalizable

GPT 5.6 solved all 6 problems from IMO 2026

Toronto now has the worst air quality in the world among major cities

1 2 3 4 5 6 7 8 9 10