Alexis King @lexi_lambda
Fighting for the radical belief that things can be understood • I work on Haskell and GHC at @tweagio • DMs open (but responsiveness varies) • she/her, ⚢ lexi-lambda.github.io Chicago, IL Joined October 2012-
Tweets7K
-
Followers13K
-
Following25
-
Likes5K
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
I think they should create some kind of rehabilitation program for nix users
amazing that even in an era of plenty (CSS flexbox and grid) I can still spend hours trying to figure out a way to place a border (not an underline!) closer to the bottom of an inline box before eventually just giving up on line breaking and adding `display: inline-block`
I dare you guys to guess what this is replying to
always pleased to see that a few dozen adventurous people out there are brave enough to have read blog posts of mine other than Parse, Don’t Validate
always pleased to see that a few dozen adventurous people out there are brave enough to have read blog posts of mine other than Parse, Don’t Validate
Wrote a fun langdev answer last night about why it is essentially impossible to avoid depending in some way on the C toolchain in any programming language langdev.stackexchange.com/a/3237/861
I added the standard suite of derived convenience operations to this library today, and I think I have now documented the concurrency guarantees more precisely than any of the data structures in Racket’s standard library
I added the standard suite of derived convenience operations to this library today, and I think I have now documented the concurrency guarantees more precisely than any of the data structures in Racket’s standard library https://t.co/qKQDtVrI2T
yesterday I used hoogle to look up what module IORef is in while writing a regression test for a GHC bug that took four hours in gdb to diagnose. it took about two seconds. rarely have I seen a piece of advice that would be a bigger waste of my time
yesterday I used hoogle to look up what module IORef is in while writing a regression test for a GHC bug that took four hours in gdb to diagnose. it took about two seconds. rarely have I seen a piece of advice that would be a bigger waste of my time
really kind of the folks at the CTA to run a train directly between my apartment and my friends’ apartments that operates 24 hours a day, 7 days a week, covers 10 miles in 30 minutes, has trains every 10 minutes at 11:30pm on a tuesday, and only costs $2.50 to ride any distance
Talia Ringer 🟣 �.. @TaliaRinger
26K Followers 6K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, & justice. They/היא, ND, bi. די לכיבושShriram Krishnamurthi.. @ShriramKMurthi
19K Followers 4K Following 🦣: @[email protected] ••• @BrownCSDept / @BrownUniversity || @BootstrapWorld || @PyretLang || @racketlang || compsci || education || cycling || cricketnaomi (forgetful func.. @fixedpointfae
6K Followers 575 Following 25 sols | polymorphic lambda witch ✨ | she/her/她 | haskell + rust + scala dev | op amp enthusiast | compilers + analog synths | https://t.co/UOuLLmAqKmneural oscillator of .. @mycoliza
19K Followers 1K Following 𓃭𓇋𓊃𓄿𓁐 • manic kernel dream girl • putting computers inside other computers at @oxidecomputer • @tokio_rs core team • nulla crux, nulla coronaSatnam Singh @satnam6502
14K Followers 3K Following Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, lost in music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}Graham Hutton @haskellhutt
7K Followers 694 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴Tweag @tweagio
5K Followers 260 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.Matt Parsons @mattoflambda
4K Followers 566 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
16K Followers 977 Following CEO @ZivergeTech, CEO @GolemCloud, OSS contributor @zioscala, speaker, writer. Accelerating human dominion.julesh @_julesh_
10K Followers 145 Following Applied category theorist. Also at @CyberCatInst and @[email protected]Domen Kožar @domenkozar
5K Followers 1K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BLzqD 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2JvL 🌊 https://t.co/KiomSAWHVhNintendo .DS_Store @sliminality
10K Followers 176 Following I want to talk to you about the affect and aesthetics of computing. All my PLposting now lives at @[email protected]Camarade Hécate 🪬 @TechnoEmpress
2K Followers 2K Following data-djinniyya; Bifunctor disaster; Multifarious Motherfucker; Blockchain-free zone hey/them (PP by @HuntyDraws).sigfig @sigfig
9K Followers 744 Following i saw a space ship blow up once and immediately decided i wanted to get in oneEgbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc in Ljubljana • Author of the Introduction to Homotopy Type Theory • Formalisation • Univalent Combinatorics • Agda • Math Twitch • he/himTom Sydney Kerckhove @kerckhove_ts
2K Followers 418 Following Professional Weirdo Learning American Sign LanguageRick @rickasaurus
9K Followers 3K Following 10x Eng back in the day, Machine Learning Old-Timer, AI Healthcare VP of Eng (https://t.co/NVsJ1ibOVa 🚀) Frmr AI RegTech CTO (Safe Banking Systems, successful exit).Will Crichton @tonofcrates
7K Followers 164 Following Cognitive engineer, incoming assistant professor @BrownUniversity.Thorsten Ball @thorstenball
20K Followers 756 Following Author of https://t.co/arW0hnVET0 and https://t.co/RN9xXOzhON. Working @zeddotdev. Ex-@sourcegraph. Programming where the rubber hits the road.Kristopher Micinski @krismicinski
6K Followers 3K Following @[email protected]. Tweets do not represent anyone's views, especially mine.Barzi Yassin @BarzyDev
0 Followers 3 FollowingKamal Al-Seisy @KamalAlseisy
38 Followers 133 FollowingAlexander Goussas @aloussase
19 Followers 79 Followingprincess worms @princess_worms
60 Followers 94 Following princess of worms | bitch hat bestower | tweets ≠ endorsements | aspiring alcoholic🇬🇧 Joel fx 🇺.. @William_MD1200
1K Followers 2K Following 𝐹𝑜𝑟𝑒𝑥 𝐸𝑥𝑝𝑒𝑟𝑡 📊 💼𝐸𝑁𝑇𝑅𝐸𝑃𝑅𝐸𝑁𝑈𝑅 🏅𝐸𝑋𝑃𝐸𝑅𝑇𝑇𝑅𝐴𝐷𝐸𝑅 💱𝐵𝐼𝑇𝐶𝑂𝐼𝑁 𝑀𝐼𝑁𝐸𝑅 💹𝐹𝑂𝑅𝐸𝑋 𝑇𝑅𝐴𝐷𝐸𝑅 💻 𝑇𝑅𝐴𝐷𝐸𝑅 𝐵𝑈𝐼𝐿𝐷gwangsu @gwangssu
83 Followers 1K Following software engineer, gamedev, distributed systems, craftsmanshipn/a @shutaranga
32 Followers 185 Followingpratik.is/ @pratik_is_
199 Followers 1K Following design-minded engineer, prev at: @MetaAI, @JetTechnology, hedge fund techBillie (she/they) hap.. @BillieTheGoose
317 Followers 310 Following she/they 🏳️⚧️ 11/21/21, pan 🏳️🌈, 33, Florida 🌴, computer witch 👩🏼💻🧙🏻♀️, sometimes artist, VR enthusiastthattommyhall @thattommyhall
3K Followers 3K Following Well known to those that know him well. Also over on 🦣 as @[email protected]Ancyr @ancyrweb
9 Followers 30 Following Freelance Software Engineer & Architect | Follow me for more articles about System Design, Software Engineering, Distributed Systems, Compilers & AlgorithmsDonato Quiccione @ricevuto_qui
18 Followers 58 FollowingReo Ogusu @ogureo
302 Followers 926 Following Software engineer & Entrepreneur in Leeds 🇬🇧 from Tokyo 🇯🇵 | Co-founder @seeai | For work contact https://t.co/EyDr7HdqZn Building LLM products! Py / Ts / VimRandom Guy @8b9b2e6acefdf4e
1 Followers 22 FollowingAnton Katsuba @earthenfiddle
9 Followers 132 Following김성현 @witch_front
89 Followers 121 Following 알고리즘과 함께 프로그래밍을 시작했습니다. 프론트를 공부중입니다. 의미 구조를 잘 갖춘 페이지를 짜고 싶어하고 데이터를 예쁘게 흘리고 싶어합니다.🦋shreyanjain.net @_shreyanjain
26 Followers 64 Following just keeping tabs on whats up over on twitter, mostly on blueskytracerte @tracerte
0 Followers 809 FollowingBart Van Giel @VanGielBart
69 Followers 284 Following I am a software test engineer/ test automation engineer with experience in telecommunication. I have a physics background. I am learning #rustlang.Gunnersauras @_AfcLee
277 Followers 1K Following Arsenal fan and Software Developer. Follow back all Arsenal fans. #Arsenal #COYG #AFCGrizzle @vipagrippa
130 Followers 3K FollowingTY @styhihs
0 Followers 303 FollowingJacob Morris @silverdragonxl
401 Followers 5K Following Long a very effective Education Activist and Public Historian, Jacob was the originator and lead plaintiff of the Class-Action Lawsuit vs. the Board of Educatiolambdasofthecosmicsla.. @Cosmic_Lambdas
1 Followers 77 Following An attempt of a selftaught journey in: - Functional Programming - Programming Language Theory - Type Theory - Proof AssistantsLorem Ipsum @ooxyz
529 Followers 4K Following OpenSourceEnthusiast . LinuxUser | ExpiredCutlass(2008)wma @wma314
64 Followers 2K FollowingVladimir Logachev @logachev_dev
3 Followers 77 Following Software Engineer, Product Manager 🧰 Haskell, Elm, Scala, Rust, TypeScript 🏴☠️ I make software succeedsamuele angheben @SamueleAng50325
2 Followers 20 Followingshashidhar honnungar @shashidhar_honn
40 Followers 855 FollowingStefano Tilpalpdi @tilpalpdi44552
40 Followers 313 FollowingKhan @ddbb331
13 Followers 442 Followingmhashim6 🕰 @UpsideDownTrees
19 Followers 78 Following Timeless, Placeless. Mastodon: @[email protected] Blog: https://t.co/vG8K46Eodx The Unhappy Folk's Literature: https://t.co/RoQHNmjmZTZhao Boran @zhaobr
8 Followers 125 FollowingAbdul Kareem @zxkd_dev
48 Followers 1K FollowingAJ @AJ7598016137475
11 Followers 25 FollowingMax Leiwig @Synrom1
49 Followers 78 FollowingAfam Eely @EelyAfam
420 Followers 2K Following America First. #2A SHALL NOT BE INFRINGED. Anti-globalist. We have been lied to about everything. Israel is not our friend.Bahram Samadi @samadi_b_64
1 Followers 45 Followingbrb @Toni_Mcnathen
246 Followers 3K Following Retweet is not endorsement. Quote Tweets are sometimes used to save information.Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]Matt Darling 🌐🏗.. @besttrousers
47K Followers 3K Following Senior Employment Policy Analyst @niskanencenter. Chief Neoliberal Shill 2023. Labor/behavioral economics and causal inference.Factorio @factoriogame
47K Followers 64 Following Factorio is a game about building factories on an alien planet.sam @sam_d_1995
45K Followers 998 Following Better cities and transit are possible 🚇🚞 congestion pricing enjoyer https://t.co/GOsB5tUAYgAndreas Klebinger @AndreasK_Tweets
394 Followers 52 Following Working on the Glasgow Haskell Compiler.kingseeker peter fram.. @revhowardarson
15K Followers 719 Following god created him and then demanded that he dieinternet dipshit 𓃏 @ddosvidaniya
303 Followers 895 Following POWER ON SELF TEST SEQUENCE BEGIN (C)2023 AMERICAN MEGATRENDS 640KB OK CMOS DATA INVALID CHECK BATTERY PRESS F1 TO ENTER BIOS SETUPcharlie cummings @sickeningsprawl
330 Followers 184 Following Systems programming, compilers, and cybersecurity also on https://t.co/aZ5xQrko7QExplosions&Fire @Explosions_Fire
18K Followers 663 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
435 Followers 68 Following thinking either too much or too little about what to say | she etc. or ey/em 🏳️🌈 | @Climatebase fellow, past @Fastly @RTR_tech etc. | opinions = my faultLensform @dearlensform
193 Followers 164 Following sensor-realistic imaging & OpenCL struggle tweets from @lwwwwwwsMicah Johnston @glowcoil
1K Followers 2K Following DSP and graphics engineer, Rust enthusiast, and multicellular organism · https://t.co/xYv61oJ1sj · https://t.co/XuHzel6PjN · https://t.co/J4LUNJNe4KPL Papers Minus Conte.. @PLMinusContext
2K Followers 0 Following All tweets verbatim from PL or PL-adjacent research papers • main: @lindsey • eldritch aesthetic𝘭𝘤𝘳𝘴 ⧎ @lwwwwwws
408 Followers 237 Following wearing OPTIX_EXCEPTION_CODE_TRACE_DEPTH_EXCEEDED like its a medal (still dreaming abt @dearlensform)chc4 @chc40
444 Followers 1K Following something's churning the earth / something's stirring the sky @chc4.com on bskyJonathan Lampel @JonLampel
10K Followers 463 Following Computer graphics instructor @CGCookie and product manager @OrangeTurbineAleksandra @aleksandrasays
8K Followers 779 Following developer experience @edgedatabase • prev. @hasurahq, @blitz_js • organising @wroctypescript, @KongresJS • @MVPAward • TypeScript, React, databases • she/herRichard Eisenberg @RaeHaskell
3K Followers 161 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/himpaulette d. koronkevi.. @koronkebitch
3K Followers 380 Following preserving types with @wilbowma at @ubc_spl. former @galois intern, former former @IULuddy undergrad (she/her)wintensional equality @plt_dril
2K Followers 0 Following 'flawless agda noscope'. the crowd goes wild...Trying to read a classic shitty 300k time travel FMA fanfic and I suddenly have to be A MEMBER OF AO3 to access it?? Invitation date estimated at 4/12/24?? HELLO?
Lord forgive me I’ve been shooting psychic beams at the annoying toddler on this bus
I need a Korean potato cheese dog dusted with sugar so bad I’m about to start sobbing
somebody drew a bunch of Kool-aid man faces in the basement I'm working in
I almost expect these headways on the Brown Line, but on the Red Line?! It’s disappointing that we’re doing so much great investment on the Red Line but @cta is running regional rail service at best. Glad that @chi_streets & @ctaaction are pressuring the CTA to do better!
Still thinking about those atrocious stats so I made a chart. CTA’s ineffectiveness should be more widely known and condemned @ctaaction @FireDorvalC
This is basically the only information you need to form an opinion on Chicago leadership’s CTA management (Hint: you should strongly disapprove of their performance)
Had a dream I beat the fuck out of two girls in a thrift store. Wtf
In response to me saying I eat cheese “all day, every day” a customer said “well your skin is incredible. Very supple.” Later one of my bosses refused to believe that I watch anime. Confirmed normal and well-rested looking.
let's check in with the Stack Overflow community to see how they feel about this blog post. I'm sure it will go over well meta.stackoverflow.com/questions/4278…
this sentence from from the first blog post by new Stack Overflow Chief Product Officer Ryan Polk is one of the most deranged things I have ever read stackoverflow.blog/2024/01/18/the…
Someone hit my cat with a shrink ray. He’s too tiny lately.
@lexi_lambda but fr i love how atmospheric these are. the fogginess and fuzzy street lights give these an almost dream-like quality. in these photos i am half awake at an ungodly hour, my eyes still a bit bleary, taking pius out to pee
Dinner tonight was a black necrosis, a heat fucked chaos!