user: luskira

13 karma | created 2 years ago

i build and i post at luskira.com

recent submissions

A benchmark for vericoding: formally verified program synthesis (arxiv.org)

3 pts|12 days ago|discuss

How to Get Lucky: Focus on the Fat Tails (taylorpearson.me)

3 pts|13 days ago|1 comment

Show HN: Analog Reader – Chrome Extension (chromewebstore.google.com)

2 pts|18 days ago|discuss

Why San Andreas Feels Bigger Than GTA 5 (Map Analysis) (claritypotion.com)

2 pts|26 days ago|discuss

The Lost Science of the Ajna Chakra [video] (youtube.com)

2 pts|1 month ago|discuss

(no title)

1 month ago|discuss

(no title)

1 month ago|discuss

Show HN: Analog Reader – Turn newsletters into printable newspapers (analogreader.com)

3 pts|1 month ago|2 comments

Multipotentialites, Creative Envy and the Will to Be Great at Something (lucas-schiavini.com)

1 pts|6 months ago|discuss

A Stroke of Genius: Striving for Greatness in All You Do by R.W. Hamming (cs.utexas.edu)

3 pts|7 months ago|discuss

A Web-Based Graphics Editor for Tiny Screens (hackaday.com)

3 pts|1 year ago|discuss

(no title)

1 year ago|discuss

Better Lesson (shyamal.me)

1 pts|1 year ago|1 comment

(no title)

1 year ago|discuss

The Work Life of Developers: Activities, Switches and Perceived Productivity [pdf] (gwern.net)

3 pts|1 year ago|1 comment

Show HN: Regrets.io – The Regrets Database (regrets.io)

21 pts|1 year ago|9 comments

(no title)

1 year ago|discuss

(no title)

1 year ago|discuss

(no title)

1 year ago|discuss

(no title)

1 year ago|discuss