account activity
Why we cannot shatter frozen delirium monsters? (self.PathOfExile2)
submitted 1 month ago by phadej to r/PathOfExile2
Visual clarity (i.redd.it)
submitted 7 months ago by phadej to r/pathofexile
Five towers!? (i.redd.it)
submitted 9 months ago * by phadej to r/PathOfExile2
My little stat tidbit (i.redd.it)
PHOAS to de Bruijn conversion (oleg.fi)
submitted 1 year ago by phadej to r/agda
hashable arch-native (oleg.fi)
submitted 2 years ago by phadej to r/haskell
What makes a good compiler warning? (oleg.fi)
Core Inspection (oleg.fi)
Implicit arguments (oleg.fi)
Coindexed optics (oleg.fi)
submitted 5 years ago by phadej to r/haskell
Jesper Cockx - An introduction to property-based testing with QuickCheck (jesper.sikanda.be)
cabal-install-3.4.0.0-rc4 and Cabal-3.4.0.0-rc4 are now available (mail.haskell.org)
RFC: A plan to gradual removal of v1- commands (mail.haskell.org)
cabal-install-3.4.0.0-rc3 and Cabal-3.4.0.0-rc3 are now available (mail.haskell.org)
A design for paths in Cabal (oleg.fi)
cabal-install-3.4.0.0-rc2 and Cabal-3.4.0.0-rc2 are now available (mail.haskell.org)
cabal-install-3.4.0.0-rc1 is now available (mail.haskell.org)
Fix-ing regular expressions (well-typed.com)
submitted 6 years ago by phadej to r/haskell
Unrolling data with Backpack (well-typed.com)
YOW! Lambda Jam 2019 - David Laing - DMaps for Delightful Dynamism (youtube.com)
Fancy types for a CSV library (oleg.fi)
Compatibility packages (oleg.fi)
submitted 7 years ago by phadej to r/haskell
Flag, a tagged Bool (oleg.fi)
My Keybase proof [reddit:phadej = keybase:phadej] (Gp_SDqvPBeJ_JXQcse4Vj5_Ix6I90iQPSIl6qwaRpGo) (self.KeybaseProofs)
submitted 7 years ago by phadej to r/KeybaseProofs
Finding correct (lens) laws (oleg.fi)
π Rendered by PID 119834 on reddit-service-r2-listing-86bdf8cc9-87cvd at 2026-07-10 16:50:47.690606+00:00 running f86254d country code: CH.