corpus.blog
56,966 blogs · [ { "id": "01a0e34d-c384-72f7-b65e-4ae1139376d7", "title": "Live Coding — Session 26", "url": "https://comonad.com/reader/talks/live-coding-26/", "published_at": "2023-05-13T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae113afff72", "title": "Internalized Guarded Recursion for Equational Reasoning", "url": "https://comonad.com/reader/2022/internalized-guarded-recursion-for-equational-reasoning/", "published_at": "2022-10-21T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae114a0da03", "title": "Across the Kmettverse", "url": "https://comonad.com/reader/talks/kmett-2022-functional-futures/", "published_at": "2022-08-18T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae114d250fa", "title": "The current state of the Haskell Foundation", "url": "https://comonad.com/reader/talks/youtube-AweAVW4Pig8/", "published_at": "2022-01-05T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae114f96dad", "title": "Programming with Tactics", "url": "https://comonad.com/reader/talks/youtube-BiH_A36zKwI/", "published_at": "2021-10-27T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae1155b10f8", "title": "A Taste of Linear Optics", "url": "https://comonad.com/reader/talks/linear-optics-bx-2021/", "published_at": "2021-06-21T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae115d277d3", "title": "Cadenza: Building Fast Functional Languages Fast", "url": "https://comonad.com/reader/talks/cadenza-yow-2020/", "published_at": "2020-07-24T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae115de2ae7", "title": "Guanxi: Logic Programming in Haskell — Part 4 of 4", "url": "https://comonad.com/reader/talks/2019-monadic-party-guanxi-4/", "published_at": "2019-06-20T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae116c0c547", "title": "Guanxi: Logic Programming in Haskell — Part 3 of 4", "url": "https://comonad.com/reader/talks/2019-monadic-party-guanxi-3/", "published_at": "2019-06-20T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae11772e66d", "title": "Guanxi: Logic Programming in Haskell — Part 2 of 4", "url": "https://comonad.com/reader/talks/2019-monadic-party-guanxi-2/", "published_at": "2019-06-18T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae117b583b8", "title": "Guanxi: Logic Programming in Haskell — Part 1 of 4", "url": "https://comonad.com/reader/talks/2019-monadic-party-guanxi-1/", "published_at": "2019-06-18T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae117fb398a", "title": "Live Coding — Session 25: Guanxi Review", "url": "https://comonad.com/reader/talks/live-coding-25/", "published_at": "2019-04-03T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae118c21593", "title": "Live Coding — Session 24: Dancing with Decision Diagrams", "url": "https://comonad.com/reader/talks/live-coding-24/", "published_at": "2018-12-13T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae1199655c5", "title": "Live Coding — Session 23: Dancing Links, Part 2", "url": "https://comonad.com/reader/talks/live-coding-23/", "published_at": "2018-12-13T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae11a0621b4", "title": "Live Coding — Session 22: Dancing Links", "url": "https://comonad.com/reader/talks/live-coding-22/", "published_at": "2018-12-06T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae11ae27813", "title": "Live Coding — Session 21: Relational Programming, Part 6", "url": "https://comonad.com/reader/talks/live-coding-21/", "published_at": "2018-12-05T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae11bcf40dd", "title": "Live Coding — Session 20: Relational Programming, Part 5", "url": "https://comonad.com/reader/talks/live-coding-20/", "published_at": "2018-12-05T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae11c4fa399", "title": "Live Coding — Session 19: Relational Programming, Part 4 (Soul of a New Machine)", "url": "https://comonad.com/reader/talks/live-coding-19/", "published_at": "2018-11-19T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae11c5bafa6", "title": "Live Coding — Session 17: Relational Programming, Part 3", "url": "https://comonad.com/reader/talks/live-coding-17/", "published_at": "2018-11-16T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae11d4ba3e1", "title": "Live Coding — Session 18: Nominal Sets", "url": "https://comonad.com/reader/talks/live-coding-18/", "published_at": "2018-11-03T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae11e47169d", "title": "Live Coding — Session 16: Relational Programming, Part 2", "url": "https://comonad.com/reader/talks/live-coding-16/", "published_at": "2018-10-04T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae11ef3c8b4", "title": "Live Coding — Session 15: Back from ICFP", "url": "https://comonad.com/reader/talks/live-coding-15/", "published_at": "2018-10-01T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae11f7f2c4e", "title": "There and Back Again: Regular and Inverse Semigroups", "url": "https://comonad.com/reader/talks/there-and-back-again-lambda-world-2018/", "published_at": "2018-09-18T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae11fa5c0bb", "title": "Live Coding — Session 14.3: Succinct Serialization, Part 6", "url": "https://comonad.com/reader/talks/live-coding-14-3/", "published_at": "2018-08-26T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae120a224ce", "title": "Live Coding — Session 14.2: Succinct Serialization, Part 6", "url": "https://comonad.com/reader/talks/live-coding-14-2/", "published_at": "2018-08-26T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae12165c756", "title": "Live Coding — Session 14.1: Succinct Serialization, Part 6", "url": "https://comonad.com/reader/talks/live-coding-14-1/", "published_at": "2018-08-26T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae121c27810", "title": "Live Coding — Session 13: Succinct Serialization, Part 5", "url": "https://comonad.com/reader/talks/live-coding-13/", "published_at": "2018-08-25T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae12249ec1a", "title": "Live Coding — Session 12: Succinct Serialization, Part 4", "url": "https://comonad.com/reader/talks/live-coding-12/", "published_at": "2018-08-25T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae12266f58a", "title": "Live Coding — Session 11: Succinct Serialization, Part 3", "url": "https://comonad.com/reader/talks/live-coding-11/", "published_at": "2018-08-20T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae122e0865c", "title": "Live Coding — Session 10: Succinct Serialization, Part 2", "url": "https://comonad.com/reader/talks/live-coding-10/", "published_at": "2018-08-13T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae123cd6142", "title": "Live Coding — Session 9: Succinct Serialization, Part 1", "url": "https://comonad.com/reader/talks/live-coding-9/", "published_at": "2018-08-05T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae124b07453", "title": "Live Coding — Session 7: More Machines", "url": "https://comonad.com/reader/talks/live-coding-7/", "published_at": "2018-08-02T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae1253241c8", "title": "Live Coding — Session 8: Succinct Data Structures and Dynamization", "url": "https://comonad.com/reader/talks/live-coding-8/", "published_at": "2018-07-30T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae12594f096", "title": "Live Coding — Session 6: CEK Machines", "url": "https://comonad.com/reader/talks/live-coding-6/", "published_at": "2018-07-22T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae12611cfe0", "title": "Live Coding — Session 5.2: Propagators", "url": "https://comonad.com/reader/talks/live-coding-5-2/", "published_at": "2018-07-15T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae1263f4e52", "title": "Live Coding — Session 5.1: Propagators", "url": "https://comonad.com/reader/talks/live-coding-5-1/", "published_at": "2018-07-15T12:00:00+00:00" }, { "id": "01a0e34d-c384-72f7-b65e-4ae126bf3123", "title": "Live Coding — Session 4.2: Q&A", "url": "https://comonad.com/reader/talks/live-coding-4-2/", "published_at": "2018-07-08T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94be98bcc7de", "title": "Live Coding — Session 4.1: Regular and Inverse Semigroups", "url": "https://comonad.com/reader/talks/live-coding-4-1/", "published_at": "2018-07-08T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94be98d1e272", "title": "Live Coding — Session 3: Authenticated Computation", "url": "https://comonad.com/reader/talks/live-coding-3/", "published_at": "2018-07-01T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94be99aa6e96", "title": "Combinators Revisited", "url": "https://comonad.com/reader/talks/combinators-zurihac-2018/", "published_at": "2018-06-10T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94be9a3b1159", "title": "Combinators Revisited", "url": "https://comonad.com/reader/talks/combinators-yow-2018/", "published_at": "2018-05-22T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94be9a9c2a06", "title": "Live Coding — Session 2.2: Q&A", "url": "https://comonad.com/reader/talks/live-coding-2-2/", "published_at": "2018-05-06T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94be9ab54ec2", "title": "Live Coding — Session 2.1: Q&A", "url": "https://comonad.com/reader/talks/live-coding-2-1/", "published_at": "2018-05-06T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94be9ad2be6f", "title": "Live Coding — Session 1: Commutativity", "url": "https://comonad.com/reader/talks/live-coding-1/", "published_at": "2018-04-29T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94be9add9df3", "title": "Computational Quadrinitarianism (Curious Correspondences go Cubical)", "url": "https://comonad.com/reader/2018/computational-quadrinitarianism-curious-correspondences-go-cubical/", "published_at": "2018-01-16T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94be9b1af7f0", "title": "The State Comonad", "url": "https://comonad.com/reader/2018/the-state-comonad/", "published_at": "2018-01-06T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94be9b9a721b", "title": "A Walk-through of Computational Reflection in Coq", "url": "https://comonad.com/reader/talks/youtube-4BmvEInzoY0/", "published_at": "2017-11-15T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94be9beac688", "title": "Monoidal Parsing", "url": "https://comonad.com/reader/talks/youtube-090hIEiUoE0/", "published_at": "2017-10-18T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94be9cc1d77f", "title": "Algebraic Databases", "url": "https://comonad.com/reader/talks/youtube-JzShJfikr4g/", "published_at": "2017-09-20T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94be9daa4c0d", "title": "Introduction to Cryptocurrencies in Haskell", "url": "https://comonad.com/reader/talks/youtube-wjyiOXRuUdo/", "published_at": "2017-09-05T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94be9e0fa6da", "title": "SMT for DSLs: a Tutorial", "url": "https://comonad.com/reader/talks/youtube-2rhrxkNtrM4/", "published_at": "2017-08-06T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94be9f7b073e", "title": "Efficiently coding for modern CPUs", "url": "https://comonad.com/reader/talks/efficient-modern-cpus-zurihac-2017/", "published_at": "2017-06-11T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94be9ffca0ad", "title": "VR: Test Framework", "url": "https://comonad.com/reader/talks/vr-test-framework-2016/", "published_at": "2016-09-14T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94bea0ee7daf", "title": "Monad Transformer Lenses", "url": "https://comonad.com/reader/talks/monad-transformer-lenses-warsaw-2016/", "published_at": "2016-07-25T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94bea1ed1a17", "title": "Monad Homomorphisms", "url": "https://comonad.com/reader/talks/monad-homomorphisms-zurihac-2016/", "published_at": "2016-07-23T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94bea204b799", "title": "First-class implementations", "url": "https://comonad.com/reader/talks/youtube-heU8NyX5Hus/", "published_at": "2016-05-18T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94bea2385895", "title": "binary-serialize-cbor", "url": "https://comonad.com/reader/talks/youtube-Mj2cXQXgyWE/", "published_at": "2016-04-20T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94bea2b2a0c5", "title": "Probabilistic Programming Live-code", "url": "https://comonad.com/reader/talks/youtube-8YUUuZMawdY/", "published_at": "2016-04-20T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94bea36ad7ec", "title": "Composing (Music) in Haskell", "url": "https://comonad.com/reader/talks/youtube-Jmw6LLNQQfs/", "published_at": "2016-03-28T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94bea3cfd0d2", "title": "Haskell, Startups, and Domain Specific Languages", "url": "https://comonad.com/reader/talks/youtube-R4nLSxCKkNw/", "published_at": "2016-03-16T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94bea45f431f", "title": "Haskell Code Review!", "url": "https://comonad.com/reader/talks/youtube-0fyrf83pjMg/", "published_at": "2016-02-28T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94bea508acc5", "title": "Undecidable Superclasses", "url": "https://comonad.com/reader/talks/youtube-ZL9ehIJhk98/", "published_at": "2016-02-17T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94bea509e253", "title": "Dimensional", "url": "https://comonad.com/reader/talks/youtube--Kz7SYZNoUU/", "published_at": "2016-01-20T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94bea5d0b1a0", "title": "On Reflex", "url": "https://comonad.com/reader/talks/youtube-MfXxuy_CJSk/", "published_at": "2016-01-20T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94bea6d0198f", "title": "Adjoint Triples", "url": "https://comonad.com/reader/2016/adjoint-triples/", "published_at": "2016-01-13T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94bea6eaeb21", "title": "Bound", "url": "https://comonad.com/reader/2015/bound/", "published_at": "2015-12-02T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94bea7e6d2e5", "title": "Propagators", "url": "https://comonad.com/reader/talks/youtube-DyPzPeOPgUE/", "published_at": "2015-11-18T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94bea84738b6", "title": "Servant", "url": "https://comonad.com/reader/talks/youtube-rsv96JK4Vx4/", "published_at": "2015-11-04T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94bea871feba", "title": "csound-expression", "url": "https://comonad.com/reader/talks/youtube-O0oBXcwGZQY/", "published_at": "2015-10-21T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94bea90bc6bc", "title": "Fibonacci — Part 2: Open-Ended Fibonacci Search", "url": "https://comonad.com/reader/2015/fibonacci-search/", "published_at": "2015-10-13T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94bea92da06a", "title": "Some Rough Notes on Univalent Foundations and B-Systems, Part I", "url": "https://comonad.com/reader/2015/some-rough-notes-on-univalent-foundations-and-b-systems-part-i/", "published_at": "2015-09-15T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94bea9661fe2", "title": "On-line Lowest Common Ancestor", "url": "https://comonad.com/reader/2015/online-lca/", "published_at": "2015-08-27T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94beaa64dd2b", "title": "Unlifted Structures", "url": "https://comonad.com/reader/2015/unlifted-structures/", "published_at": "2015-08-27T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94beaaca5132", "title": "On the unsafety of interleaved I/O", "url": "https://comonad.com/reader/2015/on-the-unsafety-of-interleaved-io/", "published_at": "2015-07-22T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94beab041590", "title": "Discrimination is Wrong: Improving Productivity", "url": "https://comonad.com/reader/talks/discrimination-zurihac-2015/", "published_at": "2015-05-30T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94beab39503a", "title": "Moore for Less", "url": "https://comonad.com/reader/2015/moore-for-less/", "published_at": "2015-05-28T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94beabaeb0f9", "title": "Functionally Oblivious (and Succinct)", "url": "https://comonad.com/reader/talks/functionally-oblivious-ifip-2015/", "published_at": "2015-05-26T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94beac1a16fe", "title": "Categories of Structures in Haskell", "url": "https://comonad.com/reader/2015/categories-of-structures-in-haskell/", "published_at": "2015-05-25T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94beac339d35", "title": "Skete: Exploring Distributed Package Management", "url": "https://comonad.com/reader/talks/youtube-gZwMp8YXIXg/", "published_at": "2015-05-20T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94beac98b16d", "title": "How to Replace Failure by a Heap of Successes", "url": "https://comonad.com/reader/2015/heap-of-successes/", "published_at": "2015-05-02T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94bead49bba6", "title": "Domains, Sets, Traversals and Applicatives", "url": "https://comonad.com/reader/2015/domains-sets-traversals-and-applicatives/", "published_at": "2015-04-29T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94beae1a0482", "title": "Fibonacci — Part 1: Leonardo Random Access Lists", "url": "https://comonad.com/reader/2015/fibonacci-leonardo/", "published_at": "2015-04-28T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94beaef92562", "title": "Making Dependent Types Practical", "url": "https://comonad.com/reader/talks/youtube-_2jrmgO_Gq0/", "published_at": "2015-04-15T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94beafa668c7", "title": "Reflex: Practical Functional Reactive Programming", "url": "https://comonad.com/reader/talks/youtube-dOy7zIk3IUI/", "published_at": "2015-04-15T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94beb08194b5", "title": "Framing the Discussion with EDSLs", "url": "https://comonad.com/reader/talks/youtube-_KioQRICpmo/", "published_at": "2015-03-25T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94beb0ff8bb7", "title": "Free Monoids in Haskell", "url": "https://comonad.com/reader/2015/free-monoids-in-haskell/", "published_at": "2015-02-21T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94beb1dc96ce", "title": "Enigmatic Haskell, Haskellish Enigma", "url": "https://comonad.com/reader/talks/youtube-9-u2n4GgcVw/", "published_at": "2015-02-18T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94beb2811e4c", "title": "Pure Type Systems", "url": "https://comonad.com/reader/talks/youtube-ZGqKsalJi4s/", "published_at": "2015-02-18T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94beb330bf28", "title": "The free theorem for fmap", "url": "https://comonad.com/reader/2015/snippets-fmap/", "published_at": "2015-02-16T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94beb3fb2190", "title": "Type Classes vs. the World", "url": "https://comonad.com/reader/talks/youtube-hIZxTQP1ifo/", "published_at": "2015-01-21T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94beb46f6d7e", "title": "Fast Circular Substitution", "url": "https://comonad.com/reader/2014/fast-circular-substitution/", "published_at": "2014-12-30T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94beb4bc7416", "title": "Liquid Haskell", "url": "https://comonad.com/reader/talks/youtube-vYh27zz9530/", "published_at": "2014-11-19T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94beb522bef1", "title": "Revisiting Matrix Multiplication — Part V: Heaps of Performance", "url": "https://comonad.com/reader/2014/revisiting-matrix-multiplication-part-5/", "published_at": "2014-11-16T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94beb5302d5b", "title": "Quine: Shader Toys", "url": "https://comonad.com/reader/2014/quine-shader-toys/", "published_at": "2014-10-28T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94beb5aff858", "title": "Getting a Quick Fix of Comonads", "url": "https://comonad.com/reader/talks/youtube-8r1lji4Pzsg/", "published_at": "2014-09-17T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94beb6a967fd", "title": "Ur/Web", "url": "https://comonad.com/reader/talks/youtube-8n5ubDe9FAA/", "published_at": "2014-08-20T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94beb6d9e4bf", "title": "Letter to a Young Haskell Enthusiast", "url": "https://comonad.com/reader/2014/letter-to-a-young-haskell-enthusiast/", "published_at": "2014-08-01T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94beb6fb08a4", "title": "On Hask", "url": "https://comonad.com/reader/talks/kmett-2014-on-hask/", "published_at": "2014-07-16T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94beb74586d5", "title": "CUFP 2014 Call For Presentations", "url": "https://comonad.com/reader/2014/cufp-cfp/", "published_at": "2014-04-20T12:00:00+00:00" }, { "id": "01a0e34d-c385-7001-b874-94beb7c1bfe5", "title": "A Functorial Query Language", "url": "https://comonad.com/reader/talks/youtube-Q0m8baqBrk4/", "published_at": "2014-04-16T12:00:00+00:00" } ] posts Claim your blog
Back to comonad.com
Blog · corpus.blog/blogs/comonad.com/posts

comonad.com

comonad.com

2023

Live Coding — Session 26original ↗
13 May 2023

2022

Internalized Guarded Recursion for Equational Reasoningoriginal ↗
21 Oct 2022
Across the Kmettverseoriginal ↗
18 Aug 2022
The current state of the Haskell Foundationoriginal ↗
5 Jan 2022

2021

Programming with Tacticsoriginal ↗
27 Oct 2021
A Taste of Linear Opticsoriginal ↗
21 Jun 2021

2020

Cadenza: Building Fast Functional Languages Fastoriginal ↗
24 Jul 2020

2019

Guanxi: Logic Programming in Haskell — Part 4 of 4original ↗
20 Jun 2019
Guanxi: Logic Programming in Haskell — Part 3 of 4original ↗
20 Jun 2019
Guanxi: Logic Programming in Haskell — Part 2 of 4original ↗
18 Jun 2019
Guanxi: Logic Programming in Haskell — Part 1 of 4original ↗
18 Jun 2019
Live Coding — Session 25: Guanxi Revieworiginal ↗
3 Apr 2019

2018

Live Coding — Session 24: Dancing with Decision Diagramsoriginal ↗
13 Dec 2018
Live Coding — Session 23: Dancing Links, Part 2original ↗
13 Dec 2018
Live Coding — Session 22: Dancing Linksoriginal ↗
6 Dec 2018
Live Coding — Session 21: Relational Programming, Part 6original ↗
5 Dec 2018
Live Coding — Session 20: Relational Programming, Part 5original ↗
5 Dec 2018
Live Coding — Session 19: Relational Programming, Part 4 (Soul of a New Machine)original ↗
19 Nov 2018
Live Coding — Session 17: Relational Programming, Part 3original ↗
16 Nov 2018
Live Coding — Session 18: Nominal Setsoriginal ↗
3 Nov 2018
Live Coding — Session 16: Relational Programming, Part 2original ↗
4 Oct 2018
Live Coding — Session 15: Back from ICFPoriginal ↗
1 Oct 2018
There and Back Again: Regular and Inverse Semigroupsoriginal ↗
18 Sept 2018
Live Coding — Session 14.3: Succinct Serialization, Part 6original ↗
26 Aug 2018
Live Coding — Session 14.2: Succinct Serialization, Part 6original ↗
26 Aug 2018
Live Coding — Session 14.1: Succinct Serialization, Part 6original ↗
26 Aug 2018
Live Coding — Session 13: Succinct Serialization, Part 5original ↗
25 Aug 2018
Live Coding — Session 12: Succinct Serialization, Part 4original ↗
25 Aug 2018
Live Coding — Session 11: Succinct Serialization, Part 3original ↗
20 Aug 2018
Live Coding — Session 10: Succinct Serialization, Part 2original ↗
13 Aug 2018
Live Coding — Session 9: Succinct Serialization, Part 1original ↗
5 Aug 2018
Live Coding — Session 7: More Machinesoriginal ↗
2 Aug 2018
Live Coding — Session 8: Succinct Data Structures and Dynamizationoriginal ↗
30 Jul 2018
Live Coding — Session 6: CEK Machinesoriginal ↗
22 Jul 2018
Live Coding — Session 5.2: Propagatorsoriginal ↗
15 Jul 2018
Live Coding — Session 5.1: Propagatorsoriginal ↗
15 Jul 2018
Live Coding — Session 4.2: Q&Aoriginal ↗
8 Jul 2018
Live Coding — Session 4.1: Regular and Inverse Semigroupsoriginal ↗
8 Jul 2018
Live Coding — Session 3: Authenticated Computationoriginal ↗
1 Jul 2018
Combinators Revisitedoriginal ↗
10 Jun 2018
Combinators Revisitedoriginal ↗
22 May 2018
Live Coding — Session 2.2: Q&Aoriginal ↗
6 May 2018
Live Coding — Session 2.1: Q&Aoriginal ↗
6 May 2018
Live Coding — Session 1: Commutativityoriginal ↗
29 Apr 2018
Computational Quadrinitarianism (Curious Correspondences go Cubical)original ↗
16 Jan 2018
The State Comonadoriginal ↗
6 Jan 2018

2017

A Walk-through of Computational Reflection in Coqoriginal ↗
15 Nov 2017
Monoidal Parsingoriginal ↗
18 Oct 2017
Algebraic Databasesoriginal ↗
20 Sept 2017
Introduction to Cryptocurrencies in Haskelloriginal ↗
5 Sept 2017
SMT for DSLs: a Tutorialoriginal ↗
6 Aug 2017
Efficiently coding for modern CPUsoriginal ↗
11 Jun 2017

2016

VR: Test Frameworkoriginal ↗
14 Sept 2016
Monad Transformer Lensesoriginal ↗
25 Jul 2016
Monad Homomorphismsoriginal ↗
23 Jul 2016
First-class implementationsoriginal ↗
18 May 2016
binary-serialize-cbororiginal ↗
20 Apr 2016
Probabilistic Programming Live-codeoriginal ↗
20 Apr 2016
Composing (Music) in Haskelloriginal ↗
28 Mar 2016
Haskell, Startups, and Domain Specific Languagesoriginal ↗
16 Mar 2016
Haskell Code Review!original ↗
28 Feb 2016
Undecidable Superclassesoriginal ↗
17 Feb 2016
Dimensionaloriginal ↗
20 Jan 2016
On Reflexoriginal ↗
20 Jan 2016
Adjoint Triplesoriginal ↗
13 Jan 2016

2015

Boundoriginal ↗
2 Dec 2015
Propagatorsoriginal ↗
18 Nov 2015
Servantoriginal ↗
4 Nov 2015
csound-expressionoriginal ↗
21 Oct 2015
Fibonacci — Part 2: Open-Ended Fibonacci Searchoriginal ↗
13 Oct 2015
Some Rough Notes on Univalent Foundations and B-Systems, Part Ioriginal ↗
15 Sept 2015
On-line Lowest Common Ancestororiginal ↗
27 Aug 2015
Unlifted Structuresoriginal ↗
27 Aug 2015
On the unsafety of interleaved I/Ooriginal ↗
22 Jul 2015
Discrimination is Wrong: Improving Productivityoriginal ↗
30 May 2015
Moore for Lessoriginal ↗
28 May 2015
Functionally Oblivious (and Succinct)original ↗
26 May 2015
Categories of Structures in Haskelloriginal ↗
25 May 2015
Skete: Exploring Distributed Package Managementoriginal ↗
20 May 2015
How to Replace Failure by a Heap of Successesoriginal ↗
2 May 2015
Domains, Sets, Traversals and Applicativesoriginal ↗
29 Apr 2015
Fibonacci — Part 1: Leonardo Random Access Listsoriginal ↗
28 Apr 2015
Making Dependent Types Practicaloriginal ↗
15 Apr 2015
Reflex: Practical Functional Reactive Programmingoriginal ↗
15 Apr 2015
Framing the Discussion with EDSLsoriginal ↗
25 Mar 2015
Free Monoids in Haskelloriginal ↗
21 Feb 2015
Enigmatic Haskell, Haskellish Enigmaoriginal ↗
18 Feb 2015
Pure Type Systemsoriginal ↗
18 Feb 2015
The free theorem for fmaporiginal ↗
16 Feb 2015
Type Classes vs. the Worldoriginal ↗
21 Jan 2015

2014

Fast Circular Substitutionoriginal ↗
30 Dec 2014
Liquid Haskelloriginal ↗
19 Nov 2014
Revisiting Matrix Multiplication — Part V: Heaps of Performanceoriginal ↗
16 Nov 2014
Quine: Shader Toysoriginal ↗
28 Oct 2014
Getting a Quick Fix of Comonadsoriginal ↗
17 Sept 2014
Ur/Weboriginal ↗
20 Aug 2014
Letter to a Young Haskell Enthusiastoriginal ↗
1 Aug 2014
On Haskoriginal ↗
16 Jul 2014
CUFP 2014 Call For Presentationsoriginal ↗
20 Apr 2014
A Functorial Query Languageoriginal ↗
16 Apr 2014
Next