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