feed_reader [the libarynth]

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)

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)
Listen to the Subscriber Playlists for October 2024 by Luke Turner (2024-11-08 10:28)

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)