GUIX
- Guix User and Contributor Survey 2024: The Results (part 3) by Steve George (2025-01-28 13:00)
- Guix User and Contributor Survey 2024: The Results (part 2) by Steve George (2025-01-24 12:00)
- Meet Guix at FOSDEM by Ludovic Courtès (2025-01-21 08:30)
- Guix User and Contributor Survey 2024: The Results (part 1) by Steve George (2025-01-16 08:00)
- Adding a fully-bootstrapped Mono by unmush (2024-12-29 23:00)
- The Shepherd 1.0.0 released! by Ludovic Courtès (2024-12-12 12:00)
- Guix/Hurd on a Thinkpad X60 by Janneke Nieuwenhuizen (2024-11-24 18:00)
- Take the Guix User and Contributor Survey by Steve George (2024-11-10 10:01)
the quietus
- Echoes on the Common: South Wales, Horses, and Celtic Folk Traditions by Robert Barry (2025-03-30 05:00)
- Aliens in Anglia: The Pasts and Futures of Central European Émigré Composers in Britain by Robert Barry (2025-03-29 06:00)
- Metal Modernism Comes to Tasmania This April by John Doran (2025-03-28 12:43)
- Keepin’ It Dirty: A celebration of ODB’s Return To The 36 Chambers: The Dirty Version by John Doran (2025-03-28 11:32)
- My Bloody Valentine Announce UK Arena Shows by Christian Eede (2025-03-28 11:04)
- Music of the Month: The Best Albums and Tracks of March 2025 by Patrick Clarke (2025-03-28 09:40)
- Compilation of the Week: Volcanic Tongue by John Doran (2025-03-28 09:00)
- Playboi Carti – MUSIC by Robert Barry (2025-03-28 06:20)
comonad reader
- Internalized Guarded Recursion for Equational Reasoning by Gershom Bazerman (2022-10-21 18:32)
- Computational Quadrinitarianism (Curious Correspondences go Cubical) by Gershom Bazerman (2018-01-16 23:17)
- The State Comonad by Edward Kmett (2018-01-06 15:50)
- Adjoint Triples by Dan Doel (2016-01-14 00:02)
- Some Rough Notes on Univalent Foundations and B-Systems, Part I by Gershom Bazerman (2015-09-15 22:48)
- On the unsafety of interleaved I/O by Dan Doel (2015-07-22 15:29)
- Categories of Structures in Haskell by Dan Doel (2015-05-26 01:32)
- Domains, Sets, Traversals and Applicatives by Dan Doel (2015-04-29 07:36)