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
-
Following22
-
Likes4K
I have published my first new blog post in four years lexi-lambda.github.io/blog/2025/05/2…
23
42
447
59K
134
update: someone has posted a remarkably extensive answer to this english.stackexchange.com/a/628758/17950
update: someone has posted a remarkably extensive answer to this english.stackexchange.com/a/628758/17950
does anyone know the origin of the variant usage of “grovel” to mean “to rummage” or “to exhaustively search” commonly used in computing circles? if so, please answer my question on English Stack Exchange about this! english.stackexchange.com/q/628648/17950
distracting myself from today’s news cycle by adding more things to Toolbox. today’s addition is a bunch of pict related things. still have to figure out how to move all the slideshow-specific stuff in here, but this is a decent start at least lexi-lambda.github.io/racket-toolbox…
Alexis King retweeted
'A Multi Language Oriented Macro System' by Michael Ballantyne at (fourteenth RacketCon) at youtu.be/KHxZ3mT9BSo
C fetishism consists of exactly one proposition, to wit: There must be unsafe operations that the standard defines but does not restrict, alongside safety features that the standard restricts but does not define.
just got absolutely cooked on langdev stack exchange
people talk about how social media creates bubbles, but every time I look at twitter the experience is primarily characterized by being subjected to a deluge of takes so stupid they broaden my view of human thought. going to retreat to my bubble of irl friends and group chats
friend: I’ll be in Chicago, tell me what touristy things to do me: I hate touristy things so I’m not the right person to ask friend: surely there’s something everyone suggests me: oh yeah. everyone loves the architecture boat tour friend: have you done it? me, smiling: no
rip to my blueprints (and, by extension, my free time)
rip to my blueprints (and, by extension, my free time)
how the fuck is the default Windows 10 photo viewer application not color managed
fetch was a mistake. the children yearn for XMLHttpRequest
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
naomi (forgetful func... @fixedpointfae
5K Followers 512 Following 25 sols | polymorphic lambda witch ✨ | she/her/她 | haskell + rust + scala dev | op amp enthusiast | compilers + analog synths | https://t.co/UOuLLmAqKm
neural oscillator of ... @mycoliza
21K Followers 1K Following wow, everything’s computer at @oxidecomputer
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Graham Hutton @haskellhutt
8K Followers 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Tweag @tweagio
6K Followers 244 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
Matt Parsons @mattoflambda
5K Followers 523 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
John A De Goes @jdegoes
18K Followers 1K Following CEO @ZivergeTech, CEO @GolemCloud, Exec Producer & Creator @TheUltCoder, OSS contributor @zioscala, speaker, writer. Accelerating human dominion. ✝️
julesh @_julesh_
10K Followers 137 Following Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]
Domen Kožar @domenkozar
5K Followers 1K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BL1B5 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2bGd 🌊 https://t.co/KiomSAWa5J
Nintendo .DS_Store @sliminality
10K Followers 178 Following I want to talk to you about the affect and aesthetics of computing.
sigfig @sigfig
9K Followers 763 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
3K Followers 426 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Rick @rickasaurus
10K Followers 3K Following 2x Dad, AI Old-Timer, FP Enjoyer, Math for Fun, Startup Leadership Roles in: Fintech, Healthcare, RegTech, Biotech. B2B, B2B2C, Successful Exit CTO.
Will Crichton @tonofcrates
7K Followers 159 Following Cognitive engineer, assistant professor @BrownUniversity.
Thorsten Ball @thorstenball
35K Followers 961 Following Author of https://t.co/arW0hnVET0 and https://t.co/RN9xXOzhON. @sourcegraph working on @ampcode. Ex-@zeddotdev. Programming where the rubber hits the road.
Redacted @cercerilla
2K Followers 460 Following
andrew blinn @disconcision
4K Followers 2K Following progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhone
Aesthetic Defaults @AestheticDef
8 Followers 356 Following
Nathan @nathancspencer
143 Followers 265 Following
Mike Freeman @comicfans44
59 Followers 1K Following
Proud Wanderer @WandererProud
110 Followers 768 Following
Zip.zip.zip @zip_zip_zip123
34 Followers 1K Following
Handren @lianghanzhen
71 Followers 515 Following
Shengyi Wang @txyyss
16K Followers 1K Following Enthusiast of recreational mathematics | Also in mastodon: @[email protected]
invest in (TESLA) @atuidesu_0077
205 Followers 517 Following
simeon 🦀 λ @simeondermaats
540 Followers 2K Following studying maths @KULeuven_fwet (mainly interested in logic, categories and types) designs magazines for @Veto_be I aspire to one day understand the Yoneda lemma
Chase Saunders @MaineFrameworks
514 Followers 124 Following Databases. Software Development. Diseconomies of Scale.
Silentium Obscurum @SilentioObscuro
6 Followers 88 Following ⚡️Scala&FP enjoyer ⚽️Premier League analytics with a twist 👽Interested in the narratives hidden in plain sight 🌙No coincidence is too coincidental
Javi @elduderinob
4 Followers 33 Following Lights out by nine, alpha vibes by ten. I live off pizza boxes and questionable burritos—but don’t get it twisted. I don’t skip leg day, I skip social events.
dimen61 @dimen61
9 Followers 138 Following I am a big fan of Hunter × Hunter and learn a lot of life lessons from it. And I am also a programmer.
:)))) @nikola191201
16 Followers 364 Following
Alex J Best @AlexJBest
321 Followers 3K Following Researcher in math+formal methods+ml. Working on using formal verification to train models for mathematics and reasoning @harmonicmath
Boris Zhguchev @bzhguchev
7 Followers 83 Following Give a man a fire and he's warm for the rest of the day, but set fire to him and he's warm for the rest of his life. (rip Terry) I love life.
kedom @kedom1337
0 Followers 140 Following CS student doing his bachelors. Interested in both web development and systems programming
. @photonradia
0 Followers 124 Following
David Gutierrez @DavidMintyDev
8 Followers 206 Following HTML Email Developer & Founder @MintyEmailTester | Solving email testing for developers | Cyclist & Aquarist in my spare time
Anto Chen @AntoChen99
11 Followers 91 Following
Alexandre @u15493110
165 Followers 1K Following
boy-griv @boy_griv
0 Followers 54 Following
The Grumpy SRE (rob) @grumpy_sre
31 Followers 398 Following All opinions are my own. | SRE @spring_health | 🦣 🏒 Fan | Racketeteer Imposter
orko @_orkorko
66 Followers 564 Following
Dries Frederickx @Poly_Void
252 Followers 2K Following Current status: NEET. Jack of no traits and definitely master of none.
Craigeroonie @CraigEwert
331 Followers 24 Following Retired programmer in the Denver Metro Area. Also formerly Craigty Dumpty; I'm just changing the "name" for no good reason.
Arpit Kumar @kumaaarpit
14 Followers 220 Following cs and math @ubc // interested in infrastructure engineering, language-oriented programming, and distributed systems
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Factorio @factoriogame
50K Followers 64 Following Factorio is a game about building factories on an alien planet.
Andreas Klebinger @AndreasK_Tweets
405 Followers 54 Following Working on the Glasgow Haskell Compiler.
internet dipshit 𓃏 @ddosvidaniya
291 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
304 Followers 172 Following Systems programming, compilers, and cybersecurity also on https://t.co/aZ5xQrko7Q
Explosions&Fire @Explosions_Fire
19K Followers 688 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
382 Followers 62 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
329 Followers 301 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
𝘭𝘤𝘳𝘴 ⧎ @lwwwwwws
447 Followers 293 Following wearing OPTIX_EXCEPTION_CODE_TRACE_DEPTH_EXCEEDED like its a medal (still dreaming abt @dearlensform)
chc4 @chc40
420 Followers 1K Following something's churning the earth / something's stirring the sky @chc4.com on bsky
Jonathan Lampel @JonLampel
12K Followers 491 Following Computer graphics instructor @CGCookie and product manager @OrangeTurbine
Aleksandra @aleksandrasays
8K Followers 810 Following dev @clerkdev • prev. @geldata, @hasurahq, @blitz_js • @MVPAward • TypeScript, React, databases
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
paulette d. koronkevi... @koronkebitch
3K Followers 338 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...Trends for United States
42,4 B posts
111 B posts
17,7 B posts
8.426 posts
3.798 posts
5.543 posts
24 B posts
27,6 B posts
19,1 B posts
1.658 posts
1.561 posts
2.759 posts
5.852 posts
4.434 posts
12,3 B posts
3.304 posts
2.585 posts
4.769 posts
3.175 posts
You might like
Edward Kmett
@kmett
16K Followers
gabby
@GabriellaG439
15K Followers
João Forte Carvalho ...
@bgamari
2K Followers
Tweag
@tweagio
6K Followers
Well-Typed
@welltyped
6K Followers
Graham Hutton
@haskellhutt
8K Followers
Haskell Foundation
@haskellfound
5K Followers
Serokell
@serokell
7K Followers
Bartosz Milewski
@BartoszMilewski
35K Followers
Dmitrii Kovanikov
@ChShersh
42K Followers
Vanessa McHale
@vamchale
8K Followers
Matt Parsons
@mattoflambda
5K Followers
Impure Pics
@impurepics
6K Followers
Neil Mitchell (neildm...
@ndm_haskell
5K Followers
ICFP Conference
@icfp_conference
4K Followers