What does #FunctionalProgramming and #Python have in common? A LOT apparently.
Come join us for an offline joint #meetup between #FPIndia and #BangPypers, and find out more.
All skill levels welcome!
@fpindia.bsky.social
@fpindia.bsky.socialWhat does #FunctionalProgramming and #Python have in common? A LOT apparently.
Come join us for an offline joint #meetup between #FPIndia and #BangPypers, and find out more.
All skill levels welcome!
@news.karthihegde.devFunctional Mechanical Sympathy [video]
Discussion | hackernews | Author: surprisetalk
@programmerhumor-io.bsky.socialMy Solution To An Advent Of Code Problem From A While Back
#programming #javascript #Functionalprogramming #Adventofcode #Readability
@frenchie-sans.bsky.social
@haskman.functional.cafe.ap.brid.gyAttending #IndiaFoss on the 26th of Sep (i.e. tomorrow)? Come join us for a small and informal #FPIndia post conference gathering
@fpindia.bsky.socialAttending #IndiaFoss on the 26th of Sep (i.e. tomorrow)? Come join us for a small and informal #FPIndia post conference gathering
@jalonso.eurosky.socialReadings shared: 14-20 September, 2026. jaalonso.github.io/vestigium/po... #AI #AI4Math #Emacs #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Math #RocqProver
@jalonso.eurosky.socialSearch over algebraic graphs. ~ David Anekstein. anekstein.com/posts/2026-0... #Haskell #FunctionalProgramming
@jalonso.eurosky.socialLean metaprogramming etudes: execution is elaboration. ~ Philip Zucker. www.philipzucker.com/elab_lean/ #LeanProver #ITP #FunctionalProgramming
@programmerhumor-io.bsky.social
@fpindia.bsky.social
@dougmerritt.mathstodon.xyz.ap.brid.gyI haven't watched this yet, but it looks like an interesting analysis:
> Why Do Companies Stop Using Haskell? | Vaibhav Sagar | ZuriHac 2026
>
> OST – Ostschweizer Fachhochschule
> 2,835 views Sep 11, 2026 #Haskell #ZuriHac #functionalprogramming
>
> Why do companies stop using Haskell, even […]
@mid.nekoweb.orgthank you for watching tonight, SML is such a cute language right?? Thank you again to ulipink~sama for requesting this language!
She is currently streaming more SML content, please go support her! www.twitch.tv/ulipink
#softwareAndGameDevelopment #twitchDeveloper #functionalProgramming
@mid.nekoweb.orgTonight we take a break from our regularly scheduled LeetCode to explore Standard ML on Exercism! Can I learn SML from square 1 in under 8 hours? Let's find out! Going LIVE in 1 hour! See you soon, Goshujinsama~ 💚💚💚
@haydenbeamit.bsky.social🇸🇪🗣️ Elixir Enthusiasts in Stockholm 🗣️🇸🇪
I’m recruiting on behalf of a healthcare start-up to hire a Backend Engineer to work from their office in Stockholm, Sweden
Elixir production experience not essential
More details/apply: Beamrec.com/jobs
@5troop.bsky.socialDynamic typing, mutability, object oriented programming are all bad choices for agentic feedback loops. #Functionalprogramming languages with #algebraicdatatypes, #immutability are more viable because they avoid classes of errors and provide detailed compile-time feedback.
2/3
@programmerhumor-io.bsky.social
@alvinashcraft.comWorse is better: C# versus F# by Mark Seemann
@frankel.wsocial.euBeyond #Lambdas: Raising the #Abstraction Level of Functional Code
@frankel.chBeyond #Lambdas: Raising the #Abstraction Level of Functional Code