RSS feeds

22 Sep 2022Planet HaskellMonday Morning Haskell: What Makes a Good IDE?
22 Sep 2022Planet HaskellTweag I/O: Building Nix flakes from Rust workspaces
21 Sep 2022Planet HaskellLysxia's blog: The quantified constraint trick
20 Sep 2022Planet HaskellTweag I/O: Optimizing Nickel's Array Contracts
19 Sep 2022Planet HaskellMonday Morning Haskell: Haskell for High Schoolers: Paradigm Conference!
15 Sep 2022Planet HaskellMonday Morning Haskell: Everyday Applicatives!
15 Sep 2022Planet HaskellJoachim Breitner: rec-def: Dominators case study
15 Sep 2022Planet HaskellTweag I/O: How to keep a Bazel project hermetic?
14 Sep 2022Planet HaskellJoachim Breitner: rec-def: Program analysis case study
13 Sep 2022Planet HaskellMark Jason Dominus: Coat of arms of Zeppelin-Wappen
13 Sep 2022Planet HaskellTweag I/O: Construction and analysis of the build and runtime dependency graph of nixpkgs
12 Sep 2022Planet HaskellMonday Morning Haskell: My New Favorite Monad?
10 Sep 2022Planet HaskellJoachim Breitner: rec-def: Behind the scenes
08 Sep 2022Planet HaskellMark Jason Dominus: Pope Fibonacci
08 Sep 2022Planet HaskellMonday Morning Haskell: Dijkstra with Monads!
08 Sep 2022Planet HaskellTweag I/O: Functional Python, Part I: Typop├Ždia Pythonica
08 Sep 2022Planet HaskellWell-Typed.Com: Lockstep-style testing with quickcheck-dynamic
07 Sep 2022Planet HaskellGabriella Gonzalez: nix-serve-ng: A faster, more reliable, drop-in replacement for nix-serve
07 Sep 2022Planet HaskellKen T Takusagawa: [aybvgyej] prime binary truncations
03 Sep 2022Planet HaskellJoachim Breitner: More recursive definitions
01 Sep 2022Planet HaskellBrent Yorgey: Competitive programming in Haskell: Infinite 2D array
29 Aug 2022Planet HaskellGabriella Gonzalez: Stop calling everything "Nix"
29 Aug 2022Planet HaskellFP Complete: FP Complete Corporation Announces Partnership with Portworx by Pure Storage
28 Aug 2022Planet HaskellGabriella Gonzalez: Incrementally package a Haskell program using Nix
27 Aug 2022Planet HaskellBrent Yorgey: Types for top-level definitions
26 Aug 2022Planet HaskellPhilip Wadler: Help, please! Do you know any applications of my work?
23 Aug 2022Planet HaskellWell-Typed.Com: Verifying initial conditions in Plutus
22 Aug 2022Planet HaskellGHC Developer Blog: GHC 9.4.2 released
21 Aug 2022Planet HaskellMagnus Therning: Patching in Nix
16 Aug 2022Planet HaskellMatt Parsons: Dynamic Exception Reporting in Haskell
13 Aug 2022Planet HaskellChris Smith 2: Geometry, Dimensions, and Elections
12 Aug 2022Planet HaskellChris Reade: Graphs, Kites and Darts
12 Aug 2022Planet HaskellChris Reade: Diagrams for Penrose Tiles
07 Aug 2022Planet HaskellGHC Developer Blog: GHC 9.4.1 released
05 Aug 2022Planet HaskellGHC Developer Blog: Migrating from Make to Hadrian (for packagers)
05 Aug 2022Planet HaskellWell-Typed.Com: GHC activities report: June-July 2022
04 Aug 2022Planet HaskellSandy Maguire: Why Is the Web So Monotonous? Google.
03 Aug 2022Planet HaskellWell-Typed.Com: The Plutus Compilation Pipeline: Understanding Plutus Core(s)
31 Jul 2022Planet HaskellJoachim Breitner: The Via Alpina red trail through Slovenia
28 Jul 2022Planet HaskellGHC Developer Blog: GHC 9.2.4 is now available
27 Jul 2022Planet HaskellPhilip Wadler: Loose Ends
21 Jul 2022Planet HaskellGHC Developer Blog: GHC 9.4.1-rc1 released
15 Jul 2022Planet HaskellKen T Takusagawa: [pcljyxvx] infix notation decreases parentheses
09 Jul 2022Planet HaskellMagnus Therning: Playing with setting up Emacs
06 Jul 2022Planet HaskellMark Jason Dominus: Things I wish everyone knew about Git (Part II)
02 Jul 2022Planet HaskellERDI Gergo: A small benchmark for functional languages targeting web browsers
30 Jun 2022Planet HaskellPhilip Wadler: No, No, No
29 Jun 2022Planet HaskellMark Jason Dominus: Things I wish everyone knew about Git (Part I)
27 Jun 2022Planet HaskellGabriella Gonzalez: defaultable-map: An Applicative wrapper for Maps
23 Jun 2022Planet HaskellWell-Typed.Com: GHC activities report: April-May 2022
22 Jun 2022Planet HaskellOliver Charles: The list of monoids pattern
20 Jun 2022Planet HaskellBrent Yorgey: Swarm: status report
15 Jun 2022Planet HaskellMagnus Therning: Power-mode in Spacemacs
10 Jun 2022Planet HaskellGabriella Gonzalez: The appeal of bidirectional type-checking
09 Jun 2022Planet HaskellPhilip Wadler: Should PLDI join PACMPL?
06 Jun 2022Planet HaskellJeremy Gibbons: Richard Bird, 1943-2022
03 Jun 2022Planet HaskellHolden Karau: Making Hibernate work on Ubuntu 22.04 (jammy) on the Framework Laptop w/full disk encryption
03 Jun 2022Planet HaskellMark Jason Dominus: Disabling the awful Macbook screen lock key
27 May 2022Planet HaskellLysxia's blog: Formalizing finite sets
09 May 2022Planet HaskellMagnus Therning: Comments and org-static-blog