Compose Conference @composeconf
Haskell, F#, OCaml, sml. NYC, June 24-25 2019 composeconference.org NYC, June 24-25 2019 Joined October 2014-
Tweets587
-
Followers728
-
Following205
-
Likes283
Hooray! Melbourne :: Compose 2019 videos are up on the interwebs! #melbcompose19 youtu.be/Uw8ayBv1j7Y
[Video] George Wilson - An Intuition for Propagators - Compose Melbourne 2019 youtu.be/nY1BCv3xn24 #composeconf
[Video] Jack Kelly - Reflex Outside the Browser - Compose Melbourne 2019 youtu.be/iik7yfB8BGo #composeconf
[Video] Brendan Zabarauskas - Lost in a Universe of Types - Compose Melbourne 2019 youtu.be/L9TubiWkBZ8 #composeconf
[Video] Svetlana Marina - Day-to-Day Property Based Testing in Scala - Compose Melbourne 2019 youtu.be/8P-nkPNYYuo #composeconf
[Video] Ambrose Bonnaire Sergeant - The Hidden Data Flow in Types - Compose Melbourne 2019 youtu.be/Uw8ayBv1j7Y #composeconf
Now that the cat is out of the bag, I should add that I'm also participating in trying to help @david_i_spivak and Brendan realize their vision for the Topos Institute, in my case as a board member. Let's put category theory to work.
Today I was working with David Spivak and Brendan Fong on our new course, Programming with Categories. It will take place in January at MIT as part of IAP. We'll introduce categorical concepts and teach elements of Haskell to illustrate them. Yes, all 18 lectures will be recorded
We're already looking forward to ICFP 2020! Next year, we'll be in Jersey City, NJ, Aug 23-28, across the river from lower Manhattan. @fancytypes is organizing and all the details are at icfp20.sigplan.org.
The next @paperswelovebos is in two weeks! We're happy to have @jimmykoppel reprise his @composeconf talk on defunctionalization. We hope you can join us! meetup.com/Papers-We-Love…
I know lots of you have been waiting patiently.... @ComposeMelb 2019 is afoot on September 2nd, and tickets are on sale now!! 🥳 eventbrite.com.au/e/melbourne-co… Our awesome keynote speaker is Typed Clojure wizard @ambrosebs!
We are pleased to announce Dr Ambrose Bonnaire-Sergeant (@ambrosebs) as our keynote speaker for Melbourne::Compose 2019! composeconference.org/2019-melbourne/ Tickets are now on sale: eventbrite.com.au/e/melbourne-co…
Functors of the World, Unite! buff.ly/2x9fvgb by Kenny Foner via @composeconf
We are starting a new series of blog posts with must-attend FP events chosen by our engineers. The list includes such all-stars as @skillsmatter, @composeconf , and @Lambda_World. Take a look and plan your trip! serokell.io/blog/best-hask…
Defunctionalization and Refunctionalization at Work via @jimmykoppel at @composeconf brics.dk/RS/01/23/BRICS… brics.dk/RS/07/7/BRICS-…
Really enjoyed this talk by @cdsmithus at @composeconf about the intersection of mathematics and programming, and teaching programming to kids via algebra youtube.com/watch?v=7ayVB5…
"The Best Refactoring You've Never Heard Of," already up: youtube.com/watch?v=vNwukf… . Thanks @composeconf organizers for being impressively on-top of A/V.
Exciting times with @d_christiansen! #Compose
Rick @rickasaurus
9K Followers 3K Following 10x Eng back in the day, Machine Learning Old-Timer, AI Healthcare VP of Eng (https://t.co/NVsJ1ibOVa 🚀) Frmr AI RegTech CTO (Safe Banking Systems, successful exit).Susan Potter @SusanPotter
7K Followers 2K Following Antifascist. Software Engineer @referentiallabs. Gay. Immigrant. Loves: #OptionsTrading #FunctionalProgramming #economics #mathematics #systems #JohnWatersdeech @deech
5K Followers 1K FollowingMatt 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!vaibhav sagar @vbhvsgr
3K Followers 5K Following future trophy husband; @recursecenter f1'16; 🇦🇺/🇮🇩/🇮🇳; he/him https://t.co/VGk6nI4TOO https://t.co/64Kipz3ghV https://t.co/YetTYcxcvQ on blueskysclv @sclv
2K Followers 3K Following "more important than being able to do mathematics is to be sure the applications are meaningful." - e. bishop • https://t.co/45nJUN3IqD@[email protected].. @mat4nier
1K Followers 2K Following Geotech Engineer turned sw dev. https://t.co/Kwv9mN53z2. Geological Engineering, Masters Data Science @UBC. FP/Rust: https://t.co/I5DbIgjRmc , https://t.co/WLDmvTfRvZChris Ford @ctford
4K Followers 2K Following Function Composer y Director de Tecnología @Thoughtworks / @ThoughtworksEsp Él/he @[email protected] 🦘 in 🥘Alexy 🤍💙🤍 @ChiefScientist
6K Followers 6K Following Chair, Open-Source Science at @NumFOCUS. Cofounder, the AI Alliance, GenAI Commons at LFAI. Founder, @scalebythebay. 1000+ talks: https://t.co/VG37Z4xWmj. Dad of 4Arian van Putten @ProgrammerDude
4K Followers 2K Following I perform @nixos_org witchcraft at @mercurySukant Hajra (shajra@.. @shajra
2K Followers 648 Following Twitter has lost my confidence. Find me via Mastodon at https://t.co/LGYhe2rMga. Find me via Bluesky at https://t.co/57A4j6VKO3.José 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.Chas (Lamarckian expl.. @cemerick
6K Followers 1K Following Making PDFs reliable data sources @pdf_data, co-organizer of PWLConf @papers_we_love; PLT, distsys, future-computing, politics, policy @[email protected]Soso Ibn Ben Bakr Rus.. @PradoeSousa
349 Followers 1K Following Caucasiano. Direitista. Bolsonarista. Matemático. Corretor de imóveis. Armamentista!neuroevolutus @neuroevolutus
4 Followers 1K FollowingArturo Llaja @artus_lla
87 Followers 2K Following Ingeniero. Mi hogar es mi refugio. Listo para servir al prójimo.shibushiyinggaihuan @shibushiyingga1
77 Followers 805 Followingineffable alias @joorosa12185462
107 Followers 5K FollowingWonderfulKanabun @w_kanabun
300 Followers 5K Following 音楽フレーズやメロディーのサンプルを紹介します。聴くだけでも心地良いですが、作曲する方のイマジネーションやアイデアのヒントになれば。ご自由にお使いください。ProbablyNot @SomeErdbeerbaum
258 Followers 238 Following Evolution is an explanation, but not an excuse for shitty behavior. Compiler Error: Invariant brokenAlessandro Mecca @a_corello
5 Followers 342 FollowingKian 💻 @pl_enthusiast
25 Followers 162 Following Programming Language enthusiast during my free time. Not a professional developer & nothing to sell. I learn & reflect on online courses, trainers, publications🇵🇸 Naman Gupta@.. @makesomeshitup_
886 Followers 4K Following he/him. CS PhD student @uwmadison studing the role of technology in gender-based violence. Prev @MSFTResearch and @iiitdelhi.mitsu @stheno2010
143 Followers 688 Following Software Engineer; Java/C#/Scala/Apache Spark; 猫; 料理; お茶; オリーブオイル; じゃんたま; INTP; botから定期的にフォローされるので鍵かけた;pnwloverzz @pnwloverzz
38 Followers 715 FollowingF @iamreallynotfox
2 Followers 552 Followinghamflx @hamflx
2 Followers 82 FollowingGautier Vaillant @gautiervaill
81 Followers 889 FollowingOCaml Security @OcamlSecurity
236 Followers 998 Following News about #OCaml and Security. Not affiliated with @OCamlLang core team.Marlin Lachance @_marlinla
316 Followers 5K Following 🏛 Institution Junkie ⚵ ⚵ Rust CosmWasm #️⃣ F# Enthusiast 🟠 Crypto Native 🙀 Fact Checker 💸 Value Added ⚛ Cosmos IBC ⛓ Decent Org 🇨🇦 Toronto CA ⭐⭐⭐⭐⭐Jochen Görtler @_jgoertler
630 Followers 175 Following Self-employed @RustLang software engineer and research scientist. Past: @IOTA Foundation, @Apple, @VisDesignLab. PhD @UniKonstanz.Minds Mined @Minds_Mined
561 Followers 3K Following #MinedMinds coding bootcamp newsfeed: mistreated students, instructors & apprentices. False promises of jobs in Appalachia. Shady #nonprofit @Arcgov #WGCJACarlos Gustavo @carlosgruiz_dev
136 Followers 1K Following “to strive, to seek, to find.” - Alfred Lord TennysonBerlin Functional Pro.. @BerlinFPGroup
935 Followers 334 Following We are a diverse and friendly group of professional and hobbyist practitioners of functional programming. Support BFPG on Patreon: https://t.co/qOhSME8UZVChris Muir @iamchrismmuir
107 Followers 989 FollowingXuan Huang · 黄玄 @Huxpro
12K Followers 1K Following ⚛️ Formerly @Reactjs core (Forget✨), @ReactNative, @HermesEngine, @ReasonML · 🔨 UI Fwk/PLR/Xplat/Web/+AI @Bytedance ·👨🔬 λ.TaPL/FP/Compiler/VM/@TC39 · e/accBee 🐝 @hegelocampus
56 Followers 831 Following I like linux and automation / functional programing enthusiast / frequent opinion haver / queer 🌈 / they / thembluetooth garbage can @portal_narlish
199 Followers 648 Following FP lord (Scala/OCaml/Haskell/Rust)beike @beikejun07
31 Followers 2K FollowingAlvaro García @rainbyte_
225 Followers 2K Following Mis intereses: tecnología, software libre, sistemas operativos, criptomonedas, música, manga, anime y mucho más.Here 4 the Musk self .. @efvincent
215 Followers 666 Following Twitter: the most entertaining dumpster fire in recent memory. Looking forward to the movie in a couple of years. I hope they get Danny Devito to play Musk.Chloe.Signify @ChloeSignify
112 Followers 516 Following Functional programming advocate @Signify_Tech Partnering with developers all over the globe #scala Send me a message for more info!unstable sort @LeftistHeap
200 Followers 492 Following Moved to mastodon, so long and thanks for all the tweetsElle_Signify @SignifyElle
85 Followers 145 Following Marketing Assistant at Signify Technology She/HerEzequiel Birman @ezebirman
370 Followers 5K Following Not here. Not here the darkness, in this twittering world https://t.co/0QHK2e4bHPAdvait Vinayak Soman @advait_soman
135 Followers 1K Following Compilers and Programming language enthusiast. Working in Nvidia Pune Compiler team tweets are personalFabio Mogavero, Ph.D... @fabiomog
127 Followers 1K Following A Theoretical Computer Science Passionate, Assistant Professor, Computer Science, Università degli Studi di Napoli Federico II @[email protected]Greg Turner @gsta
541 Followers 701 Following Code at Octopus Energy. PhD in Interactive Systems and Creativity. Erstwhile CEO/CTO. They/them, if you please. @[email protected]Bartosz Milewski @BartoszMilewski
32K Followers 37 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]Erik Meijer @headinthebox
27K Followers 0 FollowingRick @rickasaurus
9K Followers 3K Following 10x Eng back in the day, Machine Learning Old-Timer, AI Healthcare VP of Eng (https://t.co/NVsJ1ibOVa 🚀) Frmr AI RegTech CTO (Safe Banking Systems, successful exit).Shriram Krishnamurthi.. @ShriramKMurthi
19K Followers 4K Following 🦣: @[email protected] ••• @BrownCSDept / @BrownUniversity || @BootstrapWorld || @PyretLang || @racketlang || compsci || education || cycling || cricketSusan Potter @SusanPotter
7K Followers 2K Following Antifascist. Software Engineer @referentiallabs. Gay. Immigrant. Loves: #OptionsTrading #FunctionalProgramming #economics #mathematics #systems #JohnWatersdeech @deech
5K Followers 1K FollowingEric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala developer (author of the specs2 and registry libraries)Gabriella Gonzalez @GabriellaG439
14K Followers 144 Following Author of @dhall_lang, https://t.co/YzieN4kyo2, and countless packages and presentations. I'm a midwife to the hidden beauty in everything (she/her) 🏳️⚧️vaibhav sagar @vbhvsgr
3K Followers 5K Following future trophy husband; @recursecenter f1'16; 🇦🇺/🇮🇩/🇮🇳; he/him https://t.co/VGk6nI4TOO https://t.co/64Kipz3ghV https://t.co/YetTYcxcvQ on blueskyaustin 🇵🇸 @stdlib
2K Followers 406 Following we altered the flow of time, so that the world might once again feel small (bg: Roses, Butterfly and Puppies, by Nagasawa Rosetsu)KC Sivaramakrishnan @kc_srk
4K Followers 3K Following CTO @tarides_. Profing @iitmadras. Trustee https://t.co/WE1No5QqOA.sclv @sclv
2K Followers 3K Following "more important than being able to do mathematics is to be sure the applications are meaningful." - e. bishop • https://t.co/45nJUN3IqD@[email protected].. @mat4nier
1K Followers 2K Following Geotech Engineer turned sw dev. https://t.co/Kwv9mN53z2. Geological Engineering, Masters Data Science @UBC. FP/Rust: https://t.co/I5DbIgjRmc , https://t.co/WLDmvTfRvZArian van Putten @ProgrammerDude
4K Followers 2K Following I perform @nixos_org witchcraft at @mercuryEdward Kmett⏏️ @kmett
14K Followers 777 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/oP135HK8LMSukant Hajra (shajra@.. @shajra
2K Followers 648 Following Twitter has lost my confidence. Find me via Mastodon at https://t.co/LGYhe2rMga. Find me via Bluesky at https://t.co/57A4j6VKO3.sara :: panic! (the '.. @typed_hole
2K Followers 423 Following Video games, software engineering, functional programming, building bridges. Tweeting about whatever is on my mind! - Я вчу українську мовуJosé 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.fabergé skateboard @mountain_ghosts
10K Followers 1K Following world's most magnetic dog : he/him : https://t.co/ymjcqhXA0H… : https://t.co/bIiRMAjcix : https://t.co/98gPvW8aa8(have-YER Candeira) f.. @candeira
2K Followers 4K Following A person in the world, fan of @pyconau and @composemelb. Spanish/English/French/Catalan | he/him. Opinions are my own.Jeremy Gibbons @jer_gib
2K Followers 276 Following Christian, functional programmer, bass player, increasingly absent-minded prof. Also @[email protected]Phillip Carter @_cartermp
6K Followers 343 Following AI and other stuff @honeycombio | @opentelemetry in the tweets and #fsharp in the sheets | [email protected]Ilya Sergey @ilyasergey
5K Followers 963 Following Associate Professor at @NUSComputing. Member of @nus_plse. Programming languages, verification, distributed systems. Ex-@uclcs, @IMDEA_Software, @jetbrains.ReasonMTL @ReasonMTL
97 Followers 52 Following Montréal group for ReasonML / OCaml related presentations, discussions and collaborative hacking.moved to @kit-ty-kate.. @kit_ty_kate
481 Followers 371 Following Cohost: https://t.co/XeAeyXEzZS | Bluesky: https://t.co/VdETploFZ7 | Mastodon: https://t.co/ZB8oENVKsqAntonio Monteiro @_anmonteiro
3K Followers 251 Following I like OCaml, network stacks and Unikernels (MirageOS). prev @netlify Graph, @ladder. Making @melange_reOCaml @OCamlLang
5K Followers 18 Following OCaml is a general purpose industrial-strength programming language with an emphasis on expressiveness and safety.Edward Z. Yang @ezyang
10K Followers 973 Following I work on PyTorch at Meta. Chatty alt at @difficultyang. Mastodon @[email protected]Jan Christopher Vogt @cvogt
2K Followers 149 Following Haskell Software Engineer at @SymbiontIO. Former member of Martin's Scala team.Obsidian Systems @obsidian_llc
1K Followers 245 Following Software consultancy specializing in haskell, nix, curiosity, and innovation.FSharping @FSharping
1K Followers 138 Following F# and functional programming. Written by @dzoukr Meet us at https://t.co/glMnRj5H2H.Dr. Friedrich von Nev.. @fvnever
455 Followers 323 Following Engineer, programmer, gentleman. A cosmic revenant. @JetBrainsRider tech lead.Dave Curylo @i_no_see_pound
415 Followers 373 Following Principal Software Engineer bringing VMware to Azure at Microsoft, father, husband, winner of age division in a race once, learning. My own tweets.Dominic Orchard @dorchard
2K Followers 743 Following Computer science academic at University of Kent (@UniKentComp) & co-director of the Institute of Computing for Climate Science @Cambridge_ICCS (@Cambridge_Uni)Stéphane Lavergne @vphantom
221 Followers 0 Following Software (OCaml, SQL, JS, Perl) @ https://t.co/zYiIbHTi2I. Built my high-tech RV from scratch. Forex @ OANDA. #TeamHoomanvilem ❌ @buggymcbugfix
912 Followers 1K Following programming language theory & practice • PhD with @dorchard ongoing • agroecology • no-till • dad to a child on the spectrum • Goodhart's law is realScott Fleischman @scottfleischman
906 Followers 2K Following Husband, father of 6, programmer, manager, lover of biblical languages: Hebrew, Greek & Latin, with a BA in philosophy.FPURE @fpure_conf
130 Followers 0 Following Fpure — конференция по функциональному программированию. Казань - 29-30 мая 2020Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AIpatrick thomson @importantshock
4K Followers 498 Following poster (ret.) • engineer • distributed systems & programming languages at @github • immigrant 🇮🇪 • abolish ICE, police, and prisons • free Palestine • he/himOskar Wickström @owickstrom
3K Followers 712 Following Software engineer turned entrepreneur. In rural exile by the sea. Building the future of web testing @squidlerio.@[email protected] @cyberglot
3K Followers 2K Following 🦝 human raccoon 🦝 | latinx, autistic, queer, hyper sleepy | they/them | https://t.co/Cw5Cb716iqColin Woodbury @fosskers
384 Followers 66 FollowingKadena @kadena_io
307K Followers 204 Following The only layer 1 PoW blockchain that scales. Founded by @SirLensALot & @_wjmartino_ who created JP Morgan’s 1st blockchain & helped start SEC's CryptoGroup $KDArqu @rqu53
1K Followers 168 FollowingAlexandra De Wit @Storakatten
995 Followers 594 Following Any pronouns autistic anglophone trying to learn French. I tell computers what to think for a living. @[email protected]Monoid Mary @argumatronic
7K Followers 1K Following happily married to @chris__martin and homeschooling mother of two incredible young men. formerly depressed and C-PTSD. ungovernable.지산 (types.pl/@zee.. @zeeshanlakhani
2K Followers 4K Following @papers_we_love / pwlconf co-founder/org. | @SCSatCMU phd in PLT trial & erroring , prev~@FISSIONcodes, @comcast, @basho, @arc90, @nypl_labs |Denis Redozubov @rufuse
822 Followers 546 Following Engineering leadership, statically typed FP, music, tea geekery.Deniz Alp @lambdazai
560 Followers 95 FollowingLarry Diehl @larrytheliquid
793 Followers 530 Following Founder @Colimit_io. Former Director of Programming Languages @SymbiontIO, postdoc @uiowa and PhD @Portland_State.jaspervdj (@functiona.. @jaspervdj
3K Followers 402 Following Leftist, haskell stuff, and I care a lot about skateboarding and photography. Involved with @FugueHQ, @snyksec, @HaskellOrg, @ZuriHac and @icfpcontest2021.@ShriramKMurthi There is a certain aha moment when learning recursion / induction of the form: "imagine I have already solved this problem for this shape of sub-structure, how would I extend my solution?" I think the connection to the shape of data (which you discuss in the post) is the ticket
Hooray! Melbourne :: Compose 2019 videos are up on the interwebs! #melbcompose19 youtu.be/Uw8ayBv1j7Y
Now that the cat is out of the bag, I should add that I'm also participating in trying to help @david_i_spivak and Brendan realize their vision for the Topos Institute, in my case as a board member. Let's put category theory to work.
Today I was working with David Spivak and Brendan Fong on our new course, Programming with Categories. It will take place in January at MIT as part of IAP. We'll introduce categorical concepts and teach elements of Haskell to illustrate them. Yes, all 18 lectures will be recorded
We'll be closing our Melbourne::Compose 2019 survey form at midnight. Please help us make the conference better!
Hi Melbourne Composers! Did you think you were free of us? It's not over yet! Please give us five or ten minutes of your attention and fill the Melbourne :: Compose 2019 attendee survey. Your responses will help us run the conference better next time. forms.gle/oVrY4HNsZUpaJX…
We're already looking forward to ICFP 2020! Next year, we'll be in Jersey City, NJ, Aug 23-28, across the river from lower Manhattan. @fancytypes is organizing and all the details are at icfp20.sigplan.org.
How much "theory" can the @icfp_conference audience take in?
I’m thinking of writing another edition of #Haskell the craft of functional programming: haskellcraft.com If you have ideas about what you would like to see included, dropped or changed I'd like to hear from you either by replying to this or by DM. Thanks!
Generically deriving JSON and other instances is extremely powerful in Haskell, but please use it carefully if you're trying to provide an API. Either write manual instances for that, or have a second layer of "stable" datatypes which you convert your internal types to/from...
The next @paperswelovebos is in two weeks! We're happy to have @jimmykoppel reprise his @composeconf talk on defunctionalization. We hope you can join us! meetup.com/Papers-We-Love…
I know lots of you have been waiting patiently.... @ComposeMelb 2019 is afoot on September 2nd, and tickets are on sale now!! 🥳 eventbrite.com.au/e/melbourne-co… Our awesome keynote speaker is Typed Clojure wizard @ambrosebs!
We are pleased to announce Dr Ambrose Bonnaire-Sergeant (@ambrosebs) as our keynote speaker for Melbourne::Compose 2019! composeconference.org/2019-melbourne/ Tickets are now on sale: eventbrite.com.au/e/melbourne-co…
Functors of the World, Unite! buff.ly/2x9fvgb by Kenny Foner via @composeconf
We are starting a new series of blog posts with must-attend FP events chosen by our engineers. The list includes such all-stars as @skillsmatter, @composeconf , and @Lambda_World. Take a look and plan your trip! serokell.io/blog/best-hask…
Defunctionalization and Refunctionalization at Work via @jimmykoppel at @composeconf brics.dk/RS/01/23/BRICS… brics.dk/RS/07/7/BRICS-…
Really enjoyed this talk by @cdsmithus at @composeconf about the intersection of mathematics and programming, and teaching programming to kids via algebra youtube.com/watch?v=7ayVB5…
@cdsmithus talking about teaching! #Compose
"The Best Refactoring You've Never Heard Of," already up: youtube.com/watch?v=vNwukf… . Thanks @composeconf organizers for being impressively on-top of A/V.