Search
Table of Contents
Feed Reader
GUIX
the quietus
comonad reader
Feed Reader
Edit
GUIX
Update on the Guix Fundraising
by Steve George (2025-11-03 11:00)
Fundraising campaign to sustain GNU Guix
by Steve George (2025-10-03 11:00)
Privilege Escalation Vulnerability
by Caleb Ristvedt (2025-09-01 14:00)
Privilege Escalation Vulnerabilities (CVE-2025-46415, CVE-2025-46416)
by Caleb Ristvedt (2025-06-24 14:00)
A New Rust Packaging Model
by Hilton Chain (2025-06-07 21:00)
Migrating to Codeberg
by Ludovic Courtès (2025-05-11 18:30)
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)
Edit
the quietus
Reissue of the Week: CELESTE’s Morte(s) Née(s)
by John Doran (2025-12-05 09:21)
Kibrom Birhane – Lisané Bahir
by Robert Barry (2025-12-05 09:09)
New Weird Britain: 2025 in Review by Noel Gardner
by Patrick Clarke (2025-12-05 08:00)
Charles Hayward x Dälek – HAYWARDxDÄLEK
by Robert Barry (2025-12-05 06:00)
Columnfortably Numb: The Best Psych Rock of 2025
by Patrick Clarke (2025-12-04 09:48)
Low Culture Podcast: John & Luke Reflect on 2025
by Luke Turner (2025-12-04 09:23)
Inner Ear: The Best Central and Eastern European Music of 2025
by Patrick Clarke (2025-12-04 08:00)
Siriusmo – Buletten & Blumen
by Robert Barry (2025-12-04 06:14)
Edit
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)
Edit
User Tools
Log In
Page Tools
Edit this page
Backlinks
Back to top
Site Tools