Lambda Lille @lambdalille
Lambda Lille est un Meetup qui a pour vocation d'échanger autour de la programmation fonctionnelle au sens large, de manière technique et ludique. meetup.com/LambdaLille Lille Joined December 2016-
Tweets618
-
Followers258
-
Following378
-
Likes532
🎫 Toujours pas votre billet pour #ScalaIO, le 4 novembre ? Il y aura @odersky à la keynote, ainsi que des speakers que nous avons eu l'occasion d'accueillir à Lambda Lille @NicolasRinaudo, @JulienTruffaut et @guizmaii La billeterie c'est ici scala.io
0
6
7
0
0
Lambda Lille retweeted
Announcing TezDev Paris -- July 21-23, 2022! Join builders, creators, and innovators from across the Tezos ecosystem in Paris this July for developer workshops, networking, and more. #Tezos #BlockchainEvolved Tezos.com
Lambda Lille retweeted
Yeah ! Les meetups sont de retours. Rdv le 15 mars dans nos locaux en fin de journée! Venez rencontrer l'équipe autour d'un verre et découvrir nos pratiques et outils de développement web côté frontend 🍻👩💻👨💻
Yeah ! Les meetups sont de retours. Rdv le 15 mars dans nos locaux en fin de journée! Venez rencontrer l'équipe autour d'un verre et découvrir nos pratiques et outils de développement web côté frontend 🍻👩💻👨💻
Lambda Lille retweeted
A very fine event and a great opportunity to learn more about #Tezos! And @dplaindoux, manager of @LigoLang, will share a short introduction to #Ligo 🙂🗣️ Thank you @TezosIsrael for your invitation! 🙏 #meetup #SmartContracts #blockchainevolved
Lambda Lille retweeted
Hello @ocamldiscuss perhaps your community might be interested in this? Dr Liang Wang on the publication of his new book ‘OCaml Scientific Computing’ If you’d like to know more about the book read our interview with Liang here: bit.ly/Ocaml #OCaml #computing
Lambda Lille retweeted
Our very own @gael_deest has been working on Servant recently: here's his article about the new support for Named Routes. tweag.io/blog/2022-02-2… #haskell
Lambda Remote ça commence
λ · Remote 17 c'est ce soir, on vous attend à 19h pour un super talk de @NicolasRinaudo : DSL Tagless en #Scala
λ · Remote 17 c'est ce soir, on vous attend à 19h pour un super talk de @NicolasRinaudo : DSL Tagless en #Scala https://t.co/ax3MAftKTm
λ · Remote 17 c'est demain, mais il n'est jamais trop tard pour s'inscrire #programming #Scala #meetups
λ · Remote 17 c'est demain, mais il n'est jamais trop tard pour s'inscrire #programming #Scala #meetups https://t.co/VdirwRyqIi
Pourquoi et comment écrire votre DSL Tagless en #Scala ? @NicolasRinaudo répondra à cette question, avant le célèbre "pot de l'amitié des codeurs FP Francophones"
Pourquoi et comment écrire votre DSL Tagless en #Scala ? @NicolasRinaudo répondra à cette question, avant le célèbre "pot de l'amitié des codeurs FP Francophones" https://t.co/nFGXDchGw6
📢 λ · Remote 17: DSL Tagless en #Scala 🗓️ 17 février 2022 à 19:00 online! 🧑💻 : @NicolasRinaudo meetup.com/fr-FR/LambdaLi…
Lambda Lille retweeted
🧑💻 Thanks to a @gitpod template, VSCode and our dedicated LSP, you can now easily experiment contracts development with @LigoLang in your Web browser! 👇 #tezos #SmartContracts #ligo
Lambda Lille retweeted
Pour une fois, je relaie une offre d'emploi de dev qui sort un peu de l'ordinaire, au CHU de Lille 🏥👩⚕️👨⚕️, ds l'équipe Bio Informatique! fr.indeed.com/voir-emploi?jk… J'ai envie de voir cette équipe trouver de belles personnes, si ça vous intrigue, contactez les ! RT Appréciés 🥰
📺Past and Present of Haskell – Interview with Simon Peyton Jones youtu.be/4RuLzL_q0zs
Lambda Lille retweeted
Our first guest on Functional Futures will be @Expede, the co-founder/CTO of @FISSIONcodes & the author of Witchcraft, a suite of libraries providing algebraic abstractions in Elixir! You can listen to the recording session live today at 18:30 UTC: youtube.com/watch?v=ANvPVb…
L'occasion de ressortir l'excellent talk de Valentin youtu.be/pIUgDxqgtQo
L'occasion de ressortir l'excellent talk de Valentin youtu.be/pIUgDxqgtQo
Lambda Lille retweeted
This is a talk I've always wanted to exist…and now it does! "Functional Programming for Pragmatists" Diving into the *specific, observable tradeoffs* of functional programming compared to imperative. Not just my subjective opinions; objective facts! youtu.be/3n17wHe5wEw
Benjamin Coenen 🇧�... @BnJ25
1K Followers 2K Following 🇧🇪 lost in Paris playing with @rustlang at @apollographql. Zero copy Rustacean contributing to @rust_analyzer . I'm currently lost writing compilers #wasm
Tarides @tarides_
2K Followers 231 Following We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
くつわすみえ @kutsuwasum80792
58 Followers 3K Following
Adrien Lesénéchal �... @DerugonW
4 Followers 44 Following Doing JS/TS and parser mess with MediaWiki. TBoI: R wiki admin. Other accounts: @Derugon (main), @DerugonM (music)
JoanneStrong @iYCj8Nnd69n2K
21 Followers 2K Following
mahouachi karim @karouma59
0 Followers 6 Following
⍝ 𝑓𝒮arradin �... @fsarradin
1K Followers 745 Following
El Duffo @bdusauso
230 Followers 348 Following Insane in the brain. Coding one bug at a time. Elixir lover. 7th Dan in Bullshido
Thomas Battiston @tbttstn
42 Followers 226 Following I might tweet about software. I like to play with ruby, elixir, typescript & rust
Narcisse. @narcisseuuh
238 Followers 352 Following CS Student @ Télécom SudParis | Formal Methods, Binary Analysis & Exploitation Enthusiast.
Romain Congretel @RmnCongretel
171 Followers 1K Following Blockchain 🔗 Geopolitics 🌐 Sport 🙋♂️ Wine 🍷 Ex comm guy at @Marigold_dev (#Tezos)
Marine V @Marinkaout
61 Followers 183 Following Craftwoman @octoChti ! Love coding, katas and cats !
shzmwfgwzf @asnawysl
112 Followers 4K Following Charity Volunteer, Buddhist Believer, Help those who are struggling in life and God will bless you
abstractnull | BIOB @865bLl
252 Followers 2K Following Oldskool Lisper & GOFAI/Symbolic AI believer. Formal methods. SDG SIA and other pointless stuff. A bit -just a bit- of early Husserl. Music theory on topoi.
LambdaNantes @LambdaNantes
54 Followers 14 Following LambdaNantes est une collection d'évènements (récurrents) qui s'intéressent à l'utilisation des langages 'dit Applicatifs' (ou fonctionnels).
Céline @Cline37211806
0 Followers 53 Following
Anissou @AnesFoufa
87 Followers 2K Following
Lorel @LorelO_o
17 Followers 68 Following
Emile Rolley @EmileRolley
0 Followers 169 Following
mlemesle @mlemesle_
39 Followers 91 Following Full time Rustacean, former Java back-end developer. He/Him. DMs open if you want to chat about tech !
JPMoresmau @JpMoresmau
156 Followers 561 Following Loves to code Rust during the day and play games at night. He/him. @[email protected]
Maxime D @MaximeDelannoy
96 Followers 482 Following 🖥 Project manager IT 📺 Orga DevFest Lille 🍝 Food Lover 🎤 De salle de bain
Jordy Manner @mast3rMilk
106 Followers 2K Following Adore qu'un plan se déroule sans accroc, mais a quand même choisi la carrière de développeur.
Anne-Sophie Isare @Isaanso
65 Followers 377 Following
Vilteros @vilteros
166 Followers 599 Following ✦ Senior Mobile Developer | iOS & Android ✦ Swift, Kotlin, Flutter ✦ UI/UX Lover ✦ Trumpet Player 🎺 | Runner 🏃 | Chess Player
Nicolas Lefebvre @pdeuxs
79 Followers 871 Following
LigoLANG @LigoLang
845 Followers 89 Following LIGO is a statically typed high-level smart-contract language that compiles down to Michelson. It seeks to be easy to use and safe.
Mathieu AVRIL @_Mathieu_AVRIL
123 Followers 2K Following Développeur logiciel Java, s'initie au web, au go et au craft. Si je tombe sur des ressources sympa j'essaye de retweet, have fun !
Formal Land 🌲 @FormalLand
1K Followers 2K Following Security audits for Web3 We innovate in the formal verification space to provide you with the most extensive security solution. Solidity, Rust (Solana), ZK
TzStamp @stamp_tz
60 Followers 54 Following Free cryptographic timestamp service built with the #Tezos blockchain.
beike @beikejun07
33 Followers 2K Following
Cen1 @Javiota7
625 Followers 4K Following Coach UEFA A; Málaga 💙; CSGO methodology; I write about CS training #XTZ #TEZOS
Renato Alencar @cajuinaoverflow
2K Followers 2K Following Smashing the stacks for fun and profit. Mostly into OCaml and Clojure these days, hacking stuff together until it works.
Guillaume Claret 🐻... @guillaumeclaret
510 Followers 666 Following PhD, Founder/Security researcher at Formal Land Formal verification for Web3. Solitity/Rust/ZK Discuss: https://t.co/nnHMLuXje9
André Popovitch @PopovitchAndre
109 Followers 519 Following born on a mountain raised in a cave alt account: @NickCzarnecki25
NonNonNon @Me_Kyno
52 Followers 203 Following
Thibaud Antignac @tantignac
318 Followers 468 Following 🛡️💻 #privacy #cybersecurity #dataprotection | 🦄🧘🏻♂️📷🇪🇺 he/him
Penin edouard @isthatcentered
69 Followers 399 Following Software Developer, passionate about [ "testing", "making building UIs painless and fun", "90s over the top action movies 💥" ]
Thomas Segura @ThomasSegura13
75 Followers 433 Following Tech Content Writer Clojure lover - unleash the power of the λ 🪄 🧙
![ぷろぐらま。 [Scala/ Haskell/ Arch Linux/ Android/ Chiptune/ Demo...]](https://pbs.twimg.com/profile_images/536391844922281984/79EN9Elj.jpeg)
しもむー的意味... @sm0kym0nkey
460 Followers 827 Following ぷろぐらま。 [Scala/ Haskell/ Arch Linux/ Android/ Chiptune/ Demo...]
Stefanie Schirmer @linse
1K Followers 2K Following baba yaga @DuckDuckGo, also ask me about @sfpc, @hackerschool, #MirageOS, @Etsy, she/her, they/them
Pôle Systematic @Pole_Systematic
8K Followers 8K Following Pôle européen #numérique & #DeepTech #datascience #AI #Cybersecurity #DigitalInfrastructure #Iot #DigitalEngineering #Optics #Photonics #OpenSource
Aï Maiga @ai_maiga
791 Followers 460 Following Doing Rust and Embedded @FerrousSystems 🦀 🇸🇪 CS master at KTH: "Does Rust SPARK Joy?" Safe bindings recommendations between Rust and SPARK 🦀✨"
ProductiveDev @dev_productive
446 Followers 404 Following Haskell. Purescript. Sarcasm. Leftism. Sci-fi references.
Alexis Chân Gridel @alexiscgridel
179 Followers 2K Following Founder @ecrindigital. I ship mobile apps fast. (nominated @awwwards). Delivered via partners used by major retailers (incl. @leclerc, @amazon) Ship here
Nomadic Labs @LabosNomades
12K Followers 171 Following @Tezos blockchain experts. 🐙 Working on the core development, evolution and adoption of the Tezos protocol in France, Luxembourg, Belgium and Germany.
Marigold @Marigold_Dev
2K Followers 217 Following A @Tezos core dev team Building #dapps projects Mentoring #blockchain startups #Community-centered, open DM 🙂 Newsletter 👉 https://t.co/qefVCECunP
DevLille @DevfestLille
2K Followers 3 Following Rejoignez nous le 12 et 13 Juin pour une journée de conférences accessibles sur les thèmes suivants : Web, Mobile, Cloud, DevOps, Big Data et IA.
Arthur B. (🇸🇬 i... @ArthurB
43K Followers 1K Following @Tezos co-founder w/ wife @breitwoman & Agitprop founder. Aligning ASI to not zap everyone is unsolved, that's bad. Tezos stuff, high context humor & more.
Yaron (Ron) Minsky @yminsky
16K Followers 340 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Benjamin Coenen 🇧�... @BnJ25
1K Followers 2K Following 🇧🇪 lost in Paris playing with @rustlang at @apollographql. Zero copy Rustacean contributing to @rust_analyzer . I'm currently lost writing compilers #wasm
Mara @m_ou_se
45K Followers 415 Following Rust dev, Electronics engineer, Author, @rustlang Library team lead, ADHD, Polyamorous, Lesbian, She/Her
David Leuliette @flexbox_
3K Followers 638 Following Freelance @reactnative developer. Posting @reactjs content and automating my life with AI
Sergey Tihon has gone... @sergey_tihon
4K Followers 497 Following I've gone to BlueSky: https://t.co/8P6Lb455s0
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Kaꜩleen 🚂 @breitwoman
24K Followers 556 Following Magpie with particular interests in accounting software and women’s health. Wife of @arthurb.
Quentin '🐧' ADAM @waxzce
18K Followers 9K Following CEO @clever_cloud The best velocity and resiliency cloud solution for all developers | co-founder @_icilundi | Chairman @OpenInternetPro | co-founder @Makair_fr
Tarides @tarides_
2K Followers 231 Following We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
Isaac Abraham @isaac_abraham
7K Followers 3K Following Author of Get Programming with F# and F# in Action. NET MVP. Azure. Guitar. Tottenham. Creator of 2-line PRs. British / German.
LambdaNantes @LambdaNantes
54 Followers 14 Following LambdaNantes est une collection d'évènements (récurrents) qui s'intéressent à l'utilisation des langages 'dit Applicatifs' (ou fonctionnels).
LigoLANG @LigoLang
845 Followers 89 Following LIGO is a statically typed high-level smart-contract language that compiles down to Michelson. It seeks to be easy to use and safe.
Joël Quenneville @joelquen
2K Followers 261 Following I craft software, mostly on the web. I love best practices, patterns, and functional programming.
DrNO @_Dr_NO__
277 Followers 1K Following PhD in philosophy - Half kantian - Software engineer - Punk is not dead, neither is type theory ! Views are my own.
Ningning Xie @xnningxie
4K Followers 308 Following Having fun with types! @UofTCompSci @GoogleDeepMind
TzStamp @stamp_tz
60 Followers 54 Following Free cryptographic timestamp service built with the #Tezos blockchain.
The Rocq Prover @CoqLang
2K Followers 55 Following This account is no longer used. Follow us on Mastodon at @[email protected] (https://t.co/YQ7JNBex1u) instead.
Guillaume Claret 🐻... @guillaumeclaret
510 Followers 666 Following PhD, Founder/Security researcher at Formal Land Formal verification for Web3. Solitity/Rust/ZK Discuss: https://t.co/nnHMLuXje9
Formal Land 🌲 @FormalLand
1K Followers 2K Following Security audits for Web3 We innovate in the formal verification space to provide you with the most extensive security solution. Solidity, Rust (Solana), ZK
YY @jaiyalas
161 Followers 154 Following Daydreaming occasionally, also happily stay with @marigold_dev
André Popovitch @PopovitchAndre
109 Followers 519 Following born on a mountain raised in a cave alt account: @NickCzarnecki25
🦋 hyeseong.kim @KrComet
4K Followers 3K Following Integration engineer / Open source hitchhiker / DX enthusiast • Web & WebView engineering @daangnteam • @rescriptlang compiler committer
Functional Works @Functionalworks
7K Followers 1K Following A hub for everything Functional Programming. News, tips and open source projects to help you get your next functional job. | Part of the @Workshub family
Rust Foundation @rust_foundation
40K Followers 179 Following The nonprofit dedicated to stewarding the Rust programming lang & its community 🦀 bsky: https://t.co/pURKYFM3az Mastodon: rustfoundation
Serhii Potapov @greyblake
7K Followers 353 Following Web dev (Rust/TS) and father. Building https://t.co/797K6EoE45 as my side project. Hoho.
Antonia Mobiskill @AntoMobiskill
43 Followers 154 Following Looking to connect with developers (but not only) in Lille !
Nik Graf @nikgraf
8K Followers 1K Following Passionate about Cryptography, CRDTs, React, skiing & cycling • Organizer of @ReactVienna
🦋 Jared Forsyth @jaredforsyth
6K Followers 2K Following follower of Christ. feminist. mormon. type theory, building kipos https://t.co/8skbe4jcU2 dev @KhanAcademy he/him @jaredforsyth.com on 🦋
fp-tower @TheFpTower
640 Followers 62 Following We teach functional programming to Scala developers. Checkout our first-course Foundation: https://t.co/6g08ovxb5l
Thibaud Antignac @tantignac
318 Followers 468 Following 🛡️💻 #privacy #cybersecurity #dataprotection | 🦄🧘🏻♂️📷🇪🇺 he/him
Vitaly Bragilevsky @VBragilevsky
4K Followers 406 Following Developer Advocate at @JetBrains (@rustrover, @JetBrains_Fleet). Author of Haskell in Depth https://t.co/gLENKWVA9E…
John A De Goes @jdegoes
18K Followers 1K Following CEO @ZivergeTech, CEO @GolemCloud, Exec Producer & Creator @TheUltCoder, OSS contributor @zioscala, speaker, writer. Accelerating human dominion. ✝️
phil 🫠 @_philpl
9K Followers 722 Following https://t.co/QmJOXJ4mSf on 🦋 • dev tools at @expo 𝝠 • 🗻 n+1 GraphQL/TS/React projects • 🔨 gql.tada, urql • 🐙 https://t.co/Ds9MkaBefU & https://t.co/aZl2NeIJGb
Ségolène Alquier @SegoleneAlquier
1K Followers 675 Following Freelance Software Engineer - sometimes teaching, mainly playing with React & Ruby on Rails 👩🏻💻- @42born2code alumni 🎓 - she/her
Joe Clay @17cupsofcoffee
320 Followers 304 Following not here anymore, follow me on the less bad websites: https://t.co/SGWiQ5ugZZ https://t.co/CIzTNm2eK2
Thomas Segura @ThomasSegura13
75 Followers 433 Following Tech Content Writer Clojure lover - unleash the power of the λ 🪄 🧙
Aja ❤️💜💙 @the_thagomizer
7K Followers 561 Following Programming language enthusiast, manager, and developer relations engineer. My opinions are my own. *RAWR* (she/her)
If This Then Dev @IfThisThenDev
3K Followers 218 Following Parlons technos, parlons bien. #ifttd #podcast Fait avec amour par @bibear 🎙️ sur Twitch & Youtube
Bruno @bibear
2K Followers 497 Following savvy mix of : #geek #science #tech #dev #fun #dad. Animateur #podcast #ifttd @ifthisthendev
Vincent Aranega @VincentAranega
234 Followers 439 Following Software Engineer @MetaCell interested in MDE, programming languages and VMs. Musician, I love bycicle one day a year.
Charline Grenet 🐹�... @CharlineGrnt
2K Followers 2K Following in 💕 with everything collaboration, including #MicrosoftTeams. FC sympatoche. I work at @Microsoft but views are my own. #equalitycantwait #butcoffeefirst
Stefanie Schirmer @linse
1K Followers 2K Following baba yaga @DuckDuckGo, also ask me about @sfpc, @hackerschool, #MirageOS, @Etsy, she/her, they/them
Chris Penner @chrislpenner
21K Followers 17K Following he/him | Optics By Example: https://t.co/WC3SHRY4Kl | Cunningham's law made manifest. | Building @unisonweb
Jonathan Lecointe @jonlecointe
37 Followers 236 Following Ecrit du code Abat des légumes pour se nourrir Bobo gauchiasse
Dave Herman @littlecalculist
15K Followers 405 Following Likes people & computers. Work: LinkedIn/Mozilla/JS/TC39/Rust (here I speak only for me). ❤️: @lisasilveria & @tinycalculist. Goes by dherman… elsewhere. he/him
reibitto @reibitto
1K Followers 1K Following Software developer #Scala #Haskell #FP Also love games and learning languages. Same handle on those "other apps" if you want to add me.
DUNE Network @dune_network
2K Followers 41 Following A Blockchain Platform for Enterprises built on solid basis (#tezos codebase), focusing on security and accessibility, supported by @Thegarage_paris @LabsOrigin
ProductiveDev @dev_productive
446 Followers 404 Following Haskell. Purescript. Sarcasm. Leftism. Sci-fi references.
Trends for United States
9.202 posts
57,3 B posts
4.095 posts
55 B posts
57,2 B posts
6.097 posts
55,8 B posts
11,6 B posts
21,3 B posts
52,1 B posts
11,3 B posts
2.480 posts
36,9 B posts
12,8 B posts
421 B posts
4.176 posts
41,9 B posts
340 B posts
54,2 B posts
You might like
Jules Ivanic
@guizmaii
2K Followers
Xavier Van de Woestyn...
@vdwxv
277 Followers
Ch'ti JUG
@chtijug
2K Followers
LambdaNantes
@LambdaNantes
54 Followers
Hubert SABLONNIÈRE
@hsablonniere
4K Followers
Julien Jakubowski
@jak78
2K Followers
Benjamin Coenen 🇧�...
@BnJ25
1K Followers
WeLoveDevs.com
@welovedevs
6K Followers
Basile Parent
@basileparent
55 Followers