matteohorvath

Karma: 5
Created: 2 years ago

Recent Submissions

1. ▲ High-Throughput Lean 4 Autoformalization Model for Local Inference (meshapplied.com) 4 points · 22 days ago · 1 comment
2. ▲ 1971 (wtfhappenedin1971.com) 6 points · 3 months ago · 1 comment
3. ▲ Show HN: Building an Online Hackerlab (growmesh.io) 1 point · 1 year ago · 0 comments
4. ▲ Show HN: GenMeme App for Viral Memes (genmeme.app) 2 points · 1 year ago · 0 comments

All submissions on HN · View profile on HN