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
- 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)
- Dennis Bovell – Sufferer Sounds by Robert Barry (2024-11-19 08:56)
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)