Monthly Highlights
1261.
Inside Polymarket's paid quote-retweet esports program
(readergrev.com)
1262.
Results from the ASIC puzzle
(blog.janestreet.com)
1263.
Gitea 28.0
(blog.gitea.com)
1265.
1266.
Imp is a full port of DSPy to the BEAM
(github.com)
1267.
1268.
The Brain Sandwich
(terriblesoftware.org)
1269.
Write Like It's 1866: LLMs Relearn Telegraphese
(fiveminutesforward.com)
1270.
Living in the Weimar Era of Ruby
(blog.julik.nl)
1271.
Finally, A True Blue Rose Exists
(sciencenews.org)
1272.
Show HN: Our space game has a built-in RISC-V emulator that runs Linux
(againstallodds.games)
1273.
1274.
1275.
How to Formalize All of Mathematics
(xenaproject.wordpress.com)
1276.
1277.
Regex visualized as 3D marble run
(regexmarblerun.com)
1278.
AlphaNIST
(alpha-nist.github.io)
1279.
I built the RealWorld app in Lean 4
(leangineer.com)
1281.
1282.
On AI writing
(bolkunov.com)
1283.
Show HN: Thoreau BASIC – What if BASIC hadn't gone out of fashion?
(thoreaubasic.com)
1284.
Once: Cache CLI commands
(github.com)
1285.
Calling the AI bluff: Adding "Do not guess" cut made-up claims from 71% to 20%
(earnanhonestdollar.com)
1286.
Steal My Bitcoin
(stealmybitcoin.com)
1287.
Prompt injection in HTTP headers: what 217M web responses show
(signalscorps.com)
1288.
Beyond the &
(lwn.net)
1289.
Fragment of oldest known peace treaty found in Turkey
(livescience.com)
1290.
British Airways: Filming Crew W Meta Glasses Could Get Your Tickets Cancelled
(liveandletsfly.com)