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
- Elaine Mitchener on Curating This Year’s Deep Time Festival by Patrick Clarke (2024-11-12 10:03)
- Something They’ll Never Have: Why Hatful of Hollow is The Smiths’ Best Album by Patrick Clarke (2024-11-12 08:00)
- The Body – The Crying Out of Things by Robert Barry (2024-11-12 06:00)
- Various Artists – Ayo Ke Disco: Boogie, Pop & Funk From The South China Sea (1974–88) by Robert Barry (2024-11-11 11:41)
- What You Give is What You Get: Paul Weller Live in London by Patrick Clarke (2024-11-11 11:38)
- Bring in the Darkness: An Interview with Norman&Corrie by Patrick Clarke (2024-11-11 10:21)
- Learning to Eat Time with One’s Ears: Simon Critchley on Music & Mysticism by Robert Barry (2024-11-08 23:52)
- SHAPE+ Artist Sofi to Release New Album, ‘AZE’ by Christian Eede (2024-11-08 15:39)
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)