Functional Copenhageners Meetup @FunCphMeetup
We're a CPH community of functional programming enthusiasts, newbies, professionals and researchers. Our goal is to get more projects based on fun languages. meetup.com/MoedegruppeFun… Copenhagen, Denmark (EUrope) Joined February 2021-
Tweets581
-
Followers82
-
Following142
-
Likes388
Join us when we return to Prosa! After a cool series of talks at several companies and University of Copenhagen, we'll resume our monthly meetups at Prosa from this Tuesday (Februrary 28th) and forward. Hope to see you there! meetup.com/moedegruppefun…
0
2
2
644
1
Join us for this November talk at LogPoint! Dependent types modulo phase distinction by Joachim Tilsted Kristensen PhD Research Fellow meetup.com/moedegruppefun…
Join us for this dual talk @famlyhq! Talk 1: Functional Domain Modelling By Anders Marchsteiner, Staff Engineer Talk 2: Automatic SQL query building with type classes By Christian Harrington, Engineering Director #Scala #functionalprogramming meetup.com/moedegruppefun…
Functional Copenhageners Meetup retweeted
Kite is a graph editor entirely written in @elmlang. erkal.github.io/kite And it is open-source. #combinatorics #grouptheory #graphtheory #mathematics #recreationalmathematics
Functional Copenhageners Meetup retweeted
Shout out to @luca_mug for creating a beautiful @elmlang eCommerce example! Code: github.com/lucamug/elm-ec… Demo: elm-ecommerce.guupa.com
Functional Copenhageners Meetup retweeted
@alfonsogcnunez @evancz @elmlang @FableCompiler @CodingPiratesDK Setup: - 1st kid was the model (not much to do tbh) - 2nd kid was the view. Looked at the model and draw the value in the notepad - 3rd kid was interacting by pressing the post-it button. - 4th kid (update function) got event message from view, and updated the model. 🙂
Functional Copenhageners Meetup retweeted
@alfonsogcnunez and @evancz. Kidos struggled to explain how the web apps really worked. Then a few minutes with IRL: - Model: 3D white numbers - Messages: 3D blue symbols - View: Notepad with Post-it buttons and it was all crystal clear :) @elmlang @FableCompiler @codingpiratesdk
Functional Copenhageners Meetup retweeted
Hey @alfonsogcnunez Teaching seems to go really nice: gitlab.com/codingpirates/… The only thing kidos are really annoyed about, is the @vscode signature/property name suggestions. It breaks indentation and code becomes really hard to read. Do you know how to disable? (@k_cieslak)
Functional Copenhageners Meetup retweeted
The first print copy of @RealWorldOCaml v2 has been grabbed by a @marius!! He promises to leave it in a coffee shop in California where it will go viral
2015: Me at @groupmworldwide giving a demo 2019: Robert speaking about @ApacheFlink at the @GOTOcon in Amsterdam 🤔
Functional Copenhageners Meetup retweeted
I hear that the new "Little" book will be having a preorder sale at this link 7-8 September (US time zones): barnesandnoble.com/w/?ean=9780262… (use code PREORDER25) This is in the same style as The Little Schemer and The Little Typer.
Functional Copenhageners Meetup retweeted
Functional Copenhageners Meetup retweeted
Here's an example of why Haskell is such a sick language This is a complete implementation of a generic maximin algorithm in Haskell for one player versus "nature" (uncertainty), optimized using dynamic programming
Functional Copenhageners Meetup retweeted
yo i heard you like monads
Functional Copenhageners Meetup retweeted
Free BIOS achieved!!! Read the latest article by FSF senior systems administrator, Ian Kelling, about the FSF tech teams latest achievement toward freedom. u.fsf.org/3mn #libreboot #coreboot #freeBIOS
Martin Larsen @MartinLars62209
30 Followers 83 Following
john @flintwinch
0 Followers 143 Following
SetllaHerbert @qXyB1n9VSiSq53
38 Followers 4K Following
21DigitalStreet @21DigitalStreet
2 Followers 265 Following
πobody🌈 @Sharp_Lancer
419 Followers 3K Following Visual Designer. Socio-politics. Pro-igbo. Sinner/Hypocrite. Theonomy. Philosophy
usagi_zajec @usagi_zajec
12 Followers 308 Following
Shavej_saif @ShavejSaif
4 Followers 93 Following
Pravdomil @pravdomil
88 Followers 545 Following
Fahad Naveed @technaveed2008
2 Followers 33 Following I have a lot of experience with programming, computer and technology. Currently I am studying Cybersecurity and Software development
razzmatazz @razzm
270 Followers 2K Following
Ernest Ng @ngernest2
502 Followers 3K Following Programming Languages PhD student @Cornell_CS | he/him
edgarr @edgarr
154 Followers 3K Following
Valentino Picotti @Paicoz
62 Followers 440 Following 22 year old. Computer Science student. Interests: Computer Graphics, C++ and Haskell.
Almir Mesic @almirmesic
799 Followers 2K Following F#/C# dev. Domain Driven Design. Senior Software Developer at REN. Author of F# Bite-sized - an online introductory course to F#.
nhatanh @alittletyper
207 Followers 2K Following
Viet Yen Nguyen @nguyenvietyen
83 Followers 141 Following CTO at Hypefactors. Making sense by crunching the global media landscape.
Jesper L. Andersen @jlouis666
4K Followers 507 Following CS hacker, researcher, and investigator. Erlang, Ocaml, Haskell, Go. Loves concurrency, distribution, type theory, semantics, model checking, formal methods.
Develop Maths @DevelopMaths
919 Followers 2K Following British Pakistani Data Analyst #LetAfghanGirlsLearn #LetGirlsLearn #LetBoysLearn 🙏🏾 | tiktok at developmaths | https://t.co/ft2mir2QuZ | @DevelopMathsBot 👩🏽💻
xtphnmdd @xtphnmdd
47 Followers 719 Following interets : droit procedure et programmation (python, f#...)
Erkal @AzizErkalSelman
474 Followers 961 Following interested in mathematics, wants to create aha! moments via interactive visuals and puzzle games https://t.co/9zNQCBPfGt
Дмитрий @bashkamen
24 Followers 117 Following
Herr DC Lange @CarlHedgren
374 Followers 946 Following computer people Three digit IQ master race. proud neo-nmemonite and GWOD veteran. M-x immigrant
Jamie @jamiewebb04
48 Followers 3K Following
salim pamukcu @Salimp2009Salim
425 Followers 2K Following @[email protected] C++🚀🚀 & 🦀🦀 Self Learning Programmer C++23+, Rust , Haskell, Linux, vim/nvim, Lunarvim,... 🙈
Vlæd Zá 🤡 @vzarytovskii
1K Followers 873 Following C++ compiler (prev. F# compiler) @ Microsoft. Opinions are mine. Russia is a terrorist state! Make fascists afraid again. Fuck bigots. 1+3+1+2=7.
Caroline miller @DrCaro79
21 Followers 173 Following
Sine Zambach @SineZ15
741 Followers 2K Following Adjunkt på CBS, data scientist, Coding Pirate, R, forfatter til AI i gymnasiet m.fl.. Brænder for at få mere diversitet ind i STEM - særligt it.
FP Complete @FPComplete
6K Followers 2K Following FP Complete is a technology company specializing in Server-Side Software, DevSecOps, Cloud Deployment, Container Orchestration & Advanced Programming Languages.
Per Ökvist @per_okvist
212 Followers 377 Following System thinker, Technical Architect, Board gamer, friend of analog
Mariano Bertoni @mariano_bertoni
188 Followers 4K Following
Daniel Hegner @8DH
369 Followers 2K Following Dad, computer&software professional&enthusiast, Maker, LindyHopper, humble listener of eloquent tweeps. Coding F#.
Tirso @tirsomfondo
21 Followers 337 Following
Łukasz Krzywizna @lukaskrz
86 Followers 254 Following 👨💻 Software Engineer | F# & Functional Programming Aficionado | 🌐 Microservices & Modern Tech Explorer | 🎸 Guitar Virtuoso in the making | #CodeAndChords
Bartul Bonačić @bartul
92 Followers 349 Following a dude from Split, father of Sultanates daughter, exploring northern kingdom, approaching kwan. HŽV
0xeb0de 🇬🇧🏴�... @0xeb0de
3K Followers 7K Following Si vis pacem, para bellum. Geek. Interested in security. Tool writer. C, Golang, F#, .Net. Aspiring bladesmith. Currently unable to follow back 😕
Jens Petersen 🇵�... @juhp
626 Followers 1K Following [email protected]; @RedHat; @fedora Workstation, @FedoraI18n, @fedorahaskell, @teamsilverblue, @haskellstackage; he/him #stopgenocide
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.
Nicolai Willems @nwillems
139 Followers 388 Following Father of two, husband, Engineer @nuudaydk, computer science @diku
Deon Digital @inside_deon
20 Followers 31 Following
Mikkel B. Thomsen @MikkelJThomsen
57 Followers 287 Following MSc. Computer Science. Software Developer. Father of three. Works for @deondigital. @[email protected]
ぺっく @peccul
1K Followers 2K Following 趣味：学習欲， Emacs，mac．アウトドア，猫，エアロプレス，焼き鳥(特にはつ)，Common Lisp，zsh，Node.js，Vue.js，TailwindCSS，Elixir，植物 KINESIS → MoErgo Glove80
Elm Weekly @elmweekly
2K Followers 0 Following Bringing you the best Elm programming content since 2016. Weekly email newsletters with interesting articles, projects and talks. Current editor: @wolfadex.
Zanzi Tangle, now at ... @tangled_zans
3K Followers 325 Following Turning Category Theory into code she/her Find me at: https://t.co/B0egvR0lmb @zanzi.bsky.social
Philip Schwarz @philip_schwarz
2K Followers 1K Following s/w development is what I am passionate about https://t.co/rpJ6xtoQgk https://t.co/prMbEP1qhc https://t.co/TftBA7uWyp
learn_fsharp 🌍🦔... @learn_fsharp
770 Followers 30 Following Let's learn F# together! Vamos aprender F# juntos! #fsharp #dotnet by @adelarsq
Graham Christensen @grhmc
6K Followers 1K Following Nix! In! Spaaaaceeee!!!!! @DeterminateSys. he/him. 📻 NO5IG
Cole Dutcher @coledutcher
381 Followers 1K Following Building Agents for Science, Prev Dir Eng @WalmartLabs @Jet
Stephen Diehl @smdiehl
55K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
Lis Zacho @lis_zacho
625 Followers 637 Following I am a math. supervisor and cand pæd IT didactic designer from Aarhus University. I like IT and developing of teaching, Codingpirates.dk kreakode.dk
Rene Løhde @reneloehde
417 Followers 1K Following Promoting logic and laughing at hypocrisy. Dad, Co-CTO and partner in IT-consultancy https://t.co/qk5KHSa6F8 (iTwerk) Retweets: What I think is worth paying attention
Erkal @AzizErkalSelman
475 Followers 960 Following interested in mathematics, wants to create aha! moments via interactive visuals and puzzle games https://t.co/9zNQCBPfGt
Ian Mackenzie @ianemackenzie
417 Followers 113 Following Software developer @Arrival based in Toronto. Author of elm-geometry, elm-units and elm-3d-scene. https://t.co/dgE5cv2EKC
Christian Clausen @thedrlambda
365 Followers 35 Following Merrymake founder, Five Lines of Code (https://t.co/UQAHU5Z2ST) author. Passionate about software quality and teaching.
Oleg 🇺🇦🐍 λ @TheOlegarchy
505 Followers 68 Following Originally from Ukraine, I moved to the US when I was 12. I’m a polyglot programmer, husband, father, and Oxford comma guru.
Ulrik Buchholtz @UlrikBuchholtz
424 Followers 204 Following Dane (he/him); mathematics, logic, and computer science; assistant professor at the University of Nottingham
OCaml @OCamlLang
5K Followers 18 Following OCaml is a general purpose industrial-strength programming language with an emphasis on expressiveness and safety.
MirageOS @OpenMirage
1K Followers 31 Following I'm a unikernel operating system written in OCaml. Logo: a Sand Cat (via @mindypreston) Pic credit: https://t.co/pdMD6mQf6a; star me at https://t.co/Ym2EBR4A7r
Sine Zambach @SineZ15
741 Followers 2K Following Adjunkt på CBS, data scientist, Coding Pirate, R, forfatter til AI i gymnasiet m.fl.. Brænder for at få mere diversitet ind i STEM - særligt it.
Mia 🇺🇦 @mivsen
1K Followers 3K Following Fan of #NWiTA #Angular #codingpirates #fintech #digipippi #ux. Push news from 'TechInternettrovertSocialArena' do stuff @digipippi & @ommerskolesing
Conal Elliott @conal
5K Followers 371 Following Into correct, efficient engineering with precise & simple specifications. Play/work with me: https://t.co/qDqyBbWKnm . https://t.co/TsY4j2QJwu
Cem 💎 is in Copenh... @cem2ran
2K Followers 6K Following AI & Web3 curious Software Eng @BifrostWallet 🚀 Previously: #ReactNative Tech Lead @ https://t.co/iT62lKIy3B 💪 & Co-Organizer @ReactCPH ⚛
Idris Language @idrislang
2K Followers 2 Following The Idris Programming Language. Tweets by @edwinbrady
Vlæd Zá 🤡 @vzarytovskii
1K Followers 873 Following C++ compiler (prev. F# compiler) @ Microsoft. Opinions are mine. Russia is a terrorist state! Make fascists afraid again. Fuck bigots. 1+3+1+2=7.
Phil Freeman @paf31
5K Followers 262 Following
OCamlLabs @ocamllabs
1K Followers 170 Following
ICFP Conference @icfp_conference
4K Followers 18 Following ACM SIGPLAN International Conference on Functional Programming. Tweets by @shwestrick.
Nicolai Willems @nwillems
139 Followers 388 Following Father of two, husband, Engineer @nuudaydk, computer science @diku
Mikkel B. Thomsen @MikkelJThomsen
57 Followers 287 Following MSc. Computer Science. Software Developer. Father of three. Works for @deondigital. @[email protected]
@[email protected] @cyberglot
3K Followers 2K Following 🦝 human raccoon 🦝 | latinx, autistic, queer, hyper sleepy | they/them | https://t.co/Cw5Cb716iq
Evan Czaplicki @evancz
16K Followers 68 Following Creator and developer of @elmlang Reading highlights at @power_studies
Stephanie Weirich @fancytypes
3K Followers 354 Following
David Thrane Christia... @d_christiansen
3K Followers 624 Following I like types and parentheses and metaprogramming. Co-author of The Little Typer and author of Functional Programming in Lean. he/him
Vladimir Keleshev @keleshev
2K Followers 932 Following Programmer, author of Compiling to Assembly from Scratch: https://t.co/7YcZc355RD
Peter @ptforsberg
177 Followers 386 Following
Martin Gausby @gausby
2K Followers 900 Following Polyglot Developer living in the capital of Denmark—Excited about Elixir and French. My opinions are eventually consistent.
Thomas Gazagnaire @eriangazag
1K Followers 213 Following MirageOS and OCaml hacker. CEO of https://t.co/KF5zAU46jr - ex Docker, Unikernel Systems, Citrix
PROSA @PROSADK
1K Followers 929 Following Forbundet af It-professionelle https://t.co/BwO31eMe6N // Presse: 2522 1680 #itpol #dkpol #dktech #arbejde #logning #overvågning. It-kurser: https://t.co/eFlDZ9hAQo
cannorin @cannorin_pub
255 Followers 105 Following @cannorin の鍵なしアカウント (Public account of @cannorin)
Andres Löh @kosmikus
3K Followers 476 Following I am a partner and Haskell Consultant at Well-Typed LLP. http://t.co/cc1cbLgax5
🌸🐑 mlep🥛🌸 @yandereidiot
6K Followers 872 Following 🪬 Former CTO of @haskellfound 🧘 Advisor/Core Eng Honcho @kadena_io 🐎 Horse and dairy lover 🤠 Cowgirl Utahn Return to pasture. Ask me about my cows!
Richard Eisenberg @RaeHaskell
3K Followers 149 Following Type system grease monkey and language designer for Haskell and OCaml. I want type systems to save us from software errors. Works at @JaneStreetGroup. He/him
Neil Mitchell (neildm... @ndm_haskell
5K Followers 165 Following Haskell/Rust programmer. Views expressed are my own.
ZuriHac @ZuriHac
2K Followers 48 Following Free yearly Haskell Hackathon in Zurich. Est. 2010. Next edition: 7-9 June 2025.
Andreas Garnæs @cuvius
448 Followers 102 Following OCaml, Go, Ruby, Node. Microservices, GraphQL. Senior Principal Engineer @workday. Formerly Zendesk, Hailo, Citrix.
Erik Meijer @headinthebox
31K Followers 2 FollowingTrends for United States
12,9 B posts
364 B posts
12,6 B posts
14,1 B posts
5.516 posts
433 B posts
9.044 posts
42,8 B posts
70,8 B posts
22 B posts
72,1 B posts
24,3 B posts
39,8 B posts
1.605 posts
21,9 B posts
81,8 B posts
3.445 posts
48,2 B posts
You might like
learn_fsharp 🌍🦔...
@learn_fsharp
770 Followers
Daniel Hardt
@HardtITSolution
536 Followers
SchlenkR
@SchlenkR
605 Followers
Jordan Marr
@jordan_n_marr
1K Followers
pim
@pim_brouwers
568 Followers
prosperous cameron
@cammcad
225 Followers
Kurt Mueller
@everybody_kurts
296 Followers
Almir Mesic
@almirmesic
799 Followers