luskira's submissions

1.		A benchmark for vericoding: formally verified program synthesis (arxiv.org)
		3 points by luskira 63 days ago \| past
2.		How to Get Lucky: Focus on the Fat Tails (taylorpearson.me)
		3 points by luskira 64 days ago \| past \| 1 comment
3.		Show HN: Analog Reader – Chrome Extension (chromewebstore.google.com)
		2 points by luskira 69 days ago \| past
4.		Why San Andreas Feels Bigger Than GTA 5 (Map Analysis) (claritypotion.com)
		2 points by luskira 77 days ago \| past
5.		The Lost Science of the Ajna Chakra [video] (youtube.com)
		2 points by luskira 83 days ago \| past
6.		Show HN: Analog Reader – Turn newsletters into printable newspapers (analogreader.com)
		3 points by luskira 89 days ago \| past \| 2 comments
7.		Multipotentialites, Creative Envy and the Will to Be Great at Something (lucas-schiavini.com)
		1 point by luskira 8 months ago \| past
8.		A Stroke of Genius: Striving for Greatness in All You Do by R.W. Hamming (utexas.edu)
		3 points by luskira 9 months ago \| past
9.		A Web-Based Graphics Editor for Tiny Screens (hackaday.com)
		3 points by luskira on Feb 24, 2025 \| past
10.		Better Lesson (shyamal.me)
		1 point by luskira on Jan 10, 2025 \| past \| 1 comment
11.		The Work Life of Developers: Activities, Switches and Perceived Productivity [pdf] (gwern.net)
		3 points by luskira on Nov 27, 2024 \| past \| 1 comment
12.		Show HN: Regrets.io – The Regrets Database (regrets.io)
		21 points by luskira on Nov 7, 2024 \| past \| 9 comments
13.		Why Do Day Traders Quit After 5 Months (lucas-schiavini.com)
		3 points by luskira on Oct 28, 2024 \| past

HN For You