1A benchmark for vericoding: formally verified program synthesis (opens in new tab)(arxiv.org)3luskira1mo ago0
3Show HN: Analog Reader – Chrome Extension (opens in new tab)(chromewebstore.google.com)2luskira1mo ago0
4Why San Andreas Feels Bigger Than GTA 5 (Map Analysis) (opens in new tab)(claritypotion.com)2luskira1mo ago0
6Show HN: Analog Reader – Turn newsletters into printable newspapers (opens in new tab)(analogreader.com)3luskira2mo ago2
7Multipotentialites, Creative Envy and the Will to Be Great at Something (opens in new tab)(lucas-schiavini.com)1luskira7mo ago0
8A Stroke of Genius: Striving for Greatness in All You Do by R.W. Hamming (opens in new tab)(cs.utexas.edu)3luskira8mo ago0
11The Work Life of Developers: Activities, Switches and Perceived Productivity [pdf] (opens in new tab)(gwern.net)3luskira1y ago1
