fogus

Recent Submissions

1. 1. ▲ Giving LLMs a Formal Reasoning Engine for Code Analysis (yogthos.net) 2 points · 10 days ago · 0 comments
2. 2. ▲ Clojure: The Documentary, official trailer [video] (youtube.com) 324 points · 1 month ago · 93 comments
3. 3. ▲ A poker game written in PicoLisp for the Sensor Watch (thegeez.net) 2 points · 3 months ago · 0 comments
4. 4. ▲ Second-Hand Bookshops in Britain: 2025 Report (wormwoodiana.blogspot.com) 3 points · 4 months ago · 0 comments
5. 5. ▲ Checkers Arcade (blog.fogus.me) 44 points · 4 months ago · 3 comments
6. 6. ▲ C.W. Blubberhouse (en.wikipedia.org) 2 points · 12 months ago · 0 comments
7. 7. ▲ Do charity bookshops drive out other second-hand bookshops? (wormwoodiana.blogspot.com) 70 points · 1 year ago · 84 comments
8. 8. ▲ From Bronze to GM in miniKanren Episode 1 in an ongoing series [video] (youtube.com) 1 point · 1 year ago · 0 comments
9. 9. ▲ Second-Hand Bookshops in Britain: 2024 Report (wormwoodiana.blogspot.com) 93 points · 1 year ago · 32 comments
10. 10. ▲ Fogus' best things and stuff of 2023 (blog.fogus.me) 2 points · 2 years ago · 0 comments