Visual Category Theory by Dmitry Vostokov @DumpAnalysis is the featured bundle of ebooks 📚 on the Leanpub homepage! #ComputerScience #Mathematics #FunctionalProgramming #GraphTheory About the Bundle Category theory abstractions are very challenging to apprehend correctly,…

Elixir makes working with collections simple & clean with recursion, Enum, and |> pipelines. Feels very natural compared to loops in other languages! 🔥 Any tips for a beginner on mastering #FunctionalProgramming in #ElixirLang? 💡

I should probably also plug my #GoNotebook as I've recently stepped back from commercial work to focus on writing. So go buy a copy and keep my heating bills paid this winter :) leanpub.com/GoNotebook #Software #Go #Golang #Cryptography #FunctionalProgramming #Networking

"A monad is like a burrito 🌯 — it neatly wraps stuff inside, keeps it consistent, and still lets you add more flavor without making a mess. #FunctionalProgramming #Monad"@monad

Better Haskell stack traces via user annotations. ~ Hannes Siebenhandl, Matthew Pickering. well-typed.com/blog/2025/09/b… #Haskell #FunctionalProgramming

Readings shared September 4, 2025. jaalonso.github.io/vestigium/post… #Emacs #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #OrgMode

Practical FP in Scala by Gabriel Volpe is on sale on Leanpub! Its suggested price is $49.99; get it for $35.99 with this coupon: leanpub.com/sh/ede6tMAw @volpegabriel87 #Scala #FunctionalProgramming #Software

🚀 Exploring the power of #Monad in programming! Monads are great for managing side effects, making code cleaner and more maintainable. Stay updated with daily news and breakthroughs in #FunctionalProgramming and #SoftwareDevelopment! @monad 🫶🫶🫶

Pick our #LambdaWorld25 merch! 5 designs → 1.- T-Shirt & 2.- Tote Bag. Vote now: tally.so/r/woqQK5, before September 12th! #FunctionalProgramming #PunkDevelopment #HardcoreMonads #ScreamingforFunctors #Mytypes #LambdaCalling #LambdaFlag

Distributors (Unifying parsers, printers & grammars). ~ Eitan Chatav. github.com/morphismtech/d… #Haskell #FunctionalProgramming

#Programming #FunctionalProgramming #Monad

Readings shared September 3, 2025. jaalonso.github.io/vestigium/post… #CompSci #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #Rocq

Readings shared September 2, 2025. jaalonso.github.io/vestigium/post… #CategoryTheory #CoqProver #FunctionalProgramming #Haskell #ITP #IsabelleHOL #Math

Monads: like little containers for messy stuff, keeping the world clean while you focus on the fun parts. 🚀✨ #FunctionalProgramming

Join functional programming teams: zurl.co/A0Z9L Rewrite how you solve problems! #FunctionalProgramming #SequoiaConnect

We have two great talks lined up for the meetup this week! An Introduction to Category Theory by Anupam Jain Modules in OCaml by Sanchayan Maity Come join us #Haskell #PureScript #OCaml #Elixir #Erlang #Scala #Clojure #CategoryTheory #India #FunctionalProgramming #FPIndia

Functional Programming India 🇮🇳《ミ》λ≡ @FunctionalIndia

2 weeks ago

We have two great talks lined up for the meetup this week! An Introduction to Category Theory by Anupam Jain Modules in OCaml by Sanchayan Maity Come join us #Haskell #PureScript #OCaml #Elixir #Erlang #Scala #Clojure #CategoryTheory #India #FunctionalProgramming #FPIndia

0 0 4 398 1

Readings shared September 1, 2025. jaalonso.github.io/vestigium/post… #FunctionalProgramming #Haskell #ITP #LeanProver #Math #Mathlib #RustLang

Alpha-beta pruning is just minimax in a lattice of clamping functions. ~ Li-yao Xia. blog.poisson.chat/posts/2025-09-… #Haskell #FunctionalProgramming

Starting out with graph algorithms: Basic DFS. ~ James Bowen. mmhaskell.com/blog/2025/9/1/… #Haskell #FunctionalProgramming #RustLang

Readings shared August 31, 2025. jaalonso.github.io/vestigium/post… #FunctionalProgramming #Haskell #Math