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