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
- Death Grips Deny Breakup Rumours in Rare Social Media Post by Christian Eede (2025-04-08 18:23)
- Turnstile Reveal New Album, ‘Never Enough’ by Christian Eede (2025-04-08 17:13)
- Posthumous Mark Stewart Album Set for Release via Mute by Christian Eede (2025-04-08 17:03)
- Stereolab Detail First Studio LP in 15 Years, ‘Instant Holograms On Metal Film’ by Christian Eede (2025-04-08 14:57)
- The Ex – If Your Mirror Breaks by Robert Barry (2025-04-08 08:30)
- Beauty and Sadness: Michelle Zauner of Japanese Breakfast’s Favourite Albums by Patrick Clarke (2025-04-08 08:26)
- Romance In The Air: Rewire 2025 Reviewed by Luke Turner (2025-04-08 07:00)
- Benefits – Constant Noise by Robert Barry (2025-04-08 05:00)
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)
nik