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
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
Toni Sauna – 8EEFour
by Robert Barry (2024-11-14 06:00)
Excellences & Perfections: Young-Girl Forever by Sofie Royer
by Robert Barry (2024-11-14 06:00)
A Certain Ratio Unveil New EP, ‘Christmasville UK’
by Christian Eede (2024-11-13 16:26)
Colin Self Reveals New Album, ‘Respite ∞ Levity For The Nameless Ghost In Crisis’
by Christian Eede (2024-11-13 15:46)
Björk to Present New Sound Installation at Paris’ Centre Pompidou
by Christian Eede (2024-11-13 13:47)
Keeping Score: An Interview With The Body
by Patrick Clarke (2024-11-13 10:36)
Straight Hedge! Noel Gardner Reviews Punk & HC for November
by Patrick Clarke (2024-11-13 09:54)
Michaela Turcerová – alene et
by Robert Barry (2024-11-13 06: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)