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).