feed_reader [the libarynth]

The Shepherd 1.0.0 released! by Ludovic Courtès (2024-12-12 12:00)
Guix/Hurd on a Thinkpad X60 by Janneke Nieuwenhuizen (2024-11-24 18:00)
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)

Hyperspecific: The Best Electronic Music of 2024 by Patrick Clarke (2024-12-13 08:00)
Portugal’s SQUARE Completes 2025 Line-up by Patrick Clarke (2024-12-13 07:00)
Alice Hebborn – Saisons by Robert Barry (2024-12-13 06:00)
Baths Reveals First Studio Album Since 2017, ‘Gut’ by Christian Eede (2024-12-12 17:54)
Pulp Sign Record Deal with Rough Trade Records by Christian Eede (2024-12-12 16:56)
New Weird Britain: 2024 in Review by Noel Gardner by Patrick Clarke (2024-12-12 08:00)
UKAEA – Anarcho-Animist Frontline Weapons by Robert Barry (2024-12-12 06:00)
Where Are We Now? The Night by Saint Etienne by Robert Barry (2024-12-12 06:00)

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)