luskira

Recent Submissions

1. 1. ▲ A benchmark for vericoding: formally verified program synthesis (arxiv.org) 3 points · 28 days ago · 0 comments
2. 2. ▲ How to Get Lucky: Focus on the Fat Tails (taylorpearson.me) 3 points · 29 days ago · 1 comment
3. 3. ▲ Show HN: Analog Reader – Chrome Extension (chromewebstore.google.com) 2 points · 1 month ago · 0 comments
4. 4. ▲ Why San Andreas Feels Bigger Than GTA 5 (Map Analysis) (claritypotion.com) 2 points · 1 month ago · 0 comments
5. 5. ▲ The Lost Science of the Ajna Chakra [video] (youtube.com) 2 points · 1 month ago · 0 comments
6. 6. ▲ Show HN: Analog Reader – Turn newsletters into printable newspapers (analogreader.com) 3 points · 1 month ago · 2 comments
7. 7. ▲ Multipotentialites, Creative Envy and the Will to Be Great at Something (lucas-schiavini.com) 1 point · 7 months ago · 0 comments
8. 8. ▲ A Stroke of Genius: Striving for Greatness in All You Do by R.W. Hamming (cs.utexas.edu) 3 points · 8 months ago · 0 comments
9. 9. ▲ A Web-Based Graphics Editor for Tiny Screens (hackaday.com) 3 points · 1 year ago · 0 comments
10. 10. ▲ Better Lesson (shyamal.me) 1 point · 1 year ago · 1 comment