Search
Table of Contents
Feed Reader
GUIX
the quietus
comonad reader
Feed Reader
Edit
GUIX
‘guix substitute‘ and ‘guix pull‘ Vulnerabilities
by Caleb Ristvedt (2026-07-02 17:00)
One year with Codeberg
by Ludovic Courtès (2026-06-22 14:00)
Time travel without borders
by Ludovic Courtès (2026-05-12 15:00)
The 64-bit Hurd is Here!
by Janneke Nieuwenhuizen, Yelninei (2026-03-01 10:00)
Result of Sustain and Strengthen Fundraising
by Steve George (2026-02-17 11:00)
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)
Edit
the quietus
Shane Parish, Kenichi Iwasa and More for Italy’s Nextones Festival
by Patrick Clarke (2026-07-02 09:35)
The Price of Integrity: 30 Years of the Stakes is High by De La Soul
by John Doran (2026-07-02 08:23)
Nature Boy: Driving Through Belgium by Anton Pearson
by Robert Barry (2026-07-02 05:30)
Debt Rag – It Is Clear What’s Going On
by Robert Barry (2026-07-02 04:55)
Dinosaur Jr. Return with First Album in Five Years
by Christian Eede (2026-07-01 12:38)
Different Lives: Jodie Harsh’s Favourite Albums
by Patrick Clarke (2026-07-01 08:59)
Truck Violence – The Weathervane Is My Body
by Robert Barry (2026-07-01 07:51)
The Strange World Of… King Tubby
by John Doran (2026-07-01 06:25)
Edit
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)
Edit
User Tools
Log In
Page Tools
Edit this page
Backlinks
Back to top
Site Tools