A benchmark for vericoding: formally verified program synthesisarxiv.org3 points·by luskira·قبل 5 أشهر·0 comments
Show HN: Analog Reader – Chrome Extensionchromewebstore.google.com2 points·by luskira·قبل 5 أشهر·0 comments
Why San Andreas Feels Bigger Than GTA 5 (Map Analysis)claritypotion.com2 points·by luskira·قبل 5 أشهر·0 comments
Show HN: Analog Reader – Turn newsletters into printable newspapersanalogreader.com3 points·by luskira·قبل 6 أشهر·2 comments
luskira·قبل 6 أشهر·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!