Viewing profile — mean_mistreater
mean_mistreater
HN member- Joined
- Mon, Jan 24, 2022, 8:16 PM UTC
- HN karma
- 230
- Public activity
- 9 items
- HN profile
- View on Hacker News ↗
About mean_mistreater
No profile information was provided.
Recent public activity
-
story
Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
Knuth Claude's Cycles note update: problem now fully solved, by LLMs - https://news.ycombinator.com/item?id=47306926 - March 2026 (2 comments) https://chatgpt.com/share/69aaab4b-88…
- story
- story
- story
-
comment
Comment #36289427
Described at https://jalopnik.com/1982-datsun-voice-warning-box-used-tiny...
- story
- story
- comment
- story