Patrick Bahr @pa_ba

Associate Professor in Computer Science at IT University of Copenhagen https://t.co/v79TLtWXwC bahr.io Copenhagen Joined January 2009

Tweets

2
Followers

91
Following

44
Likes

29

Journal of Functional Programming @journal_of_fp

3 years ago

Patrick Bahr presents Rattus, an FRP language with modal types that ensures causality, productivity, and absence of space leaks, while being simpler than previous calculi. Rattus is shallowly embedded in Haskell, and type soundness is shown in Coq. cambridge.org/core/journals/…

0 3 16 2K 2

Nadeem Kafi @nakafi

194 Followers 3K Following Human Intensive Computing to Humanizing AI. Love to teach and travel.

frang @frang_u99393

121 Followers 4K Following

zder @zderredz

12 Followers 285 Following

Esteban Marin @Esteban08240516

282 Followers 923 Following #Scala #Haskell #Nix #Typescript Engineer @ZivergeTech In love with functional programming { . . . ❤️} All opinions are my own.

Co-founder and CTO of @Superfluid_HQ. Building and using @yolc_dev for Ethereum, and Superfluid.

Love to hang around in the Haskell community, too.

hellwolf @hellwolf2025

109 Followers 212 Following Co-founder and CTO of @Superfluid_HQ. Building and using @yolc_dev for Ethereum, and Superfluid. Love to hang around in the Haskell community, too.

Juno @Juno18609977

0 Followers 177 Following

Siwat Kaolueng @perjerz34

1K Followers 7K Following https://t.co/FSwV1bwytr Bet on web technology

Du @jinzhedu

299 Followers 6K Following learn to code, no achievements, just here to learn from others, can't speak English well, he/him

Yuri de Wit @ydewit

134 Followers 766 Following https://t.co/XD5EhcfYWQ

laurence @functi0nZer0

59K Followers 5K Following @wildcatfi // no one in the world ever gets what they want and that is beautiful

a dyke who hacks on things. she/xey/ey. beka_valentine@kolektiva.social

beka_valentine @ kole... @defnotbeka

3K Followers 2K Following a dyke who hacks on things. she/xey/ey. [email protected]

CS PhD student @DrexelCCI working on categorical semantics in Lean. Collector of retro computers and vintage books. Formerly Quant Finance at Bank of America.

Chris Henson @_chenson__

862 Followers 3K Following CS PhD student @DrexelCCI working on categorical semantics in Lean. Collector of retro computers and vintage books. Formerly Quant Finance at Bank of America.

Chris Wormald @pcwormald1

228 Followers 2K Following Permanently distracted by shiny new programming languages. Working on IaC topics.

ALBIV⚡ @valdra76

2K Followers 7K Following ALII NESCIO QUO PACTO OBDURUERUNT

C++, Compilers, Computer Architecture, Generic Programming, GPGPU, HPC, Machine Learning, Numerics, Parallel Computing, Quantitative Finance

Matt @matt_dz

5K Followers 3K Following C++, Compilers, Computer Architecture, Generic Programming, GPGPU, HPC, Machine Learning, Numerics, Parallel Computing, Quantitative Finance

roadside_picnic @poadside_ricnic

12 Followers 2K Following

Technical cofounder of @solana. Obsesses over programming languages, especially @rustlang. Not here much; reality is the only thing that’s real.

Greg Fitzgerald 🦀 @garious14

5K Followers 947 Following Technical cofounder of @solana. Obsesses over programming languages, especially @rustlang. Not here much; reality is the only thing that’s real.

Host of the Elucidations Podcast. Programmer @ UChicago DLDC. CS Lecturer @ UChicago MPCS. Emergent Ventures fellow. Views mine. 🦒

Matt Teichman @ElucidationsPod

2K Followers 3K Following Host of the Elucidations Podcast. Programmer @ UChicago DLDC. CS Lecturer @ UChicago MPCS. Emergent Ventures fellow. Views mine. 🦒

hans.bijker @HansBijker

26 Followers 640 Following Programmer of systems.

beike @beikejun07

32 Followers 2K Following

@Blaisorblade@mathstodon.xyz PhD in ProgLang. Formalizing C++ and formally verifying a microkernel-based C++ hypervisor @bedrock_systems — Coq/Scala/Haskell

Paolo G. Giarrusso @Blaisorblade

2K Followers 1K Following @[email protected] PhD in ProgLang. Formalizing C++ and formally verifying a microkernel-based C++ hypervisor @bedrock_systems — Coq/Scala/Haskell

Jules Jacobs @JulesJacobs5

1K Followers 3K Following @[email protected]

alcides @alcides

2K Followers 3K Following Typing types. Associate Professor at the University of Lisbon.

Liang-Ting Chen @ltchen_tw

265 Followers 317 Following Moving slowly to https://t.co/j4ApTpcaxK.

Associate Professor in Computer science. Functional programmer, HPC, embedded systems, deep learning for Edge Computing.

@robstewartUK@mastodon.scot

Rob Stewart @robstewartUK

997 Followers 2K Following Associate Professor in Computer science. Functional programmer, HPC, embedded systems, deep learning for Edge Computing. @[email protected]

Sam Lindley @reifyreflect

639 Followers 281 Following

. @wildpo1nter

17 Followers 305 Following 🍁

Fábio S. @fabioshto

103 Followers 2K Following Foo Bar

Nachi @modaltype

377 Followers 291 Following "The limits of my language mean the limits of my world" and all that

o1lo01ol1o @o1lo01ol1o

364 Followers 607 Following Haskell, Agda, Idris and Nix. h8ro-cis-wyt: pronouns are ho / hum

I like categories, quantum computing, and programming languages, preferably all at once. Assistant professor at @imadaSDU and @for_quantum.

Robin Kaarsgaard @Manchegobaby

216 Followers 195 Following I like categories, quantum computing, and programming languages, preferably all at once. Assistant professor at @imadaSDU and @for_quantum.

Professor at University of Oviedo @jelabra@mastodon.social

Jose E. Labra Gayo @jelabra

484 Followers 566 Following Professor at University of Oviedo @[email protected]

壮壮 @zhuangzhuang198

41 Followers 648 Following

@[email protected] @cyberglot

3K Followers 2K Following 🦝 human raccoon 🦝 | latinx, autistic, queer, hyper sleepy | they/them | https://t.co/Cw5Cb716iq

كريم @kariemali

302 Followers 2K Following Only a pauper, whom nobody owns. وإني وأيم الحق لأعرف قدر نفسي

I spend my time hacking on combinatorial solvers (for fun) and network orchestration (for profit).

previously: @FATAglasgow, @AristaNetworks

sidhant @s1db_

327 Followers 2K Following I spend my time hacking on combinatorial solvers (for fun) and network orchestration (for profit). previously: @FATAglasgow, @AristaNetworks

Arjun @arjunslays

493 Followers 2K Following I am Jake Gyllenhaal🍃, Guitar Nerd, λ Dev ||⚡, Fear is the mind killer 👾

Mauricio Scheffer @mausch

756 Followers 810 Following Just another developer. Likes are mostly bookmarks. https://t.co/79nqPRzP1d

Syed Azzam Zafar @zafar_azzam

80 Followers 2K Following Human relations are NP-Hard.

Alan Kay-'97: The Computer Revolution Hasn’t Happened Yet

@urbit-'08: Nock 13K–Computing for the people using Maxwell's equations of software

Join us in #CPH

Urbit København @UrbitCPH

710 Followers 3K Following Alan Kay-'97: The Computer Revolution Hasn’t Happened Yet @urbit-'08: Nock 13K–Computing for the people using Maxwell's equations of software Join us in #CPH

Jo Liss @jo_liss

4K Followers 427 Following open source | JavaScript | Rust | math | https://t.co/cNoQ4P0KZp

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

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

Yisus mendez @Yisus2_7182

917 Followers 7K Following I don't know how to exit vi. Just curious about that, and that, and that.

David Richter @drcicer

30 Followers 114 Following ❤️ programming languages. phd student at @stg_darmstadt. DR are my initials not my title.

four seasons joe (not... @alacqua_joseph

171 Followers 1K Following Husband, Dad, Unnle. MS Comp Sci (yay!). Interests: functional prog, type theory, semantics, and math(s). Retweet politics. Thx @reverentgeek 4 profile pic!

allstoalls @allstoalls

2 Followers 317 Following allstoalls

Kwanghoon Choi @LazySwamp

362 Followers 2K Following Programming languages (and something random)

Christian Kjær Larse... @christian_kjaer

32 Followers 160 Following Type Tetris enthusiast. Retired Coq programmer. Jazz trumpet player. Hobby bassist.

Thom Veldhuis 🦦 @Thom2503

31 Followers 827 Following Programming, music and games

Dan Oneață @DanOneata

131 Followers 2K Following

PL Papers Minus Conte... @PLMinusContext

2K Followers 0 Following All tweets verbatim from PL or PL-adjacent research papers • main: @lindsey • eldritch aesthetic

Robin Kaarsgaard @Manchegobaby

216 Followers 195 Following I like categories, quantum computing, and programming languages, preferably all at once. Assistant professor at @imadaSDU and @for_quantum.

Lindsey Kuper (@linds... @lindsey

9K Followers 797 Following CSE assistant professor at @ucsc (https://t.co/mijWIrhfoU). Made in Iowa. Nearly 100% biodegradable. https://t.co/iAyJDalnrG

Derek Dreyer @HerrDreyer

3K Followers 203 Following Get used to disappointment.

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

Nate Foster @natefoster

6K Followers 1K Following professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.

The free and flexible app for your private thoughts. For help and deeper discussions, join our community: https://t.co/QsDArfFkkv

Obsidian @obsdmd

155K Followers 0 Following The free and flexible app for your private thoughts. For help and deeper discussions, join our community: https://t.co/QsDArfFkkv

Casey Liss @caseyliss

33K Followers 265 Following A man of occasionally refined taste and usually coarse language. — https://t.co/RaKOa2ahTq

Graham Hutton @haskellhutt

8K Followers 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴󠁧󠁢󠁳󠁣󠁴󠁿

Stephen Colbert @StephenAtHome

17.9M Followers 47 Following Evie’s husband

ACM SIGPLAN Symposium on Principles of Programming Languages. Rennes, France, 11-17 January 2026 (#POPL2026). Tweets by @xnningxie

POPL 2026 @poplconf

3K Followers 280 Following ACM SIGPLAN Symposium on Principles of Programming Languages. Rennes, France, 11-17 January 2026 (#POPL2026). Tweets by @xnningxie

Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Tweets by @kamatsu8

Journal of Functional... @journal_of_fp

2K Followers 4 Following Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Tweets by @kamatsu8

Carsten Schürmann @CESchuermann

325 Followers 125 Following Computer Scientist and Election Expert

Idris Language @idrislang

2K Followers 2 Following The Idris Programming Language. Tweets by @edwinbrady

John Oliver @iamjohnoliver

5.1M Followers 142 Following Comedian. @LastWeekTonight, @TheDailyShow, The Bugle Podcast (@hellobuglers)

We can only #MakeAwesomeHappen together. We're the Official @Pebble Developer Team—join our #pebbleXfitbit adventure.

Pebble Developers @PebbleDev

14K Followers 128 Following We can only #MakeAwesomeHappen together. We're the Official @Pebble Developer Team—join our #pebbleXfitbit adventure.

John Gruber @gruber

348K Followers 2K Following Threads: @gruber ★ Mastodon: https://t.co/zMmW95yISs ★ Bluesky: @gruber.foo

Marco Arment @marcoarment

108K Followers 148 Following Find me at https://t.co/Tht23uJdPv

Gabe Dijkstra (@gabed... @gdijkstra

75 Followers 0 Following @[email protected]

Ken Friis Larsen @bongoband

117 Followers 128 Following Renaissance Computer Scientist - Interested in too much for my own good

Nicolas Wu @nicolasgwu

479 Followers 112 Following Reader in Computer Science at Imperial College London

Sam Lindley @reifyreflect

639 Followers 281 Following

Mauro Jaskelioff @mjaskel

100 Followers 207 Following

Sebastian Erdweg @seba0_

409 Followers 264 Following @uni_mainz @uni_mainz_eng – Programming Languages

Accidental Tech Podca... @atpfm

28K Followers 7 Following A podcast by @marcoarment, @caseyliss, and @siracusa. Also at https://t.co/Cr48NrIWqb

Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.

Ilya Sergey @ilyasergey

6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.

Founder/Chief Scientist @Positron_AI

Haskell, category theory, AI, and safety.

https://t.co/wYaTDISbEB
https://t.co/XwbnuaOUzq
🦋 @kmett.ai

Edward Kmett @kmett

16K Followers 824 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai

Programmer, tech writer, and co-host of Accidental Tech Podcast (@atpfm), @RecDiffs, and @robot_or_not. @siracusa@mastodon.social

John Siracusa @siracusa

75K Followers 282 Following Programmer, tech writer, and co-host of Accidental Tech Podcast (@atpfm), @RecDiffs, and @robot_or_not. @[email protected]

The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2025. Tweets by @konskallas and @lastland0

PLDI @PLDI

5K Followers 974 Following The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2025. Tweets by @konskallas and @lastland0

CGP Grey 🐝 @cgpgrey

274K Followers 274 Following ⁢⁢⁢⁢⁢

Dan Licata @admitscut

1K Followers 862 Following Types and cats.

I like types and parentheses and metaprogramming. Co-author of The Little Typer and author of Functional Programming in Lean.

he/him

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

Well-Typed @welltyped

6K Followers 256 Following The Haskell Consultants

Andres Löh @kosmikus

3K Followers 476 Following I am a partner and Haskell Consultant at Well-Typed LLP. http://t.co/cc1cbLgax5

Frustrated anarchist; autistic queer; trans woman; [dys]functional programmer; eccentric musician; also @thunderandherbs and @trashsynth; she/her

Jenny H @lambdagrrl

155 Followers 390 Following Frustrated anarchist; autistic queer; trans woman; [dys]functional programmer; eccentric musician; also @thunderandherbs and @trashsynth; she/her

ICFP Conference @icfp_conference

4K Followers 18 Following ACM SIGPLAN International Conference on Functional Programming. Tweets by @shwestrick.

Svend Tofte @svendtofte

32 Followers 86 Following badness 10000

Anders Thøgersen @aklt00

60 Followers 826 Following Prematurely optimizing yak shaver extraordinaire.

Into correct, efficient engineering with precise & simple specifications. Play/work with me: https://t.co/qDqyBbWKnm .
https://t.co/TsY4j2QJwu

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