Monthly Highlights
15301.
Multi-Token Prediction Done Right
(arxiv.org)
15302.
15303.
Proving 1 plus 1 = 2 in 616,873 lines of Lean
(github.com)
15304.
Sailing Solo Around Britain
(sites.google.com)
15305.
Heavenly delights of hashing numbers under EQUALP
(turtleware.eu)
15306.
15307.
15309.
Add a walking Ralsei to your site
(github.com)
15310.
15311.
15312.
15313.
Pulling on a Thread
(blog.hardill.me.uk)
15314.
Show HN: An animated map of the people and money in AI
(lab.ripplecolab.com)
15315.
Why macOS Git still trusts eMudhra's broken CAs, tested back end by back end
(theainewsreport.com)
15316.
15317.
15318.
Brush paint mini-game inspired by spreading liquid
(paint.gosen.me)
15319.
15320.
Flipper One Pre-Order
(flipper.net)
15321.
Pair – code walk-through like a human would
(github.com)
15322.
AI Enabled Private Equity
(nivawealth.com)
15323.
AI tools I use (avg software developer)
(fredrikmeyer.net)
15324.
Snitchie: Is Your AI a Nark?
(kristopolous.github.io)
15325.
15326.
Roman Yampolskiy 2017 Publication
(researchgate.net)
15327.
15328.
Tips to save with time of day pricing
(bchydro.com)
15329.
15330.
E-Commerce in the "Second Cold War"
(phenomenalworld.org)