chasingbrains's comments | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit | chasingbrains's comments

chasingbrains 20 days ago | parent | context | [–] | on: Lean now ships with verified kernels

Sorry for almost completely unrelated shower thought but: there is an opportunity to name your blog “Leanardo”

chasingbrains on Feb 24, 2025 | parent | context | [–] | on: Making any integer with four 2s

Is 7 really notoriously difficult to define?

7 = 2/2 + 2 + 2 + 2

xatax on Feb 24, 2025 | [–]

You used five twos.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact