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-
Tweets579
-
Followers78
-
Following138
-
Likes384
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…
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…
@thebigjc You need to make another one with `crossed-cables` to when you buy a new laptop and you need to transfer "old-data" very fast 👍 (just connect old-laptop to new one with that cable)
@BartoszMilewski Would he "make the harsh calls"? Probably not cos he is a good person (Stephen Fry).
@kerckhove_ts @fresheyeball Can't you make `product types` with `sum types` (single case constructors)? So if you language support (algebraic) sum-types, then you also have product types 🙂
Kite is a graph editor entirely written in @elmlang. erkal.github.io/kite And it is open-source. #combinatorics #grouptheory #graphtheory #mathematics #recreationalmathematics
Shout out to @luca_mug for creating a beautiful @elmlang eCommerce example! Code: github.com/lucamug/elm-ec… Demo: elm-ecommerce.guupa.com
@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. 🙂
@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
@alfonsogcnunez @vscode @k_cieslak Btw, I just realized that ('at' vscode) is not really owned by M$ …
@alfonsogcnunez @vscode @k_cieslak Thanks !!! We will try it out 🙂
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)
@alfonsogcnunez @vscode @k_cieslak I guess it's that. We tried to disable `CodeLens` and `LineLens`, but that didn't help 🫤Do you know if there is a way to disable those hints? /CC @k_cieslak
@isaac_abraham I guess that statement is right. I mean, isn't Java synonymous with `corpo enterprise software`? Jaiks
@isaac_abraham @terrajobst Unless you use @nixos_org 🥲 Luckily someone showed me the way (for installing a specific version): - gitlab.com/codingpirates/…
Martin Larsen @MartinLars62209
23 Followers 74 Following
john @flintwinch
0 Followers 142 Following
21DigitalStreet @21DigitalStreet
2 Followers 318 Following
Aπansí @Sharp_Lancer
348 Followers 3K Following Visual Designer. Socio-politics. Pro-igbo. Sinner/Hypocrite. Theonomy. Philosophy
usagi_zajec @usagi_zajec
5 Followers 303 Following
Shavej_saif @ShavejSaif
2 Followers 93 Following
Pravdomil @pravdomil
82 Followers 540 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
Ernest Ng @ngernest2
505 Followers 3K Following PL/Systems PhD student @Cornell_CS, pipe organist | he/him
edgarr @edgarr
130 Followers 3K Following
Almir Mesic @almirmesic
818 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
237 Followers 2K Following
Viet Yen Nguyen @nguyenvietyen
77 Followers 145 Following CTO at Hypefactors. Making sense by crunching the global media landscape.
Jesper L. Andersen @jlouis666
3K Followers 491 Following CS hacker, researcher, and investigator. Erlang, Ocaml, Haskell, Go. Loves concurrency, distribution, type theory, semantics, model checking, formal methods.
Develop Maths @DevelopMaths
853 Followers 2K Following British Pakistani Data Analyst #LetAfghanGirlsLearn #LetGirlsLearn #LetBoysLearn 🙏🏾 | tiktok at developmaths | https://t.co/ft2mir2QuZ | @DevelopMathsBot 👩🏽💻
xtphnmdd @xtphnmdd
43 Followers 707 Following interets : droit procedure et programmation (python, f#...)
Erkal @AzizErkalSelman
466 Followers 966 Following interested in mathematics, wants to create aha! moments via interactive visuals and puzzle games https://t.co/9zNQCBPfGt
Дмитрий @bashkamen
23 Followers 133 Following
Herr DC Lange @CarlHedgren
389 Followers 943 Following computer people Three digit IQ master race. proud neo-nmemonite and GWOD veteran. M-x immigrant
Jamie @jamiewebb04
47 Followers 3K Following
salim pamukcu @Salimp2009Salim
387 Followers 2K Following @[email protected] C++🚀🚀 & 🦀🦀 Self Learning Programmer C++23+, Rust , Haskell, Linux, vim/nvim, Lunarvim,... 🙈
Vlæd Zá 🤡 @vzarytovskii
1K Followers 889 Following C++ compiler (prev. F#) @ MSFT. Opinions = mine. Russia is a terrorist state! Make fascists afraid again. Fuck bigots and racists. 1+3+1+2=7. 🟥 ⬛
Caroline miller @DrCaro79
21 Followers 172 Following
Sine Zambach @SineZ15
710 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
209 Followers 377 Following System thinker, Technical Architect, Board gamer, friend of analog
Mariano Bertoni @mariano_bertoni
174 Followers 5K Following
Daniel Hegner @8DH
360 Followers 2K Following Dad, computer&software professional&enthusiast, Maker, LindyHopper, humble listener of eloquent tweeps. Coding F#.
Tirso @tirsomfondo
14 Followers 380 Following
Łukasz Krzywizna @lukaskrz
83 Followers 256 Following 👨💻 Software Engineer | F# & Functional Programming Aficionado | 🌐 Microservices & Modern Tech Explorer | 🎸 Guitar Virtuoso in the making | #CodeAndChords
Bartul Bonačić @bartul
90 Followers 362 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, C#, F#, .Net. Aspiring bladesmith.
Jens Petersen 🇵�... @juhp
618 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
133 Followers 379 Following Father of two, husband, Engineer @nuudaydk, computer science @diku
Deon Digital @inside_deon
18 Followers 31 Following
Mikkel B. Thomsen @MikkelJThomsen
56 Followers 288 Following MSc. Computer Science. Software Developer. Father of three. Works for @deondigital. @[email protected]
ぺっく @peccul
995 Followers 2K Following 趣味：学習欲， Emacs，mac．アウトドア，猫，エアロプレス，焼き鳥(特にはつ)，Common Lisp，zsh，Node.js，Vue.js，TailwindCSS，Elixir，植物 KINESIS → MoErgo Glove80
Ignacio Ballesteros @iBallesteros_G
197 Followers 2K Following Me pillas con la bio en construcción. Vuelva usted mañana. bsky: @ignacioballesteros.es 🦋
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 @tangled_zans
3K Followers 364 Following Co-Founder and Director @ GLAIVE 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
772 Followers 30 Following Let's learn F# together! Vamos aprender F# juntos! #fsharp #dotnet by @adelarsq
Graham Christensen @grhmc
6K Followers 2K Following Nix! In! Spaaaaceeee!!!!! @DeterminateSys 📻 NO5IG
Cole Dutcher @coledutcher
364 Followers 1K Following Building Agents for Science, Prev Dir Eng @WalmartLabs @Jet
Stephen Diehl @smdiehl
54K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
Lis Zacho @lis_zacho
620 Followers 631 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
405 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
466 Followers 966 Following interested in mathematics, wants to create aha! moments via interactive visuals and puzzle games https://t.co/9zNQCBPfGt
Ian Mackenzie @ianemackenzie
407 Followers 112 Following Software developer @Arrival based in Toronto. Author of elm-geometry, elm-units and elm-3d-scene. https://t.co/dgE5cv2EKC
Christian Clausen @thedrlambda
362 Followers 35 Following Merrymake founder, Five Lines of Code (https://t.co/UQAHU5Z2ST) author. Passionate about software quality and teaching.
Oleg 🇺🇦🐍 λ @TheOlegarchy
469 Followers 65 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
406 Followers 197 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 29 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
710 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 366 Following Into correct, efficient engineering with precise & simple specifications. Play/work with me: https://t.co/qDqyBbWKnm . https://t.co/TsY4j2QJwu
Cem 💎 is in Astana... @cem2ran
2K Followers 6K Following AI & Web3 curious Software Eng @BifrostWallet 🚀 Previously: #ReactNative Tech Lead @ https://t.co/iT62lKJ5T9 💪 & Co-Organizer @ReactCPH ⚛
Idris Language @idrislang
2K Followers 2 Following The Idris Programming Language. Tweets by @edwinbrady
Vlæd Zá 🤡 @vzarytovskii
1K Followers 889 Following C++ compiler (prev. F#) @ MSFT. Opinions = mine. Russia is a terrorist state! Make fascists afraid again. Fuck bigots and racists. 1+3+1+2=7. 🟥 ⬛
Phil Freeman @paf31
5K Followers 260 Following
OCamlLabs @ocamllabs
1K Followers 165 Following
ICFP Conference @icfp_conference
4K Followers 18 Following ACM SIGPLAN International Conference on Functional Programming. Tweets by @shwestrick.
Nicolai Willems @nwillems
133 Followers 379 Following Father of two, husband, Engineer @nuudaydk, computer science @diku
Mikkel B. Thomsen @MikkelJThomsen
56 Followers 288 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
17K Followers 68 Following Creator and developer of @elmlang Reading highlights at @power_studies
Stephanie Weirich @fancytypes
3K Followers 349 Following
David Thrane Christia... @d_christiansen
3K Followers 605 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 913 Following Programmer, author of Compiling to Assembly from Scratch: https://t.co/7YcZc355RD
Peter @ptforsberg
171 Followers 379 Following
Martin Gausby @gausby
2K Followers 879 Following Polyglot Developer living in the capital of Denmark—Excited about Elixir and French. My opinions are eventually consistent.
Thomas Gazagnaire @eriangazag
1K Followers 207 Following MirageOS and OCaml hacker. CEO of https://t.co/KF5zAU46jr - ex Docker, Unikernel Systems, Citrix
cannorin @cannorin_pub
252 Followers 103 Following @cannorin の鍵なしアカウント (Public account of @cannorin)
Andres Löh @kosmikus
3K Followers 469 Following I am a partner and Haskell Consultant at Well-Typed LLP. http://t.co/cc1cbLgax5
Richard Eisenberg @RaeHaskCaml
3K Followers 144 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 163 Following Haskell/Rust programmer. Views expressed are my own.
ZuriHac @ZuriHac
2K Followers 47 Following Free yearly Haskell Hackathon in Zurich. Est. 2010. Next edition: 7-9 June 2025.
Andreas Garnæs @cuvius
443 Followers 109 Following OCaml, Go, Ruby, Node. Microservices, GraphQL. Senior Principal Engineer @workday. Formerly Zendesk, Hailo, Citrix.
Erik Meijer @headinthebox
37K Followers 0 Following
Yaron (Ron) Minsky @yminsky
23K Followers 370 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2You might like
