1Giving LLMs a Formal Reasoning Engine for Code Analysis (opens in new tab)(yogthos.net)2fogus16d ago0
4Second-Hand Bookshops in Britain: 2025 Report (opens in new tab)(wormwoodiana.blogspot.com)3fogus4mo ago0
7Do charity bookshops drive out other second-hand bookshops? (opens in new tab)(wormwoodiana.blogspot.com)70fogus1y ago84
8From Bronze to GM in miniKanren Episode 1 in an ongoing series [video] (opens in new tab)(youtube.com)1fogus1y ago0
9Second-Hand Bookshops in Britain: 2024 Report (opens in new tab)(wormwoodiana.blogspot.com)93fogus1y ago32
12On understanding data abstraction, revisited (2009) [pdf] (opens in new tab)(cs.utexas.edu)39fogus2y ago4
