−
Table of Contents
Feed Reader
GUIX
the quietus
comonad reader
Feed Reader
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
Penelope Trappes – A Requiem
by Robert Barry (2025-04-09 05:08)
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)
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)