Tries for Polynomials via @abnv@fantastic.earth https://lobste.rs/s/7jll50 #haskell #math
https://doisinkidney.com/posts/2026-04-28-poly-trie.html
0
0
0
Functional Programmers need to take a look at Zig https://lobste.rs/s/b57uhm #haskell #zig
https://pure-systems.org/posts/2026-04-29-functional-programmers-need-to-take-a-look-at-zig.html
0
0
0
Why I Still Reach for Lisp (& Scheme) Instead of Haskell https://lobste.rs/s/tzqafn #haskell #lisp #programming
https://jointhefreeworld.org/blog/articles/lisps/why-i-still-reach-for-scheme-instead-of-haskell/index.html
0
0
0
tasty-cache: Nix-style test caching for Haskell https://lobste.rs/s/xaodm9 #haskell
https://github.com/silky/tasty-cache
0
0
0
Torsten Grust on The Haskell Interlude https://lobste.rs/s/eliuli #audio #databases #haskell
https://haskell.foundation/podcast/81/
0
0
0
Golden Testing a CAD Library https://lobste.rs/s/up9qm4 #graphics #haskell #testing
https://doscienceto.it/blog/posts/2026-04-27-golden-testing-cad.html
1
0
0
Shibuya – Haskell Data Pipelines https://lobste.rs/s/oyj3nd #haskell
https://github.com/shinzui/shibuya
1
0
0
corpus: self-hosted listenbrainz and last.fm frontend https://lobste.rs/s/qxhzxh #elm #haskell #vibecoding
https://github.com/mtmn/corpus
0
0
0
Optimizing xreferee with elemIndex https://lobste.rs/s/uxjpyz #haskell
https://brandonchinn178.github.io/posts/2026/04/17/optimizing-xreferee-with-elemindex/
1
0
0
Single Module Lambda Calculus from Simply Typed to Martin Lof Type Theory https://lobste.rs/s/fwvw1q #haskell #plt
https://github.com/solomon-b/lambda-calculus-hs
5
0
2
@Jose_A_Alonso@mathstodon.xyz
·
Apr 10, 2026
José A. Alonso
@Jose_A_Alonso@mathstodon.xyz
Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).
mathstodon.xyz
Type-level programming is still programming. ~ Michael Chavinda. https://mchav.github.io/type-level-programming-is-still-programming/ #Haskell #FunctionalProgramming
4
0
0
GHC community update March 2026 https://lobste.rs/s/v2xqrn #haskell
https://discourse.haskell.org/t/ghc-community-update-march-2026/13870
0
0
0
You've seen all posts