A benchmark for vericoding: formally verified program synthesisarxiv.org3 points·by luskira·5 bulan yang lalu·0 comments
How to Get Lucky: Focus on the Fat Tailstaylorpearson.me3 points·by luskira·5 bulan yang lalu·1 comments
Show HN: Analog Reader – Chrome Extensionchromewebstore.google.com2 points·by luskira·5 bulan yang lalu·0 comments
Why San Andreas Feels Bigger Than GTA 5 (Map Analysis)claritypotion.com2 points·by luskira·5 bulan yang lalu·0 comments
The Lost Science of the Ajna Chakra [video]youtube.com2 points·by luskira·5 bulan yang lalu·0 comments
Show HN: Analog Reader – Turn newsletters into printable newspapersanalogreader.com3 points·by luskira·6 bulan yang lalu·2 comments
luskira·6 bulan yang lalu·discussvery interesting, mailgrip is pretty damn cool and is def a way i can see myself decluttering my inbox.My daily sync is very manual at the moment, i use analogreader, generate pdf then drag it to remarkable on the mac app haha.I can def take a look at Kindle screens and build alternate layouts for it!