The Haskell Interlude @HaskelInterlude
This is the Haskell Interlude. A Haskell-focused podcast hosted by @nomeata, @kosmikus, @tritlo, @wouterswierstra, and @nikivazou. haskell.foundation/podcast/ Joined July 2021-
Tweets37
-
Followers457
-
Following6
-
Likes18
Delighted that "Quotient Haskell: Lightweight Quotient Types for All" has been accepted for POPL 2024 - fantastic work by @BrandonHewer! tinyurl.com/quotient-haske…
Just listed to a great new @HaskelInterlude with John Hughes! I particularly enjoyed hearing John arguing for keeping things simple, and how this is important for teaching new users, two things that are very close to my own heart. haskell.foundation/podcast/36
Listen to Iavor Diatchki chat with @wouterswierstra and @nikivazou about different Haskell development styles, writing a high assurance wiki in php, and maintaining Haskell code across different GHC releases over multiple decades. haskell.foundation/podcast/35/
We just published a new episode of the Haskell Interlude with @BartoszMilewski being interviewed by me and @wouterswierstra . Thanks Bartosz, it was great having you on the show!
Released: @nomeata goes to @ZuriHac: haskell.foundation/podcast/29/
In our last episode Richard Eisenberg talks with @nikivazou and @tritlo! Enjoy: haskell.foundation/podcast/28/
""If Haskell users won't use [liquid types], no one will!"-SPJ" - @RanjitJhala Looking forward to this episode of the @HaskelInterlude podcast to hit the webs!
In our last episode @simonmar talks with @kosmikus and @tritlo! Enjoy! haskell.foundation/podcast/26/
Listen to @jer_gib taking with @kosmikus and @nikivazou haskell.foundation/podcast/24/
In our last episode @bgamari talks with @wouterswierstra and @nomeata! haskell.foundation/podcast/23/
And after listening, tell us your thoughts about the podcast, here or on discourse.haskell.org/t/haskell-inte…!
And after listening, tell us your thoughts about the podcast, here or on discourse.haskell.org/t/haskell-inte…!
Listen to @poke48k talking with @kosmikus and @nikivazou about security and privacy and Haskell! haskell.foundation/podcast/22/
You can now listen @andreymokhov talking with @tritlo and @kosmikus about algebraic graphs, selective functors, and the difference between OCaml and Haskell. haskell.foundation/podcast/21/
In our last episode @agdakx talks with @nikivazou and @tritlo and Agda and how it is used to verify Haskell! haskell.foundation/podcast/20/
In our new episode @jimmykoppel and @tritlo chat with @wouterswierstra and @nikivazou, enjoy! haskell.foundation/podcast/18/
Just finished the recording of an episode for the @HaskelInterlude podcast with @nomeata and @kosmikus. We had a great conversation covering the story of IHP, Haskell, Nix and what's next. Will be out soon :)
New episode is up! @xnningxie talks with @nikivazou and @kosmikus, enjoy! haskell.foundation/podcast/17/
Do you want to hear our episodes before anyone else? Here is your chance! Fill in this form to help us transcribe our recordings! forms.gle/KtgW6GVWbR1BB4…
The @HaskelInterlude is back from the summer break, with an interview of Oskar Wickström: haskell.foundation/podcast/16/
In our new episode @FacundoDomngu12 talks with @nikivazou and @nomeata. Enjoy! haskell.foundation/podcast/15/
Graham Hutton @haskellhutt
7K Followers 694 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Tom Sydney Kerckhove @kerckhove_ts
2K Followers 418 Following Professional Weirdo Learning American Sign Language
Alejandro Serrano @trupill
4K Followers 481 Following 👨💻 Researcher at Kotlin Evolution Team 🧙♂️ Haskell wizard 📚 Author of 4 books 👨👩👦👦 +1 of @ElenaVielva
Haskell Foundation @haskellfound
5K Followers 59 Following https://t.co/fFbaw17S1M • a non-profit for building the future of Haskell
Soso Ibn Ben Bakr Rus.. @PradoeSousa
342 Followers 1K Following Caucasiano. Direitista. Bolsonarista. Matemático. Corretor de imóveis. Armamentista!
PLRG :: Bristol @PLRG_bristol
105 Followers 115 Following This is the twitter of the Programming Languages Research Group at the University of Bristol.
Richard Adams @radams_1
38 Followers 93 Following Applications Developer (Software) for Water District; B.S., Physics; enjoy fine art (I paint, draw, buy); read extensively
Humber Aquino @goku2
1K Followers 3K Following Passionate engineer who loves to build things. 📚 🏃 🎧 🚴 in-between. @appcues prev: @crazyegg @buffer @sodepsa
ALL-Angelina @Seeshough12656
1 Followers 788 Following Aproveite a oportunidade,junte-se a All,ganhe mais de 200 por dia,se estiver interessado,por favor,tome a iniciativa de conversar comigo em particular!
Vanessa @vanessa38martin
133 Followers 3K Following
Lewis Brown @lewiswbrown
339 Followers 2K Following dev (haskell👍), trader, homesteading farmer, #voluntaryist. evolutionary complex systems & the illusion of control likes + retweets are 🤔, maybe 👍
Efe Kahraman @0x0efe
107 Followers 253 Following Professional hunter-gatherer. Reads in math writes in software. Founder of Mekarge.
Milan Mulji @mmulji
329 Followers 5K Following Having fun, making stuff, one day at a time .... Also on @[email protected]
Bukenya Lukman @UgandanDev
848 Followers 4K Following Software Engineer, Data Scientist and ML Engineer. Research Enthusiast For NLP , Computer Vision and Compiler Design. PostGrad Student.
Niall Murray @niallmurray
195 Followers 2K Following
David J. Pearce @whileydave
2K Followers 4K Following [email protected] | Formal Verification, Compilers & Static Analysis | @WhileyLang | Researcher in Smart Contracts @ConsenSys | Opinions are my own.
Manuel Gómez @mgomezch
949 Followers 2K Following https://t.co/M584ZUk2Bf / @[email protected] / https://t.co/4a5fLv7R3Y
Mike @Mike33910119
3 Followers 529 Following
sahil @sahil_ohe
376 Followers 289 Following CS undergrad. Likes/study Mathematics, Physics, Philosophy. Currently self-learning QM & QIS. Working on problems.
Bruce Bolden @brucebolden
232 Followers 2K Following
pseudorandomkafka @emitRandomKafka
19 Followers 3K Following
Here 4 the Musk self .. @efvincent
213 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.
Wouter Willaert @wouter_willaert
196 Followers 2K Following
four seasons joe (not.. @alacqua_joseph
214 Followers 2K Following Husband, Dad, Unnle. MS Comp Sci (yay!). Interests: functional prog, type theory, semantics, and math(s). Retweet politics. Thx @reverentgeek 4 profile pic!
Hrafnkell Pálsson @hrafnkellp
93 Followers 758 Following Founder at Maul. I like computers and playing volleyball 🏐
Rif Ahmed 🇵🇸 @batman_hmcoming
75 Followers 627 Following
damianfral @pamojarpan
123 Followers 443 Following
Leonardo Conrado @g0ttab3sl1ck
8 Followers 26 Following
Reggie Perry @reggieperry
78 Followers 690 Following Just tryin to strive, to seek, to find, and not to yield. 山外有山 人外有人
Michael Mroz @mjvmroz
225 Followers 541 Following Logical systems, abstraction and type theory enthusiast | engineering @mercury
Sean Parsons @seanparsons
1K Followers 2K Following Now: Momentum Works and https://t.co/VLPKVHGB36 Past: Code Wrangler on Moshi Monsters & @PopJam. Contributor to Argonaut, glue and wiring.
burugu 𓅜 @burugugoreguru
356 Followers 5K Following «is the world made of plastic? is the city buried in dreams?»
Nick Rioux @nickrioux
300 Followers 891 Following @[email protected] CS grad student in programming languages at Penn Former @neu_prl undergrad
Koch @selflogerl
110 Followers 1K Following Programo. Amo los lenguajes de programación, el manga y las matemáticas por mil! Anarquista. Ciencias. Buena vibra
ابو الحسن ا�.. @Indradamarj
33 Followers 1K Following Hopefully, become a Technical Writer and Mentor. Love Functional Programming.
Demirbaş Fail @failasaservice
248 Followers 241 Following programlama dili ve edebiyatı, hobi olarak dürümcü, acm sigfail kurucu önderi, demirbaş.
sam.. @kha448053853552
0 Followers 974 Following
Gert @Gert86
462 Followers 2K Following
Pato López @patogermanlopez
202 Followers 522 Following working at @CONAE_Oficial || space ops || satellite imagery 🛰️ || ocean color
Tom Sydney Kerckhove @kerckhove_ts
2K Followers 418 Following Professional Weirdo Learning American Sign Language
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) 🏳️⚧️
Enzo Crance @cranceltik
65 Followers 197 Following Software engineer at Elhub 🇳🇴, PhD in Computer Science (formal proof automation) 🇨🇵, functional programming enjoyer
Stephanie Weirich @fancytypes
3K Followers 382 Following
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)
Csaba Hruska @csaba_hruska
1K Followers 732 Following I'm into compilers and pure functional programming. I'm doing Research & Development. (GHC, LLVM, ASM, pointer analysis, optimization) FYI: Csaba ⟦ˈt͡ʃɒbɒ⟧Delighted that "Quotient Haskell: Lightweight Quotient Types for All" has been accepted for POPL 2024 - fantastic work by @BrandonHewer! tinyurl.com/quotient-haske…
Just listed to a great new @HaskelInterlude with John Hughes! I particularly enjoyed hearing John arguing for keeping things simple, and how this is important for teaching new users, two things that are very close to my own heart. haskell.foundation/podcast/36
""If Haskell users won't use [liquid types], no one will!"-SPJ" - @RanjitJhala Looking forward to this episode of the @HaskelInterlude podcast to hit the webs!
@HaskelInterlude @kosmikus @nikivazou Misattribution notwithstanding, thanks very much @kosmikus and @nikivazou for hosting this. I had a lot of fun chatting with you. You even made me sound pretty coherent!
And after listening, tell us your thoughts about the podcast, here or on discourse.haskell.org/t/haskell-inte…!
Listen to @poke48k talking with @kosmikus and @nikivazou about security and privacy and Haskell! haskell.foundation/podcast/22/
Makes me wonder if there is space for a TyDe podcast. I can chat about my experiences with @idrislang but part of me thinks @HaskelInterlude is not the right venue. I’m not much of a Haskeller because of Idris…
@HaskelInterlude has an interesting chat with @agdakx on Agda. it is always good to hear more about other’s experiences with dependently typed languages & their infrastructures.
I’m a host now 😄
In our last episode @agdakx talks with @nikivazou and @tritlo and Agda and how it is used to verify Haskell! haskell.foundation/podcast/20/
@HaskelInterlude @jimmykoppel @tritlo @wouterswierstra @nikivazou Very nice! Two of the links under the episode do not work, though. Cheers :)
Just finished the recording of an episode for the @HaskelInterlude podcast with @nomeata and @kosmikus. We had a great conversation covering the story of IHP, Haskell, Nix and what's next. Will be out soon :)
The @HaskelInterlude is back from the summer break, with an interview of Oskar Wickström: haskell.foundation/podcast/16/
Check out the @HaskelInterlude podcast episode where @nikivazou and I interview Ryan Trinkle of Obsidian Systems! Ryan has an interesting perspective on many things, and this maybe be one of my favorite podcast episodes so far: haskell.foundation/podcast/14/
Super excited to announce our paper "ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification" with @nikivazou, @MarcoGuarnier1 and @jprider63 has been accepted to @PLDI 2022. Preprint: sankhs.com/static/anosy-p…
@HaskelInterlude @SimonPeytonJon1 @kosmikus @nomeata Thank you so much for the transcript ❤️
@HaskelInterlude @cdsmithus @nomeata @kosmikus Excellent episode, @cdsmithus is so inspiring!
Recorded a podcast for the @HaskelInterlude today - it was a lot of fun! Should be out sometime in November.
Trends for United States
You might like
