−
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
Peter Brötzmann / John Edwards / Steve Noble / Jason Adasiewicz – The Quartet
by Robert Barry (2025-02-12 08:57)
The Strange World Of… HTRK
by Luke Turner (2025-02-12 07:00)
Moundabout – Goat Skull Table
by Robert Barry (2025-02-12 05:24)
Listen to Factory Floor MUTEK Set
by Luke Turner (2025-02-11 15:00)
Califone – The Villager’s Companion
by Robert Barry (2025-02-11 10:15)
40 Years On: The Smiths’ Meat Is Murder Revisited
by John Doran (2025-02-11 09:52)
Straight Hedge! Noel Gardner Reviews Punk & HC for February
by John Doran (2025-02-11 08:00)
Someone Disappears / Someone Reappears: Jules Reidy Interviewed
by John Doran (2025-02-10 08: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)