Submissions from jle.im

		"Five-Point Haskell" Part 1: Total Depravity (jle.im)
		5 points by jle 72 days ago \| past \| 1 comment
		Advent of Code 2025: Haskell Solution Reflections for All 12 Days (jle.im)
		4 points by todsacerdoti 3 months ago \| past
		Faking ADTs and GADTs in Languages That Shouldn't Have Them (jle.im)
		5 points by Fudgel 6 months ago \| past
		The Baby Paradox in Haskell (jle.im)
		6 points by fanf2 7 months ago \| past \| 1 comment
		The Baby Paradox in Haskell (jle.im)
		2 points by Bogdanp 7 months ago \| past
		The Baby Paradox in Haskell (jle.im)
		4 points by jle 7 months ago \| past
		Faking ADTs and GADTs in languages that shouldn't have them (jle.im)
		3 points by jle on April 1, 2025 \| past
		Sum Types and Subtypes and Unions (jle.im)
		2 points by JNRowe on March 7, 2025 \| past
		Sum Types and Subtypes and Unions (jle.im)
		2 points by jle on March 6, 2025 \| past \| 1 comment
		Functors to Monads: A Story of Shapes (jle.im)
		41 points by JNRowe on Nov 5, 2024 \| past \| 7 comments
		Functors to Monads: A Story of Shapes (jle.im)
		2 points by jle on Nov 4, 2024 \| past
		Seven Levels of Type Safety in Haskell: Lists (jle.im)
		4 points by JNRowe on Sept 5, 2024 \| past
		Haskell Nuggets: K-Means (jle.im)
		5 points by romes on July 28, 2024 \| past
		Haskell Nuggets: K-Means (jle.im)
		4 points by thunderbong on July 27, 2024 \| past
		Haskell nuggets: functional k-means with dependent types (jle.im)
		4 points by jle on July 26, 2024 \| past
		Breaking a Degenerate Hyper-Dimensional Game of Life [+ Interactive Visualizati (jle.im)
		2 points by todsacerdoti on Feb 11, 2021 \| past
		Shuffling Things Up: Solving Advent of Code with Group Theory and Haskell (jle.im)
		3 points by jle on Nov 19, 2020 \| past
		Shuffling Things Up: Applying Group Theory in Advent of Code (jle.im)
		2 points by azhenley on Nov 18, 2020 \| past
		The Mutable Library for Haskell (jle.im)
		3 points by azhenley on Jan 24, 2020 \| past
		Adjunctions in the Wild: Foldl (jle.im)
		2 points by adamnemecek on Jan 14, 2020 \| past
		The Functor Combinatorpedia (jle.im)
		3 points by g0xA52A2A on June 20, 2019 \| past
		Applicative Regular Expressions Using the Free Alternative (jle.im)
		3 points by g0xA52A2A on April 8, 2019 \| past
		Solving Advent of Code Day 5 w Group Theory (free groups, group homomorphisms) (jle.im)
		4 points by jle on Dec 6, 2018 \| past
		Purely Functional Approach to Typed Trainable Models (jle.im)
		2 points by KirinDave on June 12, 2018 \| past
		A Purely Functional Typed Approach to Trainable Models (jle.im)
		1 point by cristiandima on May 18, 2018 \| past \| 1 comment
		A Purely Functional Typed Approach to Trainable Models (jle.im)
		1 point by jle on May 14, 2018 \| past
		Typesafe Neural Networks in Haskell with Dependent Types (jle.im)
		140 points by KirinDave on Jan 7, 2018 \| past \| 18 comments
		Hamiltonian Dynamics in Haskell (jle.im)
		2 points by signa11 on Nov 28, 2017 \| past
		Hamiltonian Dynamics: Breaking Down a Haskell Project with Physics and HMatrix (jle.im)
		1 point by jle on Nov 27, 2017 \| past
		Practical Dependent Types in Haskell: Type-Safe Neural Networks (Part 1) (jle.im)
		3 points by adamnemecek on Dec 28, 2016 \| past
		More

HN For You