Mitchell Is Typing

mvr.github.io

Optics have a very nice formulation used in some Haskell (and PureScript !) libraries; the so-called “profunctor representation”. Learners, defined a certain way , look an awful lot like some kind of two-sided or symmetric optic. Let’s see if we can devise a profunctor representation for them. This post was prompted…

Popular posts: 1
Total points: 127
HN comments: 16
Rank: #18,048 personal

Visit mvr.github.io → RSS feedOn Hacker News Jan 2026 – Jan 2026

Math & Algorithms 1

Most points Most discussed Most cited Newest

All 23-Bit Still Lifes Are Glider Constructible

2026127 points16 comments Math & Algorithms details

In the Game of Life, which still lifes can be produced by crashing gliders together? We’ve known for a few years that the answer cannot be “all of them”, because in 2022 Ilkka Törmä and Ville Salo found a patch of still life that, if it exists in the universe, must have existed since the beginning of time. And so…