Display options

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

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  rust  github.com  health  china  arstechnica.com  java  release  apple  linux  psychology  theguardian.com  psypost.org  security  go  google  javascript  theregister.com  database  neuroscience 
Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

Faking ADTs and GADTs in Languages That Shouldn't Have Them

4 hours ago blog.jle.im plt

The Baby Paradox in Haskell

28 days ago blog.jle.im formalmethods haskell

Faking ADTs and GADTs in Languages That Shouldn't Have Them

5 months ago blog.jle.im

Sum Types, Subtypes, and Unions

6 months ago blog.jle.im

Functors to Monads: A Story of Shapes

10 months ago blog.jle.im haskell plt

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

12 months ago blog.jle.im haskell

Haskell Nuggets: k-means ยท in Code

13 months ago blog.jle.im haskell

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

4 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

5 years ago blog.jle.im

The Functor Combinatorpedia

5 years ago blog.jle.im

Applicative Regular Expressions in Haskell using the Free Alternative

6 years ago blog.jle.im haskell

Visualizing Prequel Meme Prefix Tries with Recursion Schemes

6 years ago blog.jle.im

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

6 years ago blog.jle.im haskell

Lenses embody Products, Prisms embody Sums

7 years ago blog.jle.im

The Const Applicative and Monoids

7 years ago blog.jle.im

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

7 years ago blog.jle.im haskell

Introducing the backprop library: automatic differentiation of heterogeneous Haskell functions

7 years ago blog.jle.im haskell

Introduction to Singletons

7 years ago blog.jle.im

Typesafe Neural Networks in Haskell with Dependent Types

7 years ago blog.jle.im haskell

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

7 years ago blog.jle.im haskell

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

8 years ago blog.jle.im haskell

Verify your Typeclass Instances in Haskell Today, using Singletons!

8 years ago blog.jle.im haskell

Introducing the Hamilton library

8 years ago blog.jle.im

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

9 years ago blog.jle.im haskell

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

9 years ago blog.jle.im haskell

First Class Statements

10 years ago blog.jle.im

mtl is Not a Monad Transformer Library

10 years ago blog.jle.im monad

IO Monad Considered Harmful

10 years ago blog.jle.im monad

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

11 years ago blog.jle.im haskell

More →