Alexis King @lexi_lambda
computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢ lexi-lambda.github.io Chicago, IL Joined October 2012-
Tweets7K
-
Followers13K
-
Following29
-
Likes4K
Alexis King retweeted
@lexi_lambda A footnote from Stephen Dolan's Algebraic Subtyping, in reference to a paper by Redko: "This paper is out of print, in Russian, and quite difficult to get a hold of, so the interested reader is directed to a shorter proof by Conway [Con71, p. 105], which is merely out of print."
0
5
59
2K
5
View Details
ok new week new topic. what’s everyone’s favorite joke ever made in a PL publication? I think mine is this one (from “The Myths of Object-Orientation” by James Noble)
@sliminality be careful what you say or you’re going in the thread too
tfw u make a stupid fucking tweet that goes from utter nonsense to run of the mill slop if ur feeling charitable
tfw what you say is demonstrably false, and no coding genius says such shameful things x.com/harrisonpartch…
Alexis King retweeted
Like this tweet if you would listen to the @lexi_lambda / @sliminality podcast where we just shoot the shit about PL, software, and other technical esoterica as strikes our fancy Reply if you would volunteer to edit an episode >:)
Alexis King retweeted
Back to learning new stuff because I can and it’s fun 🥸
they really shouldn’t let you add more than like 5 channels to your discord server. some people need to be cut off
Alexis King retweeted
@lexi_lambda arxiv.org/pdf/2604.04893 (it's a PL paper because I'm reading it)
type of bullshit I commit in private repos while I’m taking a “break from programming languages” because I’m “not interested in them anymore”
this app is so fucking broken how is this shit even possible
what’s everyone’s favorite PL paper published so far this year
Alexis King retweeted
Alexis King retweeted
@lexi_lambda ig it's technically gonna be presented next year but I love the flow typing paper
im only a lil ways in but this is such a great paper so far
@haskell_cat @sliminality @ShriramKMurthi @samth @krismicinski @disconcision fwiw I think you have a typo: each 𝑗 in the premises has no subscript, but in each consequent it’s 𝑗₁
@ShriramKMurthi @sliminality @haskell_cat @samth @krismicinski @disconcision yeah don’t mess with me. I have access to wikipedia
@sliminality @haskell_cat @ShriramKMurthi @samth @krismicinski @disconcision are you implying you harbor doubts about the design handed down to us by the wise council of ISO/IEC JTC 1 (Joint Technical Committee 1) / SC 32 (Subcommittee 32) / WG 3 (Working Group 3)
@hecubian_devil @besttrousers yea.jpg
@Quelklef one really good way to understand this phenomenon better is to spend a lot of time researching the behavior of crank researchers: many of them have very little experience, so they don’t understand the content of insightful research, and they simply imitate its affects
@krismicinski @sliminality @samth my queries are unfortunately not conjunctive
Talia Ringer 🕊🪬 @TaliaRinger
34K Followers 7K Following Professor, @plfmse, @IllinoisCS! Interactive Proof. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Shriram Krishnamurthi... @ShriramKMurthi
24K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
naomi (forgetful func... @fixedpointfae
5K Followers 497 Following 25 sols | polymorphic lambda witch ✨ | she/her/她 | haskell + rust + scala dev | op amp enthusiast | compilers + analog synths | https://t.co/UOuLLmAqKm
third-party evaluatio... @mycoliza
23K Followers 1K Following despite it all, i still love these silly computing machines. making a better computer at @oxidecomputer. a girl, in case you couldn't tell.
Satnam Singh @satnam6502
24K Followers 3K Following Scottish-Punjabi-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Graham Hutton @haskellhutt
9K Followers 705 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Tweag by Modus Create @tweagio
7K Followers 329 Following Improving the craft of software engineering.
Matt Parsons @mattoflambda
5K Followers 598 Following Haskell jock. Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
John A De Goes @jdegoes
20K Followers 1K Following CEO @ZivergeTech, CEO @GolemCloud, Exec Producer & Creator @TheUltCoder, OSS contributor @zioscala, speaker, writer. Accelerating human dominion. ✝️
Domen Kožar @domenkozar
7K Followers 2K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BL1B5 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2bGd 🌊 https://t.co/KiomSAWa5J 🗝️ https://t.co/iCG7uqjcoB
Nintendo .DS_Store @sliminality
11K Followers 184 Following Please do NOT grotesquely misrepresent what I said in this manner.
sigfig @sigfig
10K Followers 731 Following i saw a space ship blow up once and immediately decided i wanted to get in one
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
Tom Sydney Kerckhove @kerckhove_ts
4K Followers 427 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Will Crichton @tonofcrates
7K Followers 160 Following Cognitive engineer, assistant professor @BrownUniversity.
Thorsten Ball @thorstenball
57K Followers 1K Following Working on @ampcode. Writing https://t.co/0SZD6dbLes. Once authored https://t.co/arW0hnVET0 and https://t.co/RN9xXOzhON.
Kristopher Micinski -... @krismicinski
8K Followers 4K Following Lover of Datalog and its relationship to the lambda calculus. Tweets do not represent *anyone's* views, especially mine.
Redacted @cercerilla
2K Followers 448 Following
andrew blinn - bedfra... @disconcision
9K Followers 2K Following "a never-ending beige-crème DMT trip" progaming 🗨️ languages ➕ mousefeel 🖲️ maximalism 🔜 Nintendo® 🎮 Excel™ 🧮 ♶ the 📱 vpriPhone©️
cleophas kiama @CleoKiama
0 Followers 36 Following
Asjad Murtaza @Asjad_Murtaza
28 Followers 356 Following
Rohitt Yaadav @rohityj
15 Followers 884 Following Exploring the Evolution of Intelligence, Purpose & Human Progress
Armando Singer @armandosinger
598 Followers 2K Following Interests: gainz 💪 & quant investing 📉. Formerly head of Infrastructure at @yammer/@microsoft serving cloud compute, storage, data science & security teams
Juhan van Juhan @_juhan
404 Followers 219 Following Haut, Joan, vam caminar, vam caminar de cap tà l'immortèla. Retweets are retweets.
Mikey @Mikey85645352
2 Followers 17 Following
Random Gear @Random_Gear
40 Followers 318 Following Mod for @hazeykthx Current @hyperlinegaming member Former @myhyperplex member
Jules Korman @JulesKormauto
85 Followers 3K Following
Oleg Pulatov @_olegpulatov
13 Followers 34 Following
Bhumika Mittal @mittalbhumika7
381 Followers 344 Following PhD student @gatech_scs. I work at the intersection of programming languages and cryptography.
Sleepy Capybara @sleepycapybara7
7 Followers 68 Following
Hrusheekesh Warnekar @HrusheekeshWar1
0 Followers 14 Following
egergo @f2bcd6cf65cf736
7 Followers 364 Following
Jake Roggenbuck @JakeRoggenbuck
339 Followers 2K Following Full Stack SWE @sundayrobotics - UC Davis / PL Research - Prev. SWE Intern @ Capital One & Sunain & Lucid Automation
Anthony Roche @Anthony2389782
69 Followers 4K Following
Akash Deo @AkashDeo16
84 Followers 418 Following Debater and member of the Robotics team at NBPS in Florida. Have a great day!
Oh and @OwenPriceSkelly
130 Followers 1K Following helping machines who can’t learn good, and who wanna learn to do other stuff good too @uchicago/@argonne | philosophy enjoyer | (he/him)
![[...] Le expliqué que tenía una naturaleza tal que las necesidades físicas alteraban a menudo mis sentimientos [...]](https://pbs.twimg.com/profile_images/1518745861416755202/4WIsEWyU.jpg)
Alexander Ortiz @VTacius
452 Followers 915 Following [...] Le expliqué que tenía una naturaleza tal que las necesidades físicas alteraban a menudo mis sentimientos [...]
富良美雄 @FlavioCorpa
3K Followers 299 Following Senior Haskell Engineer @Scrive ♟️ #chesspunks 🏯日本語を勉強中(N3) 🐈 Building @konekokanji
Mianlai Zhou @MianlaiZhoy3
59 Followers 1K Following A Catholic, into math, into programming, into philosophy, into languages.
Tomadan W. Burgers IV... @TomadanB
328 Followers 344 Following someone who will die for you and more
Michael Aguilar @FractalNacho
0 Followers 1K Following
Pseudo Nym @NameNamehv9
5 Followers 327 Following Looking for AI and sometimes math related content.
Jack Carrozzo @jackcarrozzo
342 Followers 1K Following Rf / microwave / space / robotics / manufacturing. NA1C // https://t.co/qtLtcdhTXx
chapo roan @iDoserRehab
1 Followers 626 Following
jam@都内SWE @whyamihere001
280 Followers 6K Following 🇯🇵←🇹🇳 | crud engineer | *.{c,go,py,ts,j̷͎̬̈͝ā̵̹v̶͎͋a̷̹͉͑} | p̶y̶t̶h̶o̶n̶ java pays the bills | 🍉
Valentino Slavkin @SlavkinVal20120
19 Followers 879 Following Emacs user. Interested in tech. Not yet 'embracing' llms, might happen, might not.
panar-coqui @CoQuiHODL
455 Followers 4K Following Prof. Panarcos Coquilles J.D. `Cuando el amor por la justicia venza el amor por el control: El mundo se actualizará al standard bitcoin sin tapujos.` #tamoSatos
𝕭𝖊𝖑𝖑𝖉�... @smart_intellecc
366 Followers 3K Following 🚧 shitpoasts. sincerity bro. NEET-adjacent. Sir/Monsignor/お兄ちゃん/俺様.
eyonce @jakuhy
13 Followers 498 Following
ｖｅｎｋｏ @cybrevenko
48 Followers 795 Following combat jacking on the poster's battlefield. i write programs for fun
MoreSpinach_ @moreSpinach_
2 Followers 3K Following Metro Conference Defender | Establishing the run
Mayank @MentalBarracuda
63 Followers 730 Following Building in Agentic AI, Inference & AI Infra | systems • agents • databases • distributed systems | IITG ’26
Shriram Krishnamurthi... @ShriramKMurthi
24K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Nintendo .DS_Store @sliminality
11K Followers 184 Following Please do NOT grotesquely misrepresent what I said in this manner.
Kristopher Micinski -... @krismicinski
8K Followers 4K Following Lover of Datalog and its relationship to the lambda calculus. Tweets do not represent *anyone's* views, especially mine.
andrew blinn - bedfra... @disconcision
9K Followers 2K Following "a never-ending beige-crème DMT trip" progaming 🗨️ languages ➕ mousefeel 🖲️ maximalism 🔜 Nintendo® 🎮 Excel™ 🧮 ♶ the 📱 vpriPhone©️
José Manuel Calderó... @josecalderon
2K Followers 869 Following looking for things to do! formerly: @HaskellFound, faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found jmct@bluesky I miss Yorkshire
Sam Tobin-Hochstadt @samth
5K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @gravemaker_ulti · @[email protected]
rntz @arntzenius
2K Followers 337 Following Michael Arntzenius irl. PL design, math, calligraphy, &c. ✉️ [email protected] 🐘 @[email protected] 🟦 https://t.co/bdWP4Lq7Td
Factorio @factoriogame
50K Followers 63 Following Factorio is a game about building factories on an alien planet.
Andreas Klebinger @AndreasK_Tweets
389 Followers 50 Following Working on the Glasgow Haskell Compiler.
internet dipshit 𓃏 @ddosvidaniya
276 Followers 1K Following POWER ON SELF TEST SEQUENCE BEGIN (C)2023 AMERICAN MEGATRENDS 640KB OK CMOS DATA INVALID CHECK BATTERY PRESS F1 TO ENTER BIOS SETUP
charlie cummings @sickeningsprawl
300 Followers 169 Following Systems programming, compilers, and cybersecurity also on https://t.co/aZ5xQrko7Q
Explosions&Fire @Explosions_Fire
19K Followers 711 Following I make Youtube videos on chemistry and energetics occasionally. Would do more but it's hard ok. 'Backyard Science' 🇦🇺
0.01x engineer / alis... @alisa_tao
374 Followers 59 Following placeholder account / not in use - anyone else claiming to be me on Twitter is impersonating. formerly: @Fastly @RTR_Tech at @RenttheRunway & more
Lensform @dearlensform
565 Followers 511 Following sensor-realistic imaging & OpenCL struggle tweets from @lwwwwwws
Micah Johnston @micahrjohnston
1K Followers 2K Following graphics programmer at @disbeliefstudio · bsky https://t.co/QN28reUGMy · mastodon https://t.co/gLzPmGG4GP
PL Papers Minus Conte... @PLMinusContext
2K Followers 0 Following All tweets verbatim from PL or PL-adjacent research papers • main: @lindsey • eldritch aesthetic
chc4 @chc40
397 Followers 1K Following something's churning the earth / something's stirring the sky @chc4.com on bsky
Jonathan Lampel @JonLampel
12K Followers 505 Following Computer graphics instructor @CGCookie and product manager @OrangeTurbine
Aleksandra @aleksandrasays
8K Followers 807 Following dev @clerkdev • prev. @geldata, @hasurahq, @blitz_js • @MVPAward • TypeScript, React, databases
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
paulette d. koronkevi... @koronkebitch
3K Followers 330 Following preserving types with @wilbowma at @ubc_spl. former @galois intern, former former @IULuddy undergrad (she/her)
wintensional equality @plt_dril
1K Followers 0 Following 'flawless agda noscope'. the crowd goes wild...You might like
Edward Kmett
@kmett
17K Followers
gabby
@GabriellaG439
16K Followers
Hillel
@hillelogram
19K Followers
Tweag by Modus Create
@tweagio
7K Followers
Well-Typed
@welltyped
7K Followers
Graham Hutton
@haskellhutt
9K Followers
Haskell Foundation
@haskellfound
5K Followers
Serokell
@serokell
7K Followers
Bartosz Milewski
@BartoszMilewski
37K Followers
Dmitrii Kovanikov
@ChShersh
74K Followers
Vanessa McHale
@vamchale
7K Followers
Matt Parsons
@mattoflambda
5K Followers
jaspervdj (@functiona...
@jaspervdj
3K Followers
Impure Pics
@impurepics
6K Followers
ICFP Conference
@icfp_conference
4K Followers