Lobsters
@lobsters@mastodon.social
Feed for stories that have reached the front page of lobste.rs.
mastodon.social
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
0
0
0
Lobsters
@lobsters@mastodon.social
Feed for stories that have reached the front page of lobste.rs.
mastodon.social
Shibuya – Haskell Data Pipelines https://lobste.rs/s/oyj3nd #haskell
https://github.com/shinzui/shibuya
1
0
0
Lobsters
@lobsters@mastodon.social
Feed for stories that have reached the front page of lobste.rs.
mastodon.social
corpus: self-hosted listenbrainz and last.fm frontend https://lobste.rs/s/qxhzxh #elm #haskell #vibecoding
https://github.com/mtmn/corpus
0
0
0
Lobsters
@lobsters@mastodon.social
Feed for stories that have reached the front page of lobste.rs.
mastodon.social
Optimizing xreferee with elemIndex https://lobste.rs/s/uxjpyz #haskell
https://brandonchinn178.github.io/posts/2026/04/17/optimizing-xreferee-with-elemindex/
0
0
0
Lobsters
@lobsters@mastodon.social
Feed for stories that have reached the front page of lobste.rs.
mastodon.social
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
0
0
0
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
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
@Jose_A_Alonso@mathstodon.xyz
·
Apr 10, 2026
Type-level programming is still programming. ~ Michael Chavinda. https://mchav.github.io/type-level-programming-is-still-programming/ #Haskell #FunctionalProgramming
4
0
0
Lobsters
@lobsters@mastodon.social
Feed for stories that have reached the front page of lobste.rs.
mastodon.social
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