Eric Seidel @gridaphobe
Software Engineer @Bloomberg. Former PhD student at UCSD/PL. Opinions are my own, etc. eric.seidel.io New York, NY Joined July 2009-
Tweets596
-
Followers253
-
Following772
-
Likes61
This is disgraceful. All workers deserve the right to bargain and strike for better wages and benefits. To Janet Napolitano and @ucsc: stop this outrageous union busting and negotiate in good faith.
This is disgraceful. All workers deserve the right to bargain and strike for better wages and benefits. To Janet Napolitano and @ucsc: stop this outrageous union busting and negotiate in good faith.
Retweet if you want your city, town, or state to do this: vice.com/en_us/article/…
Explaining marginal taxes to a far-right former Governor: Imagine if you did chores for abuela & she gave you $10. When you got home, you got to keep it, because it’s only $10. Then we taxed the billionaire in town because he’s making tons of money underpaying the townspeople.
Explaining marginal taxes to a far-right former Governor: Imagine if you did chores for abuela & she gave you $10. When you got home, you got to keep it, because it’s only $10. Then we taxed the billionaire in town because he’s making tons of money underpaying the townspeople.
The most successful people I've met: 1. Inherited seed money 2. Exploit their workers 3. Break unions 4. Bribe their congressmen 5. Are innately amoral 5. Self promote above all 6. Have no shame 7. Still complain they're treated unfairly 8. Have seemingly no limit to their greed
The most successful people I've met: 1. Inherited seed money 2. Exploit their workers 3. Break unions 4. Bribe their congressmen 5. Are innately amoral 5. Self promote above all 6. Have no shame 7. Still complain they're treated unfairly 8. Have seemingly no limit to their greed
ICE is a terrorist organization, and its egomaniacal leader is Donald Trump. Sign our petition to #AbolishICE: bitly.com/AbolishICENow
ICE is a terrorist organization, and its egomaniacal leader is Donald Trump. Sign our petition to #AbolishICE: bitly.com/AbolishICENow
Why won't my program type check? @gridaphobe, @RanjitJhala, and Westley Weimer show how to compute inputs that make ill-typed programs go wrong. Their recent JFP paper explains how: bit.ly/2ITLfOo
it's funny because in the book, the vogons destroy the entire planet and the human race in order to build their dumb futuristic transit project
The funniest thing about libertarians worshipping @elonmusk is that he's basically the villain from Atlas Shrugged. He makes all his money from government subsidies and contracts, and by wildly exaggerating production to pump up stock prices.
@elonmusk The government invested more money in Telsa & SpaceX than you, by far. They have no voting shares because you sell off overinflated stocks to keep the public from having a say in your run your publicly funded companies. Subsidies are a drop in the bucket. latimes.com/business/la-fi…
So I broke down my tax bill under Trump's "Cut Cut Cut" proposal. My taxes won't be cut. My tax bill will quadruple.
I just backed It's Magit! The magical Git client on @Kickstarter kck.st/2vxNPTF
for future reference here's how you promote your war profiteering in way that won't offend people. fair.org/home/lockheed-…
@USCERT_gov Have the FCC reported a DDOS attack to you? As a govt agency, they're required to report to you any attacks, correct?
Dragging the guy off the flight could have been one stupid gate agent. United's response shows it's actually the whole company.
Lol are you kidding me? Chaffetz also spent $738 of his campaign donor's money at the Apple Store. Hmm docquery.fec.gov/pdf/359/201610…
Boston airport is allowing all passengers until 2/5 through thanks to a Boston Federal Court decision. Help us spread the word. #NoBanNoWall
Secret docs reveal: President Trump has inherited an FBI with vast hidden powers interc.pt/2jymfLc by @ggreenwald
Trump's Muslim ban is culmination of War on Terror mentality but still uniquely shameful interc.pt/2k3dGK6 by @ggreenwald
We bomb your country, creating a humanitarian nightmare, then lock you inside. That's a horror movie, not a foreign policy.
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
sclv @sclv
2K Followers 3K Following "more important than being able to do mathematics is to be sure the applications are meaningful." - e. bishop • https://t.co/45nJUN3IqD
Edward Z. Yang @ezyang
14K Followers 1K Following I work on PyTorch at Meta. Chatty alt at @difficultyang.
Galois @galois
6K Followers 658 Following Galois applies cutting edge computer science and mathematics to solve difficult technological problems.
Jadon Mertz @JMertz53887
33 Followers 2K Following
arwr @arwr520505
0 Followers 3K Following
Samir Rashid @Rash_Samir
15 Followers 155 Following Passionate hacker. Optimistic about the future of technology. Views/opinions my own.
chinmay maldar @ChinmayMaldar
20 Followers 540 Following junior software engineer at ideadox Interested in Tech #js #reactjs #cloud # nodejs #mongodb
Nesedee @nesedee46331
72 Followers 5K Following
Emma Dumont @jg85FI04cMWFZwR
31 Followers 2K Following
Leatoythos @LeatoythosFcc
17 Followers 657 Following
Eliss_SF @eliss_sf22181
27 Followers 1K Following
Tanishq Pratap @tanishqicreate
1K Followers 5K Following The Indian Tech Guy ✌️| Built CreatorHub, Martially, Habitat, RizzexAI | Notion | Open To Work | Tweets about Tech, Marketing, Self Improvement | LinkedIn 10K
Weyseythea @weyseythea73484
6 Followers 526 Following “Working from the heart with passion is an art!”
Shitheau @shitheau32931
35 Followers 1K Following
Vishal Mahto @Vishal8_m
123 Followers 2K Following Software Engineer@Graebert India | C++ | STL | Data Strcuture and Algorithm | Multithreading | OOPS | Design Pattern | Git | Cmake | Python
Miles Sabin @milessabin
9K Followers 669 Following Partner @underscoreio, @Typelevel cofounder. Type astronaut, grackle/shapeless/scalac/dotty hacker. He/him. Internationalist. https://t.co/LGd9xQh4J2
∃ @pwmosquito
4 Followers 943 Following
Bojing Jia @BojingJia
2K Followers 4K Following MD/PhD student @UCSanDiego | Quant. Bio @mcgillu Genomics in Bing Ren's lab | Third-culture misfit | ボージン/泊静/Bojing https://t.co/kyG8mkACVe
Bao (Michael) @michaelhadev
32 Followers 378 Following CS @UCF '24 | WWDC 22 Scholar | Code + Create + Coffee
Cole Kennelly @ColeGotTweets
14K Followers 10K Following Founder & CEO @volmexfinance Labs, building leading crypto volatility and rates indices. Not financial advice. RTs ≠ endorsements. $BVIV $EVIV $SVIV $BVPR $BDLR
Gabrielle Allen @GabrielleDAllen
55 Followers 59 Following Associate Dean for Research @edILLINOIS; Astrophysicist
Simi @SimiJolaoso
334 Followers 2K Following Building technology focused teams within a range of Hedge Funds, Proprietary Trading Houses and FinTech Companies globally. I tweet too.
yuriko @yuriko23406231
17 Followers 110 Following Full stack developper based in Tky. Pottarian🪄🧙♀️🐈⬛
Paul Kapustin @pkapus... @pkapustin
118 Followers 436 Following Software engineer, functional programming enthusiast, researcher (computational linguistics)
Jackjoe @ijcsitjournal2
233 Followers 2K Following International Journal of Computer Science and Information Technology (IJCSIT) - INSPEC,WJCI Indexed (H- Index 60) #Computer_Science #Big_Data #IOT #AI
Functional Works @Functionalworks
7K Followers 1K Following A hub for everything Functional Programming. News, tips and open source projects to help you get your next functional job. | Part of the @Workshub family
Atticist @Atticist
14K Followers 13K Following "For in my nature I quested for beauty, but God, God hath sent me to sea for pearls"
Cog @bradcog
183 Followers 969 Following PhD in Computational Neuro, currently directing AI projects
ggbozzo #BLM #ANTIFA @ggbozzo
361 Followers 5K Following
Sean @mankykitty
241 Followers 1K Following Random 80s child with random ideas. Opinions are my own, obvs.
Саша Богиће... @v0d1ch
279 Followers 598 Following 𝜆𝑥.𝑥 Dad~Haskeller~Snow/Skateboarder PGP 9F24F037728301FA #Haskell #Nix #Hydra #Cardano
Daniel Schaefer @DrJohnZoid
272 Followers 1K Following 🇩🇪 in 🇹🇼 Writing software on disk and in flash for @FrameworkPuter. (系統軟體工程師) https://t.co/zcRZBYzrlu OS: @NixOS_org
vaibhav sagar @vbhvsgr
2K Followers 5K Following future trophy husband; @recursecenter f1'16; 🇦🇺/🇮🇩/🇮🇳; he/him https://t.co/VGk6nI4TOO https://t.co/64Kipz3ghV https://t.co/YetTYcxcvQ on bluesky
Cyrus Omar (now mainl... @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHMbK2 🌿 asst professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
LIVE 2021 @liveprog2021
236 Followers 281 Following Workshop on live programming, coming to a conference near you soon. Brought to you by @brianhempel and @samlau95.
Thread Ripper @accthacked0
0 Followers 5K Following
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Edward Kmett @kmett
16K Followers 823 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
gabby @GabriellaG439
15K Followers 76 Following Author of @dhall_lang, https://t.co/YzieN4kyo2, and principal engineer at @Mercury I'm a midwife to the hidden beauty in everything she/her 🏳️⚧️
Edward Z. Yang @ezyang
14K Followers 1K Following I work on PyTorch at Meta. Chatty alt at @difficultyang.
Ilya Sergey @ilyasergey
6K Followers 959 Following Associate Professor at @NUSComputing. Programming languages, Lean proofs, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Erik Meijer @headinthebox
31K Followers 2 Following
Galois @galois
6K Followers 658 Following Galois applies cutting edge computer science and mathematics to solve difficult technological problems.
John Carmack @ID_AA_Carmack
1.1M Followers 273 Following AGI at Keen Technologies, former CTO Oculus VR, Founder Id Software and Armadillo Aerospace
Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Senior Oops Engineer @ReinH
20K Followers 2K Following doin capitalism a frighten, https://t.co/mROKLREFXT deleted my bsky account because of the racism don't ask me to come back
austin 🇵🇸 @stdlib
2K Followers 397 Following we altered the flow of time, so that the world might once again feel small (bg: Roses, Butterfly and Puppies, by Nagasawa Rosetsu)
Carter T Schonwald @cartazio
2K Followers 754 Following mathy, Computer Scientist, Engineer. Extrovert! https://t.co/P6pYt6qnbl, https://t.co/l5GDSjx0Aq, etc [email protected] [email protected], etc etc
vaibhav sagar @vbhvsgr
2K Followers 5K Following future trophy husband; @recursecenter f1'16; 🇦🇺/🇮🇩/🇮🇳; he/him https://t.co/VGk6nI4TOO https://t.co/64Kipz3ghV https://t.co/YetTYcxcvQ on bluesky
Dongseok Jang @d1jang
14 Followers 17 Following Web browser enthusiast, dabbler in guitar music, technically immune to spicy food
Cynthia Nixon @CynthiaNixon
230K Followers 559 Following Tony, Emmy and Grammy award winning actor, lifelong New Yorker and progressive advocate.
Hbomberguy @Hbomberguy
471K Followers 4K Following 🖥️ Gaming Youtuber, Media Critic, Philosopher King 🤴 💙 https://t.co/vKvrwjA92K 📩 Enquiries to [email protected]
Current Affairs @curaffairs
175K Followers 642 Following A magazine of political commentary, analysis, and amusements.
Existential Comics (f... @existentialcoms
402K Followers 167 Following A philosophy webcomic about the inevitable anguish of living a brief life in an absurd world. Also jokes. Follow me on bluesky: existentialcomics
Reveal @reveal
76K Followers 773 Following Nonprofit investigative newsroom. 📧 Subscribe: https://t.co/FvuMqWbx9J 🟢 Donate: https://t.co/a2ZbAA8Y08 🎧 Podcasts: https://t.co/pUNyKJIq2n
Michael Brooks @_michaelbrooks
77K Followers 1K Following Host of the Michael Brooks Show, join: https://t.co/pyEwUQtbBR @tmbsfm co-host Weekends @jacobinmag Contributor, @Majorityfm Co-host Woke Bros.
New York City Antifa @NYCAntifa
62K Followers 958 Following Antifascist research and action in the five boroughs.
Adam Johnson @adamjohnsonCHI
163K Followers 2K Following co-host @citationspod, writer at https://t.co/pKhO6hyJ5M
Zaid Jilani @ZaidJilani
149K Followers 4K Following Subscribe to my newsletter, The American Saga, for news and views aimed at all Americans: https://t.co/gvVWltzNcM.
Brad Lander @bradlander
92K Followers 5K Following Serving my last few months as @NYCComptroller. My run for Mayor didn't go quite as I mapped it out ... but I'm feeling very hopeful nonetheless. #FightDontFold
Stefania Maurizi @SMaurizi
66K Followers 4K Following Investigative journalist @fattoquotidiano,ex Repubblica ex Espresso,has worked on all WikiLeaks releases+Snowden files.PGP+SD:https://t.co/lfJ6ZgoN7C
Barton Gellman @bartongellman
51K Followers 876 Following Senior advisor @BrennanCenter | Author 'Dark Mirror' & 'Angler' | ex-Atlantic & Wash Post | Lecturer, Princeton | Contact: https://t.co/Wqg7VbaByO
Benchmark Politics @benchmarkpol
12K Followers 125 Following
Thomas M. DuBuisson (... @MDTom
304 Followers 377 Following I like safe languages and unsafe problems. Analyzing code, encrypting data, processing encrypted data, toying with the whiz-bang parts of tech (CV, AI) all fun.
Klaus Gleissenthall @kgleissen
278 Followers 320 Following Assistant Professor in Computer Science at @VUamsterdam.
Tulsi Gabbard 🌺 @TulsiGabbard
3.8M Followers 1K Following Director of National Intelligence. Former Presidential candidate & Congresswoman. Soldier. NYT bestselling author. (Views do not reflect position of USG/DoD)
Neil P Chue Hong (he/... @npch
2K Followers 2K Following Prof of Research Software Policy & Practice @EdinburghUni @epcced @SoftwareSaved. @Pwrightsstudio Mentored Playwright 2020. #cinemaforall Tweets my own.
Nina Turner @ninaturner
617K Followers 7K Following Former Ohio State Senator. Founder: @StrikeForAll. Senior Fellow: @RacePowerPolicy. National co-chair: Bernie Sanders 2020. Cohost: @2waytvapp’s The Group Chat
Green Party US 🌻 @GreenPartyUS
99K Followers 827 Following Official Twitter account of the Green Party of the United States // Twitter oficial del Partido Verde E.E.U.U. https://t.co/43mVLkVoEx
Matt Bruenig @MattBruenig
188K Followers 1K Following @NLRBEdge: https://t.co/E6kqP2rb61 @PplPolicyProj: https://t.co/djknS83YJd The Bruenigs podcast: https://t.co/Wtpbn0UcHT
jeremy scahill @jeremyscahill
403K Followers 5K Following Journalist at @DropSiteNews. Wrote Blackwater & Dirty Wars. Proton mail: [email protected]. DM for signal.
Jason Leopold @JasonLeopold
130K Followers 4K Following Investigative Reporter @business. 'FOIA terrorist.' Band Tshirt hoarder. Subscribe to my newsletter FOIA Files. Signal 213-270-4334. [email protected]
DSA @DemSocialists
337K Followers 5K Following Democratic Socialists of America is the largest and fastest growing socialist organization in the USA. Students: @ydsa_ 🌹 Tweets are not official statements.
NYC-DSA 🌹 @nycDSA
57K Followers 2K Following New York City Democratic Socialists of America https://t.co/L0Zi8hVWS4 Get Involved: https://t.co/fFdi6WMSvs 📸 https://t.co/jxOKhmq5hp
The Intercept @theintercept
822K Followers 399 Following Fearless, adversarial journalism. Join our newsletter to get our best investigative reporting delivered to you: https://t.co/eYtvizHD22
Lee Fang @lhfang
333K Followers 3K Following Independent Journalist. Reporting primarily on Substack via https://t.co/6OY0EhDPV8 Contact email on my website.
Kshama Sawant @cmkshama
103K Followers 7K Following Candidate for Congress against Warmongering Democrat Adam Smith • Former Seattle Councilmember • Socialist • Workers Strike Back • https://t.co/bdn2DoF8Lc
David Sirota @davidsirota
348K Followers 3K Following Founder, @LeverNews; Host, https://t.co/SQJre1meSD; WGA winner/Oscar nominee for #DontLookUp; spouse of @EmilyforCO; Denverite, dad, member of Nuggets Nation.
CEPR @ceprdc
49K Followers 2K Following Other places to find us: BlueSky: @ceprdc.bsky.social | FB/IG/TikTok: @ceprdc
Beat the Press @beat_the_press
7K Followers 6 Following A feed of posts from Beat the Press, @DeanBaker13's commentary on economic reporting. Support Beat the Press on Patreon: https://t.co/9JthmbcK5C
Dean Baker @DeanBaker13
72K Followers 293 Following Senior economist at the Center for Economic &Policy Research (@ceprdc). Blog-- Beat the Press (@beat_the_press) Tweets are my own views. @deanbaker13.bsky.socia
Jeremy Gibbons @jer_gib
2K Followers 259 Following Christian, functional programmer, bass player, increasingly absent-minded prof. Also @[email protected]
Edward Snowden @Snowden
5.7M Followers 1 Following I used to work for the government, but now I work for the public.
Nadia Polikarpova @polikarn
4K Followers 291 Following Associate prof @ucsd_cse. Building tools for program verification and synthesis.
Don't Read The Commen... @AvoidComments
20K Followers 0 Following Tweets periodic reminders to not read the comments section for, well, pretty much anything, ever. An @OptimistPanda production.
Lambda Jobs @LambdaJobs
2K Followers 683 Following Jobs for functional programmers! λ Haskell | Lisp | Clojure | Elm | OCaml | F# | Scala | Erlang | Elixir etc.
Kristopher Micinski -... @krismicinski
7K Followers 3K Following As of ~Sep '25, I have moved off Twitter, email me for personal thoughts ([email protected]). Tweets do not represent *anyone's* views, especially mine.
Katie Ots @katiejots
4K Followers 447 Following Functional programmer. Swing dancer. Australian. Opinions my own. She/her.
Matthew Pickering to @mpickering_
737 Followers 229 Following
/plæd•fɪnʧ/ is o... @plaidfinch
454 Followers 782 Following email me! [email protected] @plaidfinch.net on 🟦 λ □ · ν ○ · □ ◇ Δ ○﹕□ ( □ ○ → ○ ) → □ ○
Gowtham Kaki @GowthamK
483 Followers 376 Following Assistant Professor @CUCompSci and @cuplv. Programming Languages and Formal Methods. Village idiot.
Trends for United States
You might like
