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
@_saagarjha lol I made almost this exact post in a discord server a few months ago
@samth Was that really up for debate?
@scheminglunatic The C Standard Cannot Be Replaced And Will Never Be Destroyed langdev.stackexchange.com/a/3237/861
racket-nonogram now supports automatically generating “mega nonogram” puzzles from standard puzzles
@samth it’s just a very nice way of writing comments!! I don’t really understand why it isn’t more common tbh (well, okay, I do: it’s because most programmers seem to hate writing comments in general. but you know, skill issue)
while working on this I have begun to understand why there are no mega picross implementations on the internet
been working on a racket implementation of nonograms/picross that supports networked co-op github.com/lexi-lambda/ra…
for the record, I do not consider this an improvement
Anyone else ever think about how fucked up it is that there’s no easy way to type em dashes on English keyboards outside of macOS? I feel like they are kind of an essential punctuation mark, comparable to if keyboards somehow didn’t have any way to type semicolons.
I have published my first new blog post in four years lexi-lambda.github.io/blog/2025/05/2…
@tomjaguarpaw @tritlo @kerckhove_ts I’m not enormously fond of HasCallStack, but it’s undeniably useful. And if you think of it as a compiler directive in this way, then its behavior in this example doesn’t seem so scary. Of course two different identical TH splices can generate different code.
@tomjaguarpaw @tritlo @kerckhove_ts Indeed, in a language with a sufficiently powerful macro system (Racket), it could really be implemented this way. But TH is not powerful enough to do this as it lacks a requisite piece of macro technology (syntax parameters), so a pseudo-constraint was a convenient alternative.
This is not posturing. There are other tenets held by my coalition I do not feel as strongly, and some I even disagree with. That does not change what I believe in my heart and my soul. It is easy to take a stand when doing so brings pride. Find a way to believe in something!
I believe that the difference between truth and lies matters. I believe that scientific progress and an ever-more-nuanced view of our world is an incredible achievement of our civilization. I believe that welcoming those unlike ourselves is something to be proud of.
I’ve been thinking about this a lot lately, and I would add something: we must believe in something good. We must allow ourselves to believe that there are things in the world that are good and beautiful and true, and that they are worth defending and fighting for.
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
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
Talia Ringer 🕊🪬 @TaliaRinger
33K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
naomi (forgetful func... @fixedpointfae
5K Followers 501 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
22K Followers 1K Following wow, everything’s computer at @oxidecomputer
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Graham Hutton @haskellhutt
9K Followers 695 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Tweag by Modus Create @tweagio
7K Followers 304 Following Improving the craft of software engineering.
Matt Parsons @mattoflambda
5K Followers 597 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. ✝️
julesh @_julesh_
10K Followers 133 Following Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]
Domen Kožar @domenkozar
6K Followers 2K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BLzqD 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2JvL 🌊 https://t.co/KiomSAWHVh 🗝️ https://t.co/iCG7uqjKe9
Nintendo .DS_Store @sliminality
11K Followers 178 Following I want to talk to you about the affect and aesthetics of computing.
sigfig @sigfig
10K Followers 729 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 423 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
48K Followers 1K Following Author of https://t.co/arW0hnWcIy and https://t.co/RN9xXOzPEl. Working on @ampcode. Writing https://t.co/0SZD6dcj40.
Kristopher Micinski -... @krismicinski
7K Followers 3K Following Lover of Datalog and its relationship to the lambda calculus. Tweets do not represent *anyone's* views, especially mine.
Redacted @cercerilla
2K Followers 452 Following
James Martinez @jamescmartinez
2K Followers 660 Following building https://t.co/giV8Vc4SOo · prev. founder @mergentlabs (acq. by @resend) · @ycombinator S21
lielfr @lielfr
5 Followers 208 Following
Frank Wiles @fwiles
4K Followers 3K Following Expert in building, scaling and maintaining complex web applications - Founder of @revsys, Django Steering Council, PSF Fellow and Former President of the DSF
Huabo Lu @lhbfriend
49 Followers 274 Following
sk @sergej_kx
0 Followers 66 Following
Josh Early @jd_early
3 Followers 75 Following
Rajesh🇺🇸 🇮�... @rajeshpv
39 Followers 710 Following
Devin Jameson @devinjameson
414 Followers 449 Following Creator and maintainer of @foldkit, the Effect-native frontend framework for correctness. Join the Discord: https://t.co/5ZPfXo8rmB
Isaac Van Doren @isaacvando
278 Followers 290 Following Let’s make it better! Organizing Software Should Work
Amarnath @amrnth0
342 Followers 1K Following Building @thinkwithalma (PeakXV) Prev. JioHotstar, Unacademy, @iitmadras. Views personal.
Oling Cat·欧林猫 @OlingCat
2K Followers 3K Following 节能主义者 | 文档译者 | 泛编程语言 | 类型论 | PLT // https://t.co/DBkY9LuhqE
yjnonx @yjnonx
1 Followers 74 Following
Jacob Kim @iamjacobkim
34 Followers 366 Following PhD in ICS @ UC Irvine. Made cool stuff at https://t.co/1f9eY9m0KL. UofM alum.
Bibin Prakash @prakashbibin
52 Followers 626 Following
sreeprasad @sreeprasad
265 Followers 6K Following To use agile development to built massively scalable applications and perform deep analytics to achieve real time results at BlackRock
jorrit 200 @200Jorrit
2 Followers 17 Following
Maanavv Bhat @MaanavvB55013
6 Followers 611 Following Aspiring AI Researcher |ICPC and codeforces| C++ & Python Developer | Competitive Programmer | Open Source Enthusiast |
0xKrishhna @0xKrishhna
1 Followers 125 Following
Mxolisi🇿🇦 @donald_mxo
842 Followers 3K Following Donald Mxolisi | South African Software Engineer 🇿🇦 | Cybersecurity | Founder | Email📧: [email protected] |
Yale Cason @ycason
130 Followers 322 Following
Suzanne Daniel Thomas @Suzanne__e
23 Followers 179 Following Figuring out tech, one build at a time • Building • Learning • Documenting
SandraBJ💦 @SandraBJa8gr
6 Followers 93 Following
Igniii🔥 @Ignasiiii
375 Followers 359 Following es/en/cat; 26 barça, comics, cinema, videogames, animanga, code
joako @seguelll
115 Followers 2K Following The poor die defending the rules that keep them poor. Because they mistake obedience for belonging. kirchnerism raped peronism
Ani Trghwi @logicrxt
102 Followers 4K Following
Nissi Ne @nssnssml
29 Followers 3K Following
Michael Thomas @MichaelThov6
43 Followers 535 Following
Onʇɹᴉpǝɹ @CDLXXXIII
163 Followers 2K Following
Aether - 🤖/acc @aethergradient
73 Followers 1K Following
JKHL @JosephLoom30487
106 Followers 2K Following Husband & father, Aspiring Developer, Senior Ops Specialist, Artist and Great Books Enthusiast -- TX DFW
Gerlach Tatras @polycyclic56
1 Followers 2K Following
卫斯理 @imwsl90
94K Followers 8K Following 前程序员/产品经理/中年已婚带2娃 - 互联网、编程、OPC、AI、两性情感、历史八卦 魔法：https://t.co/JP98BPq67P giffgaff卡🇬🇧： https://t.co/NQjvc4kX7d idid: https://t.co/LS4G0sN2DR
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @gravemaker_ulti · @[email protected]
Factorio @factoriogame
50K Followers 63 Following Factorio is a game about building factories on an alien planet.
Andreas Klebinger @AndreasK_Tweets
394 Followers 52 Following Working on the Glasgow Haskell Compiler.
internet dipshit 𓃏 @ddosvidaniya
277 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 170 Following Systems programming, compilers, and cybersecurity also on https://t.co/aZ5xQrko7Q
Explosions&Fire @Explosions_Fire
19K Followers 701 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
375 Followers 60 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
552 Followers 497 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
405 Followers 1K Following something's churning the earth / something's stirring the sky @chc4.com on bsky
Jonathan Lampel @JonLampel
12K Followers 496 Following Computer graphics instructor @CGCookie and product manager @OrangeTurbine
Aleksandra @aleksandrasays
8K Followers 813 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
