Y Hacker News new | ask | show | jobs

user: luskira created: 2023-04-26 karma: 13 i build and i post at luskira.com submissions: A benchmark for vericoding: formally verified program synthesis 3 points | 0 comments How to Get Lucky: Focus on the Fat Tails 3 points | 1 comments Show HN: Analog Reader – Chrome Extension 2 points | 0 comments Why San Andreas Feels Bigger Than GTA 5 (Map Analysis) 2 points | 0 comments The Lost Science of the Ajna Chakra [video] 2 points | 0 comments 0 points | 0 comments 0 points | 0 comments Show HN: Analog Reader – Turn newsletters into printable newspapers 3 points | 2 comments Multipotentialites, Creative Envy and the Will to Be Great at Something 1 points | 0 comments A Stroke of Genius: Striving for Greatness in All You Do by R.W. Hamming 3 points | 0 comments A Web-Based Graphics Editor for Tiny Screens 3 points | 0 comments 0 points | 0 comments Better Lesson 1 points | 1 comments 0 points | 0 comments The Work Life of Developers: Activities, Switches and Perceived Productivity [pdf] 3 points | 1 comments Show HN: Regrets.io – The Regrets Database 21 points | 9 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Why Do Day Traders Quit After 5 Months 3 points | 0 comments 0 points | 0 comments 0 points | 0 comments