feed_reader

GNU Guix 1.5.0 released by Noé Lopez (2026-01-23 14:00)
Meet Guix at FOSDEM by Ludovic Courtès (2026-01-22 13:00)
A Planet for Guix by Ray Miller (2025-12-05 12:00)
Update on the Guix Fundraising by Steve George (2025-11-03 11:00)
Fundraising campaign to sustain GNU Guix by Steve George (2025-10-03 11:00)
Privilege Escalation Vulnerability by Caleb Ristvedt (2025-09-01 14:00)
Privilege Escalation Vulnerabilities (CVE-2025-46415, CVE-2025-46416) by Caleb Ristvedt (2025-06-24 14:00)
A New Rust Packaging Model by Hilton Chain (2025-06-07 21:00)

Visible Cloaks Detail First Album in Nine Years, ‘Paradessence’ by Christian Eede (2026-02-17 19:15)
London Festival RALLY Announces 2026 Lineup by Christian Eede (2026-02-17 18:04)
Ana Roxanne Returns with First Solo Album in Six Years by Christian Eede (2026-02-17 17:10)
Danny L Harle – Cerulean by Robert Barry (2026-02-17 09:27)
“It’s About Time We Brought Art In, Innit?” Talk Talk’s The Colour Of Spring at 40 by John Doran (2026-02-17 08:00)
New Weird Britain in Review for February by Noel Gardner by Patrick Clarke (2026-02-17 08:00)
Tributes Paid to Ghold’s Oliver Martin by Patrick Clarke (2026-02-16 15:43)
Guest Playlist: Hen Ogledd by Patrick Clarke (2026-02-16 10:36)

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)