mihau
Joined 12 years ago
Karma
2,582
Submissions
194
Member since
Nov 29
https://github.com/myhau
View on Hacker NewsRecent submissions
Comment · 1 month ago
None of the queries I asked worked:
- "more light"
- "less light"
- "both doors should be locked"
- "if blinds are open, open back door"
Comment · 1 month ago
Really nice "proof guide": https://gaearon.github.io/conway-refinement/#/highlights
and "proof map": https://gaearon.github.io/conway-refinement/#/map/conway-ref...
Comment · 2 months ago
I expected slop, but this is really good! (both demo and write-up)
Comment · 2 months ago
what was the latest model you tried?
Comment · 3 months ago
Has anyone tried running this on Mac device? (e.g. Mac Studio Ultra)
Comment · 3 months ago
Comment · 3 months ago
30% on ARC-AGI-3