Berlin Functional Programming Group @BerlinFPGroup
We are a diverse and friendly group of professional and hobbyist practitioners of functional programming. Support BFPG on Patreon: https://t.co/qOhSME8UZV meetup.com/Berlin-Functio… Berlin, Germany Joined April 2020-
Tweets792
-
Followers936
-
Following334
-
Likes686
The BFPG will take a summer break starting in July. But I still want to plan a picnic and happy to let others host events.
Elixir people! Can I get your thoughts on @ElixirConf talk topics? I've got 3 ideas (more detail in 🧵): 1. Architecting GenServers for testability 2. Designing an MMO game server in #elixirlang 3. A love letter to algorithms #myelixirstatus
We enjoyed @ZuriHac 2021 a lot. Thanks to all organizers, speakers and participants! The materials for our Advanced Track workshops are available here: well-typed.com/blog/2021/06/z…
Join us tomorrow evening for our first ever FP Lean Coffee! meetup.com/Berlin-Functio…
Summer reading bit.ly/haskell-in-dep…
General artificial intelligence may already exist somewhere, but isn’t doing anything because nobody has invented artificial motivation.
I can’t wait to be done with this paper on Rust verification so I can work on my thesis project (Rust verification)
If you’ve always wanted to understand how Haskell’s fix function works, I wrote a blog post just for you: rebeccaskinner.net/posts/2021-06-…
"The Dao of Functional Programming" -- see progress on github: github.com/BartoszMilewsk…
I told a new haskeller i'm helping about holes: _ and how ghc suggests ways to fill them, and he says this feature should featured big, bold and centered on Haskell's front page!
I’ve got my copy of bit.ly/haskell-in-dep…. It’s featured as Deal of the Day at manning.com/dotd, 45% discount today!
This afternoon we are releasing a new episode of Immutable Conversations @47deg 🥳 I had the opportunity to chat with @noelmarkham about all things property-based testing 47deg.com/academy/2021-0…
I'm an avid admirer of category theory and the perspectives it gives. And *enriched* category theory is lovely, too! But what is enriched category theory, you ask? Here's a new intro article on Math3ma, written in advance of sharing some new research soon! math3ma.com/blog/warming-u…
Is it possible to love programming but not really want to use computers anymore?
In Arabic, there are 12 levels of friendship. Most of our 'friends' are level 5 or below, and many of us don't have a single level 12 friend 🤯 Here are the levels: 1. Zameel - someone you have a nodding acquaintance with ⬇️
Every codebase I've seen so far has been far more complicated than any single component/language. The complexity is in the glue nowadays. Some cluster of components being type safe means diddly, the glue *is* the project.
My spring 2021 distributed systems course finished up last week, and the full set of lecture videos is now up: composition.al/CSE138-2021-03… No distributed systems background necessary. If you watch these lectures and get something out of them, I'd love to hear from you!
Hi friends! Just finished a hopefully final pass of my thesis. If anyone is up to take a look for only very, very simple mistakes (typos, grammar, citing arXiv when other versions exist, terrible spacing) I'd really appreciate it! dependenttyp.es/pdf/thesis.pdf
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala developer (author of the specs2 and registry libraries)Camarade Hécate 🪬 @TechnoEmpress
2K Followers 2K Following data-djinniyya; Bifunctor disaster; Multifarious Motherfucker; Blockchain-free zone hey/them (PP by @HuntyDraws).Talia Ringer 🟣 �.. @TaliaRinger
26K Followers 6K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, & justice. They/היא, ND, bi. די לכיבושdeech @deech
5K Followers 1K FollowingPaweł Szulc @EncodePanda
3K Followers 643 Following Haskell, 范畴论, λ, Distributed Systems, Formal MethodsMichael Snoyman @snoyberg
6K Followers 292 Following Eclectic collection of programming (mostly Rust and Haskell) and lifting (weights, children, and monads).Alejandro Serrano @trupill
4K Followers 480 Following 👨💻 Researcher at Kotlin Evolution Team 🧙♂️ Haskell wizard 📚 Author of 4 books 👨👩👦👦 +1 of @ElenaVielvaJosé A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.Alexander Granin @graninas
5K Followers 892 Following 📚 Author 🏗️ Software Architect 🎞️ FP 🧩 OOP 🎙️ Speaker 🔬 Researcher 🐪 OCaml ✒️📜🚀👽 Sci-fi&Poetry 🧠 Thinker Book: Functional Design and ArchitectureDaniel Harvey @yevrahjleinad
356 Followers 1K Following Computer user in London. All opinions sadly my own. He/him.Chris Penner @chrislpenner
23K Followers 19K Following he/him | Optics By Example: https://t.co/WC3SHRY4Kl | Cunningham's law made manifest. | Building @unisonwebdims @dimaminal
11 Followers 75 FollowingTech Programming15 @programmin1326
7 Followers 159 Followingbellyhungrybebe @bellyhungrybebe
4K Followers 1K Following Project Manager, overseeing @DashMetaverse #NFT & #web3 lover | [email protected]Hans Schenker @SchenkerHans
8 Followers 32 FollowingKshittiz Chaudhary @KshittizC54965
0 Followers 10 Followingsoft kid @tega17791
192 Followers 556 FollowingEnigma of the Stack @cannon_code
227 Followers 3K Following Tech Lover. Serving up innovative insights on coding and productivity hacks for developers.juanp @juanp6136379656
5 Followers 11 FollowingJuliet_US_ @UsJuliet54161
3 Followers 397 FollowingAwesome God @Awesome074996
10 Followers 87 FollowingSmaysmeth @smaysmeth57859
21 Followers 736 FollowingSB programming servic.. @resilientcoder3
25 Followers 265 Following provides all types programming services at super affordable pricesQuantumdev @Quantumdev4775
53 Followers 397 FollowingLennart Binscheck @LBinscheck
21 Followers 190 FollowingYesMLM @yes_mlm
57 Followers 643 Following Buy Now the Best MLM Direct Selling Programming Scripts to build your own Network Marketing platform with https://t.co/L7GKHnUbDd土豆烧熟了, @tdushoshle79967
0 Followers 103 FollowingGabriel Bernal @gabpmcp7
38 Followers 297 FollowingElara Moon @StanzaStre5147
0 Followers 36 FollowingLiath Helvetica @LiathHelvetica
29 Followers 233 Following - scala dev at mom's basement - duck enthusiast - vim enjoyer - fp adept - strongest python and microsoft hater - anime degen - almost got sued for necromancyleeuwarden @leeuwarden0411
8 Followers 373 Followingjason @jasonjifly
16 Followers 96 FollowingOBEREMPONG JUNIOR @Oberempong68699
50 Followers 229 FollowingDr.Merge @_pics2d
240 Followers 740 Following by Dr. Merge 2d animator, character designer, NFT enthusiasts, loves art. FAV BOOK: Dream Worlds FAV ARTIST: All artist FAV MOVIE: FAV ACTOR: Al PacinoMohammad Zachariah @zachar_mohammad
6 Followers 104 FollowingANTHONY GBOLAHAN @Aderinkola30638
0 Followers 7 FollowingHristijan Stevanoski @stevanoskih
6 Followers 21 FollowingRace Me Now 🚗 for .. @WerysGameStudio
1K Followers 2K Following Hi, I am a solo game dev. I am working on a new game Fast Cars Small Islands, see it on Steam https://t.co/M66pVIkJ5hRose Bohrer @rose_bohrer
492 Followers 674 Following Asst CS Prof at WPI. Interdisciplinary from PL/FM/CPS to HCI and games. 🏳️⚧️(she/her) EN/中文Guru Prasath A @guruprasath
919 Followers 4K Following A technology enthusiast & a Dvaita follower. Interested in #Startup, #Cricket, Movies, #Photography, #Ilaiyaraja Songs and Religious studies.Prog monkey @progomonkey
5 Followers 75 FollowingTrivia QuizApp - Prog.. @ReactNative12
106 Followers 401 Following #QuizApp iOS & Android: https://t.co/N30TqYidjf #programming #code #python #java #javascript #coding #trivia #quiz #js #quizlet #kahoot #quizizz #quizzland #itpseudorandomkafka @emitRandomKafka
18 Followers 3K Followinggeoff @GeoffreyHuntley
51K Followers 1K Following some random bozo that builds @canva. stay goose 🪿twoots completely unrelated to employerAlicia Zamorano @zamoranoalicia
100 Followers 1K Following Software Engineer @nisumtech, looking for new challengesDon Otunba Babatunde @donbabatee246
21 Followers 176 FollowingDemystifying Javascri.. @DemystifyingJs
0 Followers 73 Following About myself, I am a Full Stack Developer with 7+ years of Industry experience and I am here to share all my knowledge and experience with the community.Bartosz Milewski @BartoszMilewski
32K Followers 37 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]Rúnar @runarorama
11K Followers 83 Following Icelander. Eudaimonist. Individualist. Cofounder, @unisonweb. Author of Functional Programming in Scala.Dmitrii Kovanikov @ChShersh
8K Followers 113 Following 🧑💻 Senior SE at Bloomberg using OCaml 🐫 Ꚙ Autistic 📽 Content: https://t.co/6laFNyCooC Opinions are my ownGraham Hutton @haskellhutt
7K Followers 695 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴Tweag @tweagio
6K Followers 260 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.John A De Goes @jdegoes
17K Followers 979 Following CEO @ZivergeTech, CEO @GolemCloud, OSS contributor @zioscala, speaker, writer. Accelerating human dominion.Tom Sydney Kerckhove @kerckhove_ts
2K Followers 420 Following Professional Weirdo Learning American Sign LanguageMatt Parsons @mattoflambda
4K Followers 566 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala developer (author of the specs2 and registry libraries)Camarade Hécate 🪬 @TechnoEmpress
2K Followers 2K Following data-djinniyya; Bifunctor disaster; Multifarious Motherfucker; Blockchain-free zone hey/them (PP by @HuntyDraws).Edward Kmett⏏️ @kmett
14K Followers 776 Following Founder/CTO of @Positron_AI Helping @ToposInstitute I tend to talk about Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/oP135HK8LMTalia Ringer 🟣 �.. @TaliaRinger
26K Followers 6K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, & justice. They/היא, ND, bi. די לכיבושdeech @deech
5K Followers 1K FollowingInactive; Bluesky is .. @hillelogram
19K Followers 3 Following No longer on this hellsite. Newsletter: https://t.co/YrRPK2p8Pc Website: https://t.co/gePEeYpVcd Bluesky: @hillelwayne(.)comFlavius 🏴☠️ @FlavioCorpa
2K Followers 208 Following Senior Software Engineer, Haskell & Elm @Scrive 🌳 Adult chess improver #chesspunks♟️ 日本語を勉強しています(N4)🏯Joachim Breitner @nomeata
3K Followers 1 Following Has a thing for abstraction. Haskeller, Computer Scientist. Dances tango, swing and blues. Stand-up comedian and paraglider. 🦣 https://t.co/9Sjz02h8dLSatnam Singh @satnam6502
14K Followers 3K Following Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, lost in music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}Alexis King @lexi_lambda
13K Followers 25 Following Fighting for the radical belief that things can be understood • I work on Haskell and GHC at @tweagio • DMs open (but responsiveness varies) • she/her, ⚢Paweł Szulc @EncodePanda
3K Followers 643 Following Haskell, 范畴论, λ, Distributed Systems, Formal MethodsMax Bolingbroke @mbolingbroke
398 Followers 227 Following Quantitative trader and software craftsmanGuido van Rossum @gvanrossum
291K Followers 494 Following Python's BDFL-emeritus, Distinguished Engineer at Microsoft, Computer History Fellow, fully vaccinated. Opinions are my own. He/him.Jack Higgs @JackHiggs
169 Followers 2K Following I work as an Executive Director of Technology at a US Investment Bank. I'm into Latin and Ballroom Dancing, Gastronomy, Arsenal FC and Poker.Work Chronicles @_workchronicles
130K Followers 185 Following 👋 Hello. I make comics about work, with love & lots of coffee. Follow to get the comics in your feed. Join the Newsletter: https://t.co/TnlvMdBJ1KBegin Rust @beginrust
157 Followers 2 Following Learn the Rust programming language in a book targeted at new and experienced programmers alike.Functional Programmin.. @FunctionalIndia
457 Followers 294 Following Uniting Functional Programming Language enthusiasts across India. Discussions on https://t.co/dIBZ5JqZTg.Sandra Wolf 🐺 @Tornadolobo
2K Followers 1K Following Jesus is King ✝️ Wife, Mom, COO @zivergetech, CSMO @golemcloud Organizing @lambda_conf 4-10th of May 2024, Estes Park, COzio @zioscala
4K Followers 136 Following ZIO is a Type-safe composable asynchronous and concurrent programming library for Scala that is based on pure functional programmingBruce Tate: grox.io F.. @redrapids
6K Followers 1K Following Founder/trainer for Elixir at https://t.co/VbjupVQZWL. Auth: 7 Langs in 7 Wks. and Programming Phoenix LiveView. Gold looper from 'Nooga, author of Currently Away.Vlad Patryshev 🇺�.. @vpatryshev
1K Followers 649 Following Programmer. Taught logic etc at Santa Clara University. Here are all my slides and talks: https://t.co/YaBLuKh2IrAsh @ashprakasan
907 Followers 946 Following Software Engineer @ZivergeTech. Scala, FP, Distributed Systems.Taylor Allred @TaylorAllred8
31 Followers 157 Following Software Engineer | MS CS | Programming language explorerChelsea Troy @heychel.. @HeyChelseaTroy
9K Followers 981 Following Femme jock, data domme, "Notorious" @UChicagoMPCS instructor. "Smart, verbal, funny, authentic, not entirely stable." - @geepawhill any pronouns 🏳️🌈✡️Dillon Kearns 🌳 @dillontkearns
1K Followers 877 Following Author of elm-graphql. Bringing #JAMstack to #elmlang with @elm_pages. Co-host of @elmradiopodcast. I send out weekly Elm tips https://t.co/0dNfT1mdDL.Isaac Abraham @isaac_abraham
7K Followers 3K Following Author of "Get Programming with F#" and "F# in Action". Founder of @compositionalit. .NET MVP. Azure. Guitar. Tottenham. Creator of 2-line PRs. British / GermanBen Clifford @benc@ma.. @benclifford
624 Followers 2K Following LEDs. Supercomputers. Functional programming. Languages.Azalea Raad @AzaleaRaad
1K Followers 286 Following Senior Lecturer (associate prof.) @ImperialCollege. UKRI Future Leader Fellow. Researcher in programming languages & formal verification. Director of @VeTSS_RI.Joel Wikström @WikstromJoel
137 Followers 280 Following Founder Select *. Haskelling a PL for transparent data transformations. #StandWithUkraine #StopPutinNOW 🇺🇦mika | @mika@hordburh.. @autophagian
700 Followers 445 Following not here | fediverse @[email protected]Andy Hunt @PragmaticAndy
23K Followers 175 Following Sci-fi/tech author, musician, https://t.co/laKvoMssNJ newsletter. @[email protected], https://t.co/dISHbooBXv 4 better software. I don't post here anymore.Dave Thomas @pragdave
33K Followers 93 Following Programmer turned publisher (but mostly programmer)Michael Feathers @mfeathers
41K Followers 2K Following Director, R7K Research & Conveyance. Author of Working Effectively with Legacy Code.Martin Fowler @martinfowler
355K Followers 221 Following Author on Software Development. Works for Thoughtworks. Also hikes, watches theater, and plays modern board games. He/him. @[email protected]Kent Beck 🌻 @KentBeck
190K Followers 866 Following Programmer, coach coach, artist, pokerist, singer/guitarist. Learning to be me. Chief Scientist at Mechanical Orchard. Mastodon: @[email protected]Boris Mann @bmann
11K Followers 10K Following Open Source. Community. Decentralized Web. Vancouver. Elsewhere: 🐘 https://t.co/YJMVmom3yb 🦋https://t.co/PweefImVMWCeleste @cahollenbeck
2K Followers 990 Following Nontraditional computer science PhD candidate at @EdinburghUni 🏴. Former technical & creative writer.Sydney Gibson 🚛 �.. @sydgibs
3K Followers 340 Following Software Engineer @aurora_inno. Previously @MIT & @CSDatCMU. Trying to befriend Pittsburgh’s local groundhogs.Iven Marquardt @iquardt
465 Followers 324 Following Interested in IR, FPA, CAS, complexity/edge of chaos, coevolution, subjectivism, and freeridin on XThe Little Lisper @thelittlelisper
5K Followers 153 Following Interested in Common Lisp and modern lisps like ClojurePeter Seibel @peterseibel
8K Followers 3K Following monodirectional time traveler. sometimes I use my words. he/himQuickstrom @quickstrom_io
296 Followers 1 Following Quickstrom autonomously checks any type of web application. Run thousands of tests and find complex bugs. Built by @owickstrom and @kamatsu8.Bind The Gap @bind_the_gap
740 Followers 2 Following 🚅 Change here for the #FP line 📰 Modern and cosy #Haskell and FP monthly newspaper 💙 by @kowainik @chshersh @vrom911Inflex @InflexHQ
316 Followers 25 Following Inflex® is a new creative digital workspace: powerful functional language (Haskell-inspired), rich data structures (no grid!), browser-based.Radicle @radicle
35K Followers 11 Following The sovereign forge. Local-first, peer-to-peer and secure code collaboration.Textile @textileio
9K Followers 2K Following Creators of @tableland, threads, and powergate. Long-time @Filecoin & @IPFS builders. We're hiring: https://t.co/e1E91x5yUx[email protected].. @palvaro
6K Followers 2K Following I don't like it here. follow me on the other place for real talk https://t.co/NFWz0LqsOCQri @qri_io
1K Followers 5K Following Keep your data fresh & versioned with free & #opensource tools: (https://t.co/e87aiDJXUX). Join us at https://t.co/HDDZmWd8Dl & https://t.co/kGcgfM2Ug0. #FOSS for #Opendata. You can call us "Query"Niko Matsakis @nikomatsakis
14K Followers 464 Following Weird Al meets Grace Hopper. Rustacean. He/him. I work for @AWSCloud. Opinions on twitter and elsewhere are my own.Patrick Walton @pcwalton
18K Followers 560 Following Programming languages and graphics person. @[email protected]Stojan Anastasov @s_anastasov
1K Followers 2K Following Android developer, Kotlin and FP enthusiast, Real Madrid Fan! I also ride a bike, sometimes. https://t.co/8iTAxmPpjqCalling Bullshit @callin_bull
24K Followers 3K Following We're all drowning in bullshit. From @CT_Bergstrom and @JevinWest at the @UW. https://t.co/4i2HzzyMrc Book: https://t.co/QF3nsQm5FA.Burak Karakan @burakkarakann
194 Followers 229 Following software engineer, co-founder & ceo @ Bruin@BerlinFPGroup This was a fantastic session. Many thnx to @snoyberg for the live coding session
@kayvan_ @BerlinFPGroup Definitely enjoyed hanging and chatting with everyone!
📺@jdegoes exprime un point de vue intéressant sur la manière de rendre la programmation fonctionnel mainstream chez nos copains de @BerlinFPGroup youtu.be/QDleESXlZJw
Elixir people! Can I get your thoughts on @ElixirConf talk topics? I've got 3 ideas (more detail in 🧵): 1. Architecting GenServers for testability 2. Designing an MMO game server in #elixirlang 3. A love letter to algorithms #myelixirstatus
We enjoyed @ZuriHac 2021 a lot. Thanks to all organizers, speakers and participants! The materials for our Advanced Track workshops are available here: well-typed.com/blog/2021/06/z…
Summer reading bit.ly/haskell-in-dep…
I can’t wait to be done with this paper on Rust verification so I can work on my thesis project (Rust verification)
If you’ve always wanted to understand how Haskell’s fix function works, I wrote a blog post just for you: rebeccaskinner.net/posts/2021-06-…
"The Dao of Functional Programming" -- see progress on github: github.com/BartoszMilewsk…
Honestly since my Python rant two days ago I've heard from two different teams developing two different dependently typed machine learning frameworks and who knew the industrial dependent type revolution I've been waiting for would start this way I'm shook
I told a new haskeller i'm helping about holes: _ and how ghc suggests ways to fill them, and he says this feature should featured big, bold and centered on Haskell's front page!
I’ve got my copy of bit.ly/haskell-in-dep…. It’s featured as Deal of the Day at manning.com/dotd, 45% discount today!
This afternoon we are releasing a new episode of Immutable Conversations @47deg 🥳 I had the opportunity to chat with @noelmarkham about all things property-based testing 47deg.com/academy/2021-0…
@BerlinFPGroup When you have worked with computers for a certain while this is a completely normal feeling.
@BerlinFPGroup I imagine this could be the case if you love to design programming languages, or if you're into theoretical computer science
I'm an avid admirer of category theory and the perspectives it gives. And *enriched* category theory is lovely, too! But what is enriched category theory, you ask? Here's a new intro article on Math3ma, written in advance of sharing some new research soon! math3ma.com/blog/warming-u…
I'm very very excited to announce the M2 release of @unisonweb; new Doc format, new runtime, new codebase format, new codebase UI, and lots of new base library additions 🎉😎 Read more on unisonweb.org/2021/06/03/m2-… Also checkout the video of the UI of share.unison-lang.org
@mattoflambda @ChShersh @hdgarrood Done, available in GHC 9.2: downloads.haskell.org/ghc/9.2.1-alph…
It's still remarkable to me that so much of the world programs in Python. Untyped scripting languages are useful for some things, but even then, Python is like my least favorite untyped scripting language. Says something about how far people will go for good frameworks IMO