1Giving LLMs a Formal Reasoning Engine for Code Analysis (opens in new tab)(yogthos.net)2fogus2mo ago0Save
2Clojure: The Documentary, official trailer [video] (opens in new tab)(youtube.com)Video324fogus3mo ago93Save
3A poker game written in PicoLisp for the Sensor Watch (opens in new tab)(thegeez.net)2fogus5mo ago0Save
4Second-Hand Bookshops in Britain: 2025 Report (opens in new tab)(wormwoodiana.blogspot.com)3fogus5mo ago0Save
7Do charity bookshops drive out other second-hand bookshops? (opens in new tab)(wormwoodiana.blogspot.com)70fogus1y ago84Save
8From Bronze to GM in miniKanren Episode 1 in an ongoing series [video] (opens in new tab)(youtube.com)Video1fogus1y ago0Save
9Second-Hand Bookshops in Britain: 2024 Report (opens in new tab)(wormwoodiana.blogspot.com)93fogus1y ago32Save
12On understanding data abstraction, revisited (2009) [pdf] (opens in new tab)(cs.utexas.edu)PDF39fogus3y ago4Save
