Top all-time · #8413
spike
Personal blog · supaiku.commathprogrammingai
spike is a personal blog at supaiku.com about math, programming and ai. Since 2025, 9 different Hacker News readers have linked it 9 times, most often “Attention Is Logarithmic”. It is still writing: the last post was on 2026-08-14, and you can follow it by feed.
supaiku dot com § heya! i’m spike — computer person by day, language person by night. i used to work at one of the math asi labs, but now do independent math, plt, and machine learning research.
Most-linked posts?
- Attention Is Logarithmic6 people · 6 mentions · first linked 2025-03-22
- What does a lean proof prove?3 people · 3 mentions · first linked 2025-12-12
What Hacker News says?
https://supaiku.com/attention-is-logarithmic
Comment linking /attention-is-logarithmic
on “Gemini 2.5”Submitted Attention Is Logarithmic as a story · 7 points
HN discussion> The LLM is not done until the theorem-prover says it is done - at which point we can be sure of the correctness of the assertion in the context. AFAIK there is no debate about inaccuracy with theorem-provers. Your "in the context" is doing a lot of heavy lifting here, see: - The Math Is Haunted : https://news.ycombinator.com/item?id=44739315 : https://overreacted.io/the-math-is-haunted/ - Three ways formally verif…
Comment linking /what-does-a-lean-proof-prove
on “LLMs Are Currently Not Helpful at All for Math Research: Hamkins”Submitted What does a lean proof prove? as a story · 5 points
HN discussionSubmitted What does a lean proof prove? as a story · 2 points
HN discussionSubmitted Attention Is Logarithmic as a story · 2 points
HN discussionSubmitted Attention Is Logarithmic as a story · 2 points
HN discussionSubmitted Attention Is Logarithmic as a story · 1 points
HN discussionSubmitted Attention Is Logarithmic as a story · 1 points
HN discussion
