Table of Contents
Feed Reader
GUIX
- ‘guix substitute’ and ‘guix pull’ Vulnerabilities by Caleb Ristvedt (2026-07-02 17:00)
- One year with Codeberg by Ludovic Courtès (2026-06-22 14:00)
- Time travel without borders by Ludovic Courtès (2026-05-12 15:00)
- The 64-bit Hurd is Here! by Janneke Nieuwenhuizen, Yelninei (2026-03-01 10:00)
- Result of Sustain and Strengthen Fundraising by Steve George (2026-02-17 11:00)
- GNU Guix 1.5.0 released by Noé Lopez (2026-01-23 14:00)
- Meet Guix at FOSDEM by Ludovic Courtès (2026-01-22 13:00)
- A Planet for Guix by Ray Miller (2025-12-05 12:00)
the quietus
- The Coffee House World: Joni Mitchell at the BBC by Robert Barry (2026-09-05 09:30)
- The Suburbs Dream of Violence: J.G. Ballard’s Kingdom Come & England’s Slide towards Fascism by John Doran (2026-09-05 07:00)
- UK Music Industry Organisations Call on Government to Tackle EU Export Fees by Christian Eede (2026-09-04 15:45)
- Loraine James Releases Album, ‘It’s Nothing Personal.’, on Bandcamp by Christian Eede (2026-09-04 14:59)
- Pet Shop Boys Detail New Album, ‘A Man From The Future’ by Christian Eede (2026-09-04 13:09)
- The Strange World of… Music Made By and For Plants by Patrick Clarke (2026-09-04 09:47)
- Manic Street Preachers Announce New Live Album, ‘Holy Bible Live’ by Christian Eede (2026-09-04 09:00)
- Arab Strap – Half-Told Tales by Robert Barry (2026-09-04 07:18)
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)