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
-
Followers12K
-
Following22
-
Likes4K
I have published my first new blog post in four years lexi-lambda.github.io/blog/2025/05/2…
23
42
447
60K
138
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 696 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 522 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 135 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 761 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 425 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Rick @rickasaurus
9K 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
36K Followers 968 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 459 Following
امً محمد من ... @mohammed_n35062
60 Followers 1K Following اطلب من الجميع مساعدة لأطفالي على البقاء على قيد الحياة بسبب المجاعة التي نعيشها في غزة. اطلب من الجميع المساعدة زوجي مصاب 😢 واتس اب +970567773441
- 🇵🇸 @l33tPulse
10 Followers 1K Following وَلِيَبْتَلِيَ اللَّهُ مَا فِي صُدُورِكُمْ وَلِيُمَحِّصَ مَا فِي قُلُوبِكُمْ ۗ وَاللَّهُ عَلِيمٌ بِذَاتِ الصُّدُورِ
Motheki @motheki
2 Followers 101 Following
moritz @proanatwink
556 Followers 571 Following
oneil robinson @oarobin
26 Followers 1K Following
Riccardo @Riccardo1727642
1 Followers 29 Following
moa @zapadle
2 Followers 150 Following
Paul "PK" Pereyda Kar... @pgpkarayan
22 Followers 117 Following I leave to the highborn All the honours of this dissolving world (CISO/Engineer/Bricoleur/Digital Warlord)
Quentin Glenn Carver @quentin_carver
0 Followers 12 Following
David Talbot @dctalbot_
12 Followers 373 Following
Yury @Yury95394011
0 Followers 4 Following
perfectblue @hongye25
40 Followers 229 Following
Madhav @madhav6ram
35 Followers 300 Following
Quantum_Ghost @Quantum_Ghost
10 Followers 650 Following HTTP/2 301 Moved Permanently Location: @[email protected] Location-BlueSky: @quantumghost.bsky.social chmod 0440 TWITTER_ACCOUNT echo "本账号为只读模式"
abd_liac @abd_liac
0 Followers 32 Following
zheyu @zheyu_HH
59 Followers 2K Following
AiD7s @AI7DS
0 Followers 1K Following
Aesthetic Defaults @AestheticDef
9 Followers 363 Following
Mike Freeman @comicfans44
53 Followers 1K Following
Proud Wanderer @WandererProud
108 Followers 773 Following
Zip.zip.zip @zip_zip_zip123
30 Followers 1K Following
Handren @lianghanzhen
81 Followers 532 Following
Shengyi Wang @txyyss
16K Followers 1K Following Enthusiast of recreational mathematics | Also in mastodon: @[email protected]
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
522 Followers 127 Following Databases. Software Development. Diseconomies of Scale.
Javi @elduderinob
5 Followers 38 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
8 Followers 140 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
19 Followers 429 Following
Alex J Best @AlexJBest
338 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
3 Followers 84 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
2 Followers 150 Following CS student doing his bachelors. Interested in both web development and systems programming
. @4l3ilVZe8ooAsfH
0 Followers 188 Following
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Factorio @factoriogame
50K Followers 63 Following Factorio is a game about building factories on an alien planet.
Andreas Klebinger @AndreasK_Tweets
404 Followers 54 Following Working on the Glasgow Haskell Compiler.
internet dipshit 𓃏 @ddosvidaniya
292 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
305 Followers 172 Following Systems programming, compilers, and cybersecurity also on https://t.co/aZ5xQrko7Q
Explosions&Fire @Explosions_Fire
19K Followers 690 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
335 Followers 304 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
451 Followers 295 Following wearing OPTIX_EXCEPTION_CODE_TRACE_DEPTH_EXCEEDED like its a medal (still dreaming abt @dearlensform)
chc4 @chc40
421 Followers 1K Following something's churning the earth / something's stirring the sky @chc4.com on bsky
Jonathan Lampel @JonLampel
12K Followers 492 Following Computer graphics instructor @CGCookie and product manager @OrangeTurbine
Aleksandra @aleksandrasays
8K Followers 811 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 337 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
94,9 B posts
58,8 B posts
54,4 B posts
72,9 B posts
87,3 B posts
83,3 B posts
43,2 B posts
16,9 B posts
2.389 posts
5.036 posts
4.200 posts
12,6 B posts
44,2 B posts
8.414 posts
2.315 posts
4.844 posts
5.009 posts
12,4 B posts
6.683 posts
4.382 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
47K Followers
Vanessa McHale
@vamchale
8K Followers
Matt Parsons
@mattoflambda
5K Followers
Neil Mitchell (neildm...
@ndm_haskell
5K Followers
ICFP Conference
@icfp_conference
4K Followers
Alejandro Serrano
@trupill
4K Followers