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)

Low Culture Essay: Travis Elborough on Eric Bristow Darts Documentary, Arrows by Luke Turner (2024-12-18 07:00)
Rockfort! The Best French Music of 2024 by Patrick Clarke (2024-12-17 15:43)
Laura Cannell – A Year Of Lore by Robert Barry (2024-12-17 06:00)
The Quietus Tracks of the Year 2024 by Christian Eede (2024-12-16 10:00)
tQ’s Subscriber Playlist: Our Top 50 Tracks of 2024 by Patrick Clarke (2024-12-16 09:59)
Cate Brooks – Prismatics by Robert Barry (2024-12-16 06:00)
Rock It from the Crypt: Jordan Whiteman on the Invention of Dungeon Synth by Robert Barry (2024-12-15 06:00)
Marshland Surrealism: Rising Damp and the Golden Age of the British Sitcom by Robert Barry (2024-12-14 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)