stencilv Blog (George McNinch)
Here are the most recent posts
| Date | Title | Tags |
|---|---|---|
| 2024-01-07 | Spotify links for GMCD playlists | GMCD, music |
| 2022-12-27 | New GMCD 2022 | GMCD, music |
| 2022-12-20 | Audio media 2022 | music, media, podcasts |
| 2022-11-11 | Novels and non-fiction 2022 | reading, novel, sci-fi, media |
| 2022-09-21 | Dream is destiny | personal |
| 2022-03-30 | Types and proof assistants | proof-assistants, agda, haskell, type-theory |
| 2022-01-30 | Some performances | jazz |
| 2021-09-17 | Simple.JSON and Lists (rather than Arrays) | computing, purescript, json |
| 2021-09-01 | Were you blind that day? | pop-music, jazz |
| 2021-07-06 | Groups and GAP | math, GAP, computer algebra |
(the archives should have the complete list of posts).
