Table of Contents
Feed Reader
GUIX
the quietus
comonad reader
Feed Reader
GUIX
Take the Guix User and Contributor Survey
by Steve George (2024-11-10 10:01)
Build User Takeover Vulnerability (CVE-2024-52867)
by Caleb Ristvedt (2024-10-21 11:00)
The European Union must keep funding free software
by The Guix Project (2024-07-23 17:30)
Source code archiving in Guix: new publication
by Ludovic Courtès, Timothy Sample, Simon Tournier, Stefano Zacchiroli (2024-05-31 12:00)
Authenticate your Git checkouts!
by Ludovic Courtès (2024-05-07 14:14)
Adventures on the quest for long-term reproducible deployment
by Ludovic Courtès (2024-03-13 15:30)
Fixed-Output Derivation Sandbox Bypass (CVE-2024-27297)
by John Kehayias (2024-03-12 17:00)
Identifying software
by Ludovic Courtès, Maxim Cournoyer, Jan Nieuwenhuizen, Simon Tournier (2024-03-04 15:00)
the quietus
Another London: Stick in the Wheel Interviewed
by Patrick Clarke (2024-11-21 11:08)
The Poison Was the Cure: Religious Equipment by Quiet Husband
by Robert Barry (2024-11-21 06:00)
Robin Carolan – Nosferatu (Original Motion Picture Soundtrack)
by Robert Barry (2024-11-21 06:00)
Remembering J Saul Kane, by Wrongtom
by Patrick Clarke (2024-11-20 11:28)
Cahill Costello – Cahill/Costello II
by Robert Barry (2024-11-20 08:47)
Able Noise – High Tide
by Robert Barry (2024-11-20 08:42)
The Strange World Of… Laurie Anderson
by Patrick Clarke (2024-11-19 13:54)
Rum Music for November Reviewed by Jennifer Lucy Allan
by Patrick Clarke (2024-11-19 12:38)
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)