English
English Indonesia Türkçe Deutsch Español Português Pусский Français Italiano Nederlands Polski العربية ไทย Tiếng Việt 繁體中文 简体中文 日本語 한국어
lambda_calculus's profile picture. Prof at @umdcs and @umiacs. Co-director of @plumlab. BlueSky: https://bsky.app/profile/dvanhorn.bsky.social Mastodon: @dvanhorn@types.pl

David Van Horn

@lambda_calculus

Prof at @umdcs and @umiacs. Co-director of @plumlab. BlueSky: https://bsky.app/profile/dvanhorn.bsky.social Mastodon: @[email protected]

16KPosts 5KFollowers 1KFollowing
You might like
There was a problem, please refresh the page and try again.
ShriramKMurthi's profile picture. @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.

Shriram Krishnamurthi (primary: Bluesky)

@ShriramKMurthi
TaliaRinger's profile picture. Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi

Talia Ringer 🕊

@TaliaRinger
satnam6502's profile picture. Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}

Satnam Singh

@satnam6502
moyix's profile picture. Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv

Brendan Dolan-Gavitt

@moyix
lorisdanto's profile picture. A Professor @ucsd_cse. Scholar @AWScloud. Helps people write programs they can trust.

Loris D'Antoni

@lorisdanto
AndrewCMyers's profile picture. Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.

Andrew Myers

@AndrewCMyers
alpha_convert's profile picture. I like types

Joe

@alpha_convert
haskellhutt's profile picture. Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴󠁧󠁢󠁳󠁣󠁴󠁿

Graham Hutton

@haskellhutt
ilyasergey's profile picture. Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.

Ilya Sergey

@ilyasergey
HerrDreyer's profile picture. Get used to disappointment. (Opinions are my own and do not reflect the views or opinions of my employer.)

Derek Dreyer

@HerrDreyer
kc_srk's profile picture. Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.

KC Sivaramakrishnan

@kc_srk
samth's profile picture. Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @samth@types.pl

Sam Tobin-Hochstadt

@samth
josecalderon's profile picture. Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire

José Manuel Calderón Trilla (@jmct.bsky.social)

@josecalderon
natefoster's profile picture. cs professor, h4x0r, cyclist, husband, dad.

Nate Foster

@natefoster
tonofcrates's profile picture. Cognitive engineer, assistant professor @BrownUniversity.

Will Crichton

@tonofcrates
JAldrichPL's profile picture. Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.

Jonathan Aldrich

@JAldrichPL
rg9119's profile picture. Transmogrifies coffee into LaTeX at University of British Columbia

Ron Garcia

@rg9119
disconcision's profile picture. progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhone

andrew blinn

@disconcision
jeremysiek's profile picture. Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @jeremysiek@types.pl

Jeremy Siek

@jeremysiek
xnningxie's profile picture. Having fun with types! @UofTCompSci @GoogleDeepMind

Ningning Xie

@xnningxie
tweetvisu's profile picture.

Visu

@tweetvisu
dovsmail's profile picture. CEO @gotolstoy

Dov Kaufmann

@dovsmail
KuppaPrash's profile picture.

Prash Kuppa

@KuppaPrash
folded_const's profile picture. Yet another applied PL engineer (KR/EN/JP)

d01c2

@folded_const
Re_shumimaru's profile picture. Warning: I bite… sometimes.

Tillie

@Re_shumimaru
simon39867540's profile picture.

Guoqiang Zhang

@simon39867540
ossk5500's profile picture.

John Doe

@ossk5500
leucasio's profile picture. Let's build some interesting apps. Just for fun! Your money’s on a single PHP file

巨大汽水

@leucasio
techapu's profile picture. Me encanta la tecnología y los libros, el arte en general, el Derecho, las cuestiones políticas y sociales.

Tomás Chapunov

@techapu
llvmvsllm's profile picture.

llvmvsllm

@llvmvsllm
iDramedy's profile picture.

A T

@iDramedy
chares8191's profile picture. fish enjoyer, programmer. appreciate many kinds of posts and thoughts.

Chares

@chares8191
samlakig's profile picture. https://t.co/mYe9gvRF6J

yule sam

@samlakig
TruthBomb1978's profile picture.

Telling_It_Like_It_Is

@TruthBomb1978
th000fly100's profile picture.

Momo

@th000fly100
ice_7515's profile picture.

ωちゃ

@ice_7515
8bit5_0's profile picture. In grade-school, we had to draw a portrait of a single personality trait we most identified with and hang it at the entrance. I never gave up on curiosity.

Coyote

@8bit5_0
Daddy2241997861's profile picture. lovely friends and family God bless ✝️✝️🙏🫂

Daddy✌️♥️👌

@Daddy2241997861
yongming_han's profile picture.

Yongming Han

@yongming_han
yum303_'s profile picture. I love programming languages theory, compilers, emacs and VNs

takun

@yum303_
HannahJess47590's profile picture.

Hannah Jessica

@HannahJess47590
sungdomo's profile picture. EVP, MX System R&D Team lead @Samsung

Sungdo Moon (문승도)

@sungdomo
andrewdmeier's profile picture.

Andrew David Meier

@andrewdmeier
hoarfrost32's profile picture.

Aditya Tejpaul

@hoarfrost32
yudai_TNB's profile picture. Assistant Professor

Yudai Tanabe

@yudai_TNB
PolSciEnjoyer's profile picture.

Help

@PolSciEnjoyer
PolyTroid's profile picture. Current status: NEET. Jack of no traits and definitely master of none.

Dries Frederickx

@PolyTroid
leoshimo's profile picture. Keep computing personal. Cats are my own. Now: @skybysoftware (acq. @openai) / Ex: Recurse, Humane, 

leo @ software.inc

@leoshimo
ALIVE830's profile picture.

ZENITH

@ALIVE830
trioooops's profile picture. I like arthropods, art brut and béton brut.

Triooops 🔎

@trioooops
cratylus's profile picture. Programmer interested in Philosophy, Maths and Physics. Specialising in 1972 Studies.

Crat

@cratylus
YunenH's profile picture.

Yunen

@YunenH
_tedks's profile picture.

tedks

@_tedks
jestarray's profile picture. yt: https://t.co/FgDxkXQimM doing gamedev stuff alt-twitter: https://t.co/BUrv3zu650

jestarray

@jestarray
jreuben1's profile picture. AI, JAX, Claude, Rust, MLIR, GPUs + NVidia SDKs, ANTLR, Software Architecture, 3D-QSAR, 3D shape analysis: MSc. Bioinformatics, Grad Dip Biotech, BSc Comp Sci

(((JReuben1)))

@jreuben1
AilrkY's profile picture.

iampizza

@AilrkY
Duma_ron's profile picture.

Duma

@Duma_ron
Chinmay_395's profile picture. Software engineer

Chinmay Dali

@Chinmay_395
the_key_unlocks's profile picture. "A sufficiently advanced prompt is indistinguishable from poetry." - Xenolinguist, LLMC, and perpetual student of the 'Verse.

Kian.Locke

@the_key_unlocks
mscutemills's profile picture. It is better to try and get disappointed, than never to try and be haunted forever. Lovey 🫶

Katerina Mills

@mscutemills
inftyCategory's profile picture.

Pensé FFun

@inftyCategory
CVoid_t's profile picture.

voidt cloudy

@CVoid_t
akasavi0's profile picture.

Akhilesh

@akasavi0
ZiyanC78018's profile picture. Chen Ziyan

Sediment Rock

@ZiyanC78018
langstron76's profile picture. life is beautiful(FPGA,C, Python,Bash).... Unix || Linux||FreeBSD||.... Amateur physicist

RainMan

@langstron76
WhiterMeerkat's profile picture. Systems, Formal Methods

Tony Zhang

@WhiterMeerkat
HalvorLande's profile picture. Exploring the interaction between logic, consciousness, free will and reality. All-in on AI. Building an AI-first hedgefund. Former CEO of Aprila Bank.

Halvor Sannes Lande

@HalvorLande
mathomaniac42's profile picture. Maths, Physics, Philosophy, Movies

Raghav

@mathomaniac42
KhaledFci's profile picture.

Khaled AbdElSalam

@KhaledFci
ShriramKMurthi's profile picture. @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.

Shriram Krishnamurthi (primary: Bluesky)

@ShriramKMurthi
TaliaRinger's profile picture. Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi

Talia Ringer 🕊

@TaliaRinger
satnam6502's profile picture. Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}

Satnam Singh

@satnam6502
moyix's profile picture. Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv

Brendan Dolan-Gavitt

@moyix
lorisdanto's profile picture. A Professor @ucsd_cse. Scholar @AWScloud. Helps people write programs they can trust.

Loris D'Antoni

@lorisdanto
AndrewCMyers's profile picture. Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.

Andrew Myers

@AndrewCMyers
alpha_convert's profile picture. I like types

Joe

@alpha_convert
haskellhutt's profile picture. Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴󠁧󠁢󠁳󠁣󠁴󠁿

Graham Hutton

@haskellhutt
ilyasergey's profile picture. Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.

Ilya Sergey

@ilyasergey
HerrDreyer's profile picture. Get used to disappointment. (Opinions are my own and do not reflect the views or opinions of my employer.)

Derek Dreyer

@HerrDreyer
samth's profile picture. Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @samth@types.pl

Sam Tobin-Hochstadt

@samth
hillelogram's profile picture. No longer on this hellsite. Newsletter: https://t.co/YrRPK2p8Pc Website: https://t.co/gePEeYpVcd Bluesky: @hillelwayne(.)com

Inactive; Bluesky is @hillelwayne(dot)com

@hillelogram
headinthebox's profile picture.

Erik Meijer

@headinthebox
josecalderon's profile picture. Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire

José Manuel Calderón Trilla (@jmct.bsky.social)

@josecalderon
natefoster's profile picture. cs professor, h4x0r, cyclist, husband, dad.

Nate Foster

@natefoster
tonofcrates's profile picture. Cognitive engineer, assistant professor @BrownUniversity.

Will Crichton

@tonofcrates
yminsky's profile picture. Occasional OCaml programmer. Host of @signalsthreads. @yminsky@discuss.systems @yminsky.bsky.social https://t.co/kiUGRvWOO2

Yaron (Ron) Minsky

@yminsky
JAldrichPL's profile picture. Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.

Jonathan Aldrich

@JAldrichPL
rg9119's profile picture. Transmogrifies coffee into LaTeX at University of British Columbia

Ron Garcia

@rg9119
jeremysiek's profile picture. Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @jeremysiek@types.pl

Jeremy Siek

@jeremysiek
BigMeanInternet's profile picture. writer WHAT'S LEFT (out now!), PALO ALTO, KIDS THESE DAYS, SHIT IS FUCKED UP AND BULLSHIT malcolmpharris@gmail California communist (him)

Malcolm Harris

@BigMeanInternet
citystatebeer's profile picture. Stand for the District

City-State Public House

@citystatebeer
that_mc's profile picture. This Place was called Twitter, these were my Tweets.

Mack, yes, That Mack

@that_mc
Fam4SafeStreets's profile picture. We've lost loved ones or been injured in a car crash. We're confronting traffic violence across the country through advocacy and support.

Families for Safe Streets National

@Fam4SafeStreets
JS_1B03's profile picture. Former candidate for ANC 1B03. No longer actively using this platform; find me at https://t.co/5YuJ1frvJg or https://t.co/08mVMbxCk7

swiderski.bsky.social

@JS_1B03
Monica4ANC's profile picture. Rookie Advisory Neighborhood Commissioner for Single Member District 5B05 (University Heights + portions of Michigan Park and Brookland). 💗💛💙

Mónica Martínez López

@Monica4ANC
CapitalJeff's profile picture. Consultant. Changer. Granola-munching tree hugger. Great cook. Cranky bear. ANC commissioner in Dupont. Choose empathy & compassion over malice.

Jeff Rueckgauer (@capitaljeff.bsky.social)

@CapitalJeff
PeteMLynch's profile picture. DC native and teacher

Peter Lynch

@PeteMLynch
moskwtz's profile picture. Oregonian, Democrat, lover of cities, housing, hiking, gardening, transit, cats & dogs. @uoregon alum 🌱🏗🪩 Pro-growth, anti-fascist #yimby

Madison Moskowitz

@moskwtz
tlalley's profile picture. Professional comms guy, in a bluegrass band called Hollertown, dad, DC native, anti-glitter.

Tom Lalley

@tlalley
BobWardDC's profile picture. Looking to make my neighborhood more, walkable, vibrant and equitable. Laughs a lot, sometimes inappropriately. https://t.co/3qUndsUrwR

Bob Ward

@BobWardDC
atrupar's profile picture. journalist. sign up for my newsletter, Public Notice (link below). Powered by @SnapStream (more info: https://t.co/2oHPuuFBnN).

Aaron Rupar

@atrupar
Data_Bala's profile picture. data nerd. views my own

karthik

@Data_Bala
dcstcoalition's profile picture. DC Sustainable Transportation: A coalition of business, advocacy, and government entities that promote shared priorities for DC transportation.

DCST

@dcstcoalition
LeronOnTime's profile picture. IBEW Local 26. Deanwood Citizens Association. DC Bicycle Advisory Counsel Ward 7. The Bike House. WABA.

ElectrekSlide

@LeronOnTime
CaucusTransit's profile picture. Bipartisan group of Maryland state legislators committed to building a sustainable, equitable, world class mobility system. 🚌🚇🚊🚴🏾‍♀️🚶🏾‍♀️♥️

Maryland Transit Caucus

@CaucusTransit
HannapelTim's profile picture. Grandpa, retired union lawyer, reconciler of untold stories. Helped rename Wilson HS to @JacksonReedHSDC and Lafayette-Pointer Park.🏳️‍🌈 #HarrisWalz2024

Tim Hannapel

@HannapelTim
AshtonInDC's profile picture.

Ashton R. Rohmer 🚴‍♀️🚍🚃🚶‍♀️✌️🌇

@AshtonInDC
LCAGDC's profile picture. Lamond Community Action Group(LCAG)~Founded July 1963 in NE WDC~#Ward4~Civic Group informing 1000+ residents~Sub-Group of Lamond-Riggs Citizens Assn @LRCADC

Lamond Community Action Group (LCAG)

@LCAGDC
nemoest's profile picture. DC resident, multi-mode transit user, & competent bureaucrat. Picks up trash routinely in Woodridge. He/him. @nemoest@mastodon.online

A Hat

@nemoest
FreeAhmedMansra's profile picture. "one of those obscure Negro 'activists' who skulk around the outskirts of power and from time to time get quoted in an article just like they’re Daniel Webster"

#FreeAhmadManasra

@FreeAhmedMansra
ShawnFainUAW's profile picture. 15th President of the @UAW. Kokomo, Indiana born and raised. Economic justice now. Solidarity forever.

Shawn Fain

@ShawnFainUAW
PaGeTrailCo's profile picture. A group of citizens seeking to restore the Glen Echo Trolley Trail between Georgetown and the Palisades for cyclists & pedestrians

Palisades-Georgetown

@PaGeTrailCo
ChevyChaseOwner's profile picture. Very concerned citizen. 45 year homeowner. A proud Liberal who will make a stand against public housing in my neighborhood. I say the quiet part out loud.

Chevy Chase Homeowner

@ChevyChaseOwner
cpsmartgrowth's profile picture. Community of urbanists in Upper Northwest DC. Content by @bobwarddc - Get involved at https://t.co/Ls472GgQ4p Find us over at the other place, same handle.

CP Smart Growth

@cpsmartgrowth
SenatorATW's profile picture. Husband. Father. Senator. Protecting my Peace! By Auth: Cierra Clavijo, Tres.

Alonzo T. Washington

@SenatorATW
nwilliams23's profile picture. MD Delegate-District 22, Condo Lawyer. DST proud. By Authority: Friends of Nicole A. Williams, Robert L. Williams, Treasurer. opinions mine

Nicole Williams

@nwilliams23
MartinezforMD's profile picture. Son of PG County, MD. State Delegate. @HowardU Bison. By Authority: FOAM; Kenyarn Maxfield, Treasurer

Del. Ashanti Martinez

@MartinezforMD
DelegateHealey's profile picture. Authority: Friends of Anne Healey; Christopher Arthur, Treasurer Member, MD House of Delegates since 1991.

Delegate Healey

@DelegateHealey
notPeterWood's profile picture. Former graveyard keeper, current researcher on Latin American telecommunications & urban geopolitics. ANC commissioner in Adams Morgan, DC. Personal account.

Peter Wood

@notPeterWood
mcombal's profile picture. Working mother, bike commuter, cargo bike owner, urban planner, committed to achieving public good

MaCo

@mcombal
BorregoANC5B01's profile picture. Advisory Neighborhood Commissioner for 5B01. ANC is a non-paid, non-partisan position. He/him. @BorregoANC5B01@dmv.community

Edward Borrego

@BorregoANC5B01
dlangenkamp's profile picture. Husband, dad, former diplomat, press guy, safe streets advocate. Opinions mine, RTs not endorsements. Demand better. Our streets are for everyone.

Daniel Langenkamp

@dlangenkamp
Tshontikidis's profile picture. Husband | Father | Maker | #python by trade | All things #NEDC #ALLCAPS #BikeDC #homeautomation #linux | he/him

Sava Tshontikidis

@Tshontikidis
Mason_Transport's profile picture. https://t.co/hbSjeWQGEB

Jacob Mason 🚌🚲🚶🔰

@Mason_Transport
gsonnemann's profile picture. Seeking DC City leadership for affordable equitable housing. Local public schools and libraries are the core of democracy. 27 kid-years a DCPS parent.

Gail Sonnemann

@gsonnemann
IIHS_autosafety's profile picture. Mission is to research ways to reduce deaths, injuries, and property damage from motor vehicle crashes. Media contact: Joe Young (434) 985-9244

IIHS

@IIHS_autosafety
beebalm1917's profile picture. N/A

N/A

@beebalm1917
vj5c07's profile picture. Advisory Neighborhood Commissioner representing DC’s Single Member District 5C07 (northern Langdon). Views not 5C’s or DC’s.

Commissioner VJ Kapur

@vj5c07
Janell105Janell's profile picture. ANC3C03 Commissioner (elected, unpaid volunteer) this account is mine and not official but hopefully informative.

Janell Pagats

@Janell105Janell
AFTunion's profile picture. Education | Healthcare | Public Services

AFT

@AFTunion
dcyimbys's profile picture. DCers for a more affordable, accessible city. Commentary on DC land use. Join our mailing list and get involved at https://t.co/cSx0FUDiMi. https://t.co/RzN6fr8vT3

DC YIMBYs 🏗

@dcyimbys
oflatt's profile picture. PhD Student at the University of Washington, youtuber Mastodon: @oflatt@discuss.systems

Oliver Flatt

@oflatt
MattLaFortune's profile picture. At-Large Committeeman @DCDemocrats, #DCStatehood supporter. Tweets represent my own views.

Matt LaFortune

@MattLaFortune
mbonsma's profile picture. Bikes + data. I tweet about safe streets, local politics, and sometimes science. She/her. https://t.co/XzwoMLewSp // https://t.co/TNO433o11W

Madeleine Bonsma-Fisher

@mbonsma
PetworthPeanuts's profile picture. 501c3 volunteer organization that connects and supports parents of greater Petworth

Petworth Peanuts 🥜

@PetworthPeanuts
kademian87's profile picture. National security by day, Petworth ANC 4C05 Commissioner by night. Opinions are all mine.

Brittany Kademian ANC 4C05

@kademian87
JohnHenryDC's profile picture. Media Relations Mgr., Children's Defense Fund | Fmr. reporter, WUSA-TV | Alum: Mizzou | y=mx+b

John Henry

@JohnHenryDC
KR_Benjamin's profile picture. current: communications fellow @NWF | previous: @WashInformer via @Report4America | lover of spicy food, dark chocolate, thrifting, and the District

Kayla Benjamin

@KR_Benjamin
SamPKCollins's profile picture. A Garveyite in Love with Mama Liberia| Grassroots Journalist & Educator | Author | Staff Writer at @washinformer

Sam P.K. Collins

@SamPKCollins

United States Trends

You might like

Something went wrong.


Something went wrong.