Top Tweets for #FUNctionalProgramming
Readings shared June 5, 2026. https://t.co/iNT21Hqay5 #AI4Math #Agda #Autoformalization #CoqProver #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #RacketLang
Practical uses of monads in Haskell. ~ Antoine Leblanc. https://t.co/M6HflyLFNH #Haskell #FunctionalProgramming
@josevalim Congrats and big thank you for years of research, dedication, and hard work. The future of Elixir is here! 💜#elixirlang #functionalprogramming #coding
UK Racket meet-up: London 7:30pm Tuesday 19 May 2026
at The City Pride 🍕28 Farringdon Ln, London EC1R 3AU
Join us for discussion and pizza. All welcome.
https://t.co/lxkQUi2pTM
https://t.co/Y4PJgwGIlA
https://t.co/5nHdXKjjkN
#racket #lisp #scheme #functionalprogramming
Richard Feldman rewrote the #Roc compiler from scratch in #Zig.
@rtfeldman and @AnjanaVakil talk about Roc v1 being on the horizon — the first ever numbered release.
Two smart people, no slides, no filter.
👇 https://t.co/WS1DTvR1u4
#FunctionalProgramming #ProgrammingLanguages
MicroHs in the browser. ~ Lennart Augustsson. https://t.co/F4t9lDeWGr #Haskell #FunctionalProgramming
This year’s Scalar was a huge success. Here’s a quick recap of our conference. See for yourself why it’s worth coming next year: https://t.co/aWr7u2HGDG
#scala #functionalprogramming
A monadic implementation of functional logic programs. ~ Michael Hanus, Kai-Oliver Prott, Finn Teegen. https://t.co/tpjUxWuhWx #Haskell #FunctionalProgramming
Arboretum.hs: Symbolic manipulation for algebras of graphs. ~ Eugen Bronasco, Jean-Luc Falcone, Gilles Vilmart. https://t.co/mwAlmGyOhv #Haskell #FunctionalProgramming
[New Blog Post] Lifting and Lowering Functions with The Dump Calculus https://t.co/XfYy2q1fX8 #python #functionalprogramming #logic #egraphs
Why I still reach for Scheme and Lisp instead of Haskell. ~ Josep Bigorra. https://t.co/fMlah0SJTI #Haskell #Scheme #Lisp #FunctionalProgramming
Readings shared April 29, 2026. https://t.co/PFHeRXhQk9 #AI4Math #Agda #Emacs #FormalMethods #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Math
Some type constructors are tensor products. ~ Dan Piponi (sigfpe). https://t.co/n6NfKMTnsL #Haskell #FunctionalProgramming
Tries for polynomials. ~ Donnacha Oisín Kidney. https://t.co/ZusJXAolNa #Haskell #FunctionalProgramming #Math
Readings shared April 24, 2026. https://t.co/HQNNzFdY26 #AI4Math #Autoformalization #CompSci #CoqProver #FunctionalProgramming #HOL #Haskell #ITP #IsabelleHOL #LeanProver #Logic #Math #Nqthm #RocqProver
Day 10/180 of ML: Functional programming in Python — write cleaner, more predictable code.
nums = [1, 2, 3, 4, 5]
# map — transform every item
squares = list(map(lambda x: x**2, nums))
#Python #FunctionalProgramming #Coding #100DaysOfCode
![achieve71246717's tweet photo. Day 10/180 of ML: Functional programming in Python — write cleaner, more predictable code.
nums = [1, 2, 3, 4, 5]
# map — transform every item
squares = list(map(lambda x: x**2, nums))
#Python #FunctionalProgramming #Coding #100DaysOfCode https://t.co/H4WcN4lrk4](https://pbs.twimg.com/media/HGr23FsbsAELwLu.jpg)
Racket meet-up: Saturday, 2 May 2026 at 18:00 UTC
EVERYONE WELCOME 😁
Announcement, Jitsi Meet link & discussion at https://t.co/ZKzJNa08xD
#lisp #scheme #Racket #functionalprogramming #metaprogramming
Readings shared April 14, 2026. https://t.co/vEdEAGVTx8 #AI4Math #Autoformalization #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #LogicProgramming #Math #Prolog #RocqProver
Trends for you
Most Popular Users
Elon Musk 
@elonmusk
240.2M followers
Barack Obama
@barackobama
119.3M followers
Donald J. Trump
@realdonaldtrump
111.6M followers
Cristiano Ronaldo
@cristiano
108.9M followers
Narendra Modi
@narendramodi
107M followers
Rihanna
@rihanna
97.3M followers
NASA
@nasa
92.1M followers
Justin Bieber
@justinbieber
90.6M followers
KATY PERRY
@katyperry
86.8M followers
Taylor Swift
@taylorswift13
80.6M followers
Lady Gaga
@ladygaga
72.2M followers
Kim Kardashian
@kimkardashian
69.4M followers
YouTube
@youtube
68.6M followers
Virat Kohli
@imvkohli
68.5M followers
Bill Gates
@billgates
63.4M followers
The Ellen Show
@theellenshow
62.5M followers
CNN
@cnn
61.9M followers
Neymar Jr
@neymarjr
61.1M followers
X
@x
60.9M followers
Selena Gomez
@selenagomez
59.9M followers