A benchmark for vericoding: formally verified program synthesisarxiv.org3 ポイント·投稿者 luskira·5 か月前·0 コメント
Why San Andreas Feels Bigger Than GTA 5 (Map Analysis)claritypotion.com2 ポイント·投稿者 luskira·5 か月前·0 コメント
Show HN: Analog Reader – Turn newsletters into printable newspapersanalogreader.com3 ポイント·投稿者 luskira·6 か月前·2 コメント
luskira·6 か月前·議論very 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!