Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: github.com  ai  rust  health  google  show  youtube.com  video  apple  release  go  web  techcrunch.com  javascript  trump  nature.com  china  eurekalert.org  linux  theregister.com 

Functors to Monads: A Story of Shapes

16 days ago blog.jle.im haskell plt

7 Levels of Type Safety in Haskell: Lists, from extreme dynamic to extreme dependent

2 months ago blog.jle.im haskell

Haskell Nuggets: k-means ยท in Code

3 months ago blog.jle.im haskell

Breaking a Degenerate Hyper-Dimensional Game of Life [+ interactive visualizations and demos]

3 years ago blog.jle.im game

Shuffling things up: Solving Advent of Code with the help of Group Theory and Haskell

4 years ago blog.jle.im haskell

Adjunctions in the wild: foldl

4 years ago blog.jle.im

The Functor Combinatorpedia

5 years ago blog.jle.im

Applicative Regular Expressions in Haskell using the Free Alternative

5 years ago blog.jle.im haskell

Visualizing Prequel Meme Prefix Tries with Recursion Schemes

5 years ago blog.jle.im

"Alchemical Groups": Advent of Code using Group Theory (free groups, group homomorphisms) in Haskell

5 years ago blog.jle.im haskell

Lenses embody Products, Prisms embody Sums

6 years ago blog.jle.im

The Const Applicative and Monoids

6 years ago blog.jle.im

A Purely Functional Typed Approach to Trainable Models (Differentiable Programming in Haskell)

6 years ago blog.jle.im haskell

Introducing the backprop library: automatic differentiation of heterogeneous Haskell functions

6 years ago blog.jle.im haskell

Introduction to Singletons

6 years ago blog.jle.im

Typesafe Neural Networks in Haskell with Dependent Types

6 years ago blog.jle.im haskell

Hamiltonian Dynamics: Breaking down a Haskell project w/ physics, linear alg, datakinds, ad, hmatrix

6 years ago blog.jle.im haskell

Fixed-Length Vector Types in Haskell -- a modern treatment

7 years ago blog.jle.im haskell

Verify your Typeclass Instances in Haskell Today, using Singletons!

7 years ago blog.jle.im haskell

Introducing the Hamilton library

7 years ago blog.jle.im

Practical Dependent Types in Haskell 2: Existential Neural Networks and Types at Runtime

8 years ago blog.jle.im haskell

Practical Dependent Types in Haskell: Type-Safe Neural Networks (Part 1)

8 years ago blog.jle.im haskell

First Class Statements

9 years ago blog.jle.im

mtl is Not a Monad Transformer Library

9 years ago blog.jle.im monad

IO Monad Considered Harmful

9 years ago blog.jle.im monad

"First-class 'Statements'": Looking at IO as data, through a Haskell case study.

10 years ago blog.jle.im haskell

"I like Haskell because it lets me live inside my world"; an Ode to Functor and Monad (xpost from r/haskell)

10 years ago blog.jle.im haskell monad