June 2023 Archive
19411.
19412.
19413.
Theorem Proving in Coq (kuruczgy.com)
19414.
19415.
19416.
Particle Clicker: CERN's Cookie Clicker (particle-clicker.web.cern.ch)
19417.
19418.
19419.
19420.
19421.
19422.
19423.
19424.
19425.
19426.
19427.
19428.
19429.
AI Fails Insider Trading Test (integrity-research.com)
19430.
19431.
19432.
An Introduction to Parser Combinators (blog.varunramesh.net)
19433.
19434.
19435.
The Poison Book Project (en.wikipedia.org)
19436.
19437.
19438.
19439.
19440.