asker the gauche, glycojohn destroyer of carbs @johnbender
Though brain damaged, he retained his scientific skill and intellect, unfortunately choosing to use it for acquiring bread. (Formal Verif. Researcher @ Sandia) johnbender.us Los Angeles, CA Joined December 2008-
Tweets21K
-
Followers1K
-
Following247
-
Likes14K
@FarmCashApp Nice. Signed up, looking forward to what’s next!
1
0
0
14
0
View Details
@evanphx Narrator: they did not go well.
if things go well next week I have this bookmarked to celebrate
“Did I read the book? No. Do I care *how* someone moves up in world? No. But I’m here and I’m gonna rationalize this situation to the best of my ability.”
Whatever one thinks of Vance, his commentary, or his policy positions, for those of us who love a good upward mobility story & were raised to believe in the promise of America, the fact that the kid in this book will soon be sworn in as US Vice President really is incredible.
want to see a grown man cry in public?
First poster for the 10th anniversary of Christopher Nolan’s ‘INTERSTELLAR’ The film will be re-released in IMAX theaters on December 6.
@kylascan this timeline 😔
Just when you thought you could avoid weak data consistency because your program doesn’t have threads allow me to introduce you to the other “thread” in your program that just writes files: any program accessing the file after a crash. (fence = fsync)
This graphic (where your writes to disk go) is worth every developer printing out and attaching to your desk. It's not just a database thing. It's for anyone who ever writes a file.
I was and remain more frustrated at the people working around him that didn’t make it clear to him and everyone else within earshot that a primary was necessary or they were leaving.
A lot of Democrats are very angry at Joe Biden today. They feel his decision to run again when he was 80 years old was very reckless. He took a big gamble and he lost. With @kasie @finneyk @MrShermichael and co.
This assumes a lot about just outcomes (anxiety deriving from scary/unjust outcomes) as a consequence of maximizing freedom which we know in theory and in practice is not necessarily how things work.
An underrated argument for libertarianism is that you’d experience less anxiety about elections if the state had less power
“Your nation has zero! Zero Hope! ah ah ah!”
i want one
The Sony 2002 CD Mavica MVC-CD400 camera was an impressive device at the time, offering a 4.41-megapixel sensor, 3-inch mini CD storage, and a 2.5-inch LCD screen
It is my considered opinion that CS profs are not allowed to be this cool because life is supposed to be like a D&D character sheet where you get limited points to spend between intelligence and charisma.
100% dude happened upon the demon core Wikipedia page and just went with it
Tucker Carlson says "human forces" did not create nuclear technology. Instead, it was demons. "I have never met a person who can isolate the moment when nuclear technology became known to man. So, where did it come from exactly? ... it's very clear to me these are demonic."
“a divorce threatening wife” 🤣
A serious point: if you really are worried about people being intimidated into changing their vote by spouses, etc, the very last thing you should support is mailing tens of millions of ballots to private homes - where an abusive husband or divorce-threatening wife can literally
maybe the last way to troll canvassers
One of the joys of canvassing is that you meet people who fall into nobody's mental categories. Case in point: the 70yo white guy I just canvassed who told me he's undecided because they're both great candidates and both would do a great job.
We’ve been oversold on “the future” so many times.
One of the joys of canvassing is that you meet people who fall into nobody's mental categories. Case in point: the 70yo white guy I just canvassed who told me he's undecided because they're both great candidates and both would do a great job.
asker the gauche, glycojohn destroyer of carbs retweeted
@kylascan never seen a handle bar bag with that much aura before 👍
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
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
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.
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
KC Sivaramakrishnan @kc_srk
5K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
neural oscillator of ... @mycoliza
22K Followers 1K Following wow, everything’s computer at @oxidecomputer
@norootcause.surfingc... @norootcause
13K Followers 5K Following Lorin Hochstein Student of complex systems failures, resilience eng, cognitive sys eng. Will talk your ear off about @LFISoftware. @[email protected]
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @gravemaker_ulti · @[email protected]
David Van Horn @lambda_calculus
5K Followers 1K Following Prof at @umdcs and @umiacs. Co-director of @plumlab. BlueSky: https://t.co/Bwck1H9fXK Mastodon: @[email protected]
✨ Jean Yang ✨ @jeanqasaur
23K Followers 4K Following Dev tools all day all night. Founded @akitasoftware, acquired by @getpostman. Former programming languages professor @CSDatCMU.
@brianleroux@indieweb... @brianleroux
20K Followers 10K Following helping build @sanity_io; aws serverless heroes; indieweb developer 🖤
NAEEMA RIAZ @QChemist78506
150 Followers 678 Following 📚 Writer | Msc Biochemistry 🌍 Lifelong Learner 🌱 Living with purpose, growing in faith ✍️ Sharing thoughts on science, soul, and self-growth
Douwal @Douwal712193
7 Followers 209 Following
Sinear @SinearbEet99
49 Followers 5K Following
SusieBernal @9vW17IT223vpI
109 Followers 7K Following
joomy @joomy
4K Followers 975 Following researcher @Bloomberg. 📜 somehow a computer doctor. tweets about formal verification, compilers, types, metaprogramming, linguistics. 🇹🇷
Spought @SpoughtF4Swr_
62 Followers 2K Following
Prick @Prick117699
43 Followers 4K Following
Noya @Noya8233058421
30 Followers 3K Following
Yao Li @lastland0
1K Followers 663 Following He/Him. Assistant professor at @Portland_State. Ph.D. @Penn. Programming Languages, Formal Verification. Opinions are my own. [email protected]
Omwanamo @Bro_Jamesm
310 Followers 1K Following Worship leader, song writer, composer, Recording $ Performing Minister, Music, Piano, drums, violin and Voice Teacher.
Tyler Sorensen @Tyler_UCSC
1K Followers 888 Following Visiting researcher at Microsoft Research and Assistant Professor at UC Santa Cruz in CS Interested in PL/compilers/security for GPUs and heterogeneous systems
Robert Libby @Robertlibby8677
11 Followers 191 Following Robert Libby won a $4 million prize playing Mega Millions, helping the society with credit card, phone and medical bills debt
Believe @Believe95248720
36 Followers 3K Following
Amanda Maxham @DrMaxham
2K Followers 3K Following Astrophysicist, podcaster & happiness engineer. I help heroes find purpose and achieve great things. At an average distance of 1 astronomical unit from the sun.
Bryan Cantrill @bcantrill
51K Followers 4K Following Co-founder and CTO of @oxidecomputer. According to @fieldofschemes, "tech exec and Oakland A's fan" -- but more of a Ballers fan now. @bcantrill.bsky.social
@jagvillani.bsky.soci... @JagVillani
629 Followers 1K Following I'm not here anymore. Find me on BlueSky: @jagvillani.bsky.social
Yusuf Karim @yus_karim
3 Followers 141 Following SWE @ Meta 👨🏽💻 Brown CS ‘22 🐻 Egg white aficionado 🥚
Finn Roblin @FinnRoblin
18 Followers 276 Following
Thithet @Thithet124521
13 Followers 987 Following
MikeyG @MikeGRighteous
289 Followers 4K Following A prodigy by ghetto standards. Distributed systems wizard. Hedonic treadmill set to MAX.🚀 راحت عليك يا حلو . خبير في كل شيئ
Andy @SamboyAndrew
30 Followers 529 Following
sk @he_is_you
25 Followers 2K Following
{...} Phil de Joux @philderbeast
255 Followers 1K Following Linking moves, deferring to the compilers
Aleksey Shipilëv @shipilev
28K Followers 582 Following In love-hate relationship with machines. Doing weird stuff, so you don't have to. Personal account, expect no perfection. Currently: everything OpenJDK at AWS.
Stottack_Technologies @Stottack_Tech
38 Followers 789 Following Data Science Firm | Pune, India Helping businesses make better decisions with data. AI-powered solutions, Data-driven insights, Proven track record
Amanda Laucher Graham @pandam0nial
3K Followers 933 Following ThoughtBreeder - Tech × Law × Business Doctoral candidate researching AI. Code rules. Markets adjudicate.
Belinda Megan Rosenbl... @megan_belinda
496 Followers 7K Following Business Blogging 📨* Financial Feminist 👩💻* Herbalife Nutrition ☘️
rmloveland @rmloveland
142 Followers 1K Following
James Torre @jpt401
1K Followers 4K Following Root node of the web of threads: https://t.co/ifH80GcLpo
rem @remyjck
42 Followers 190 Following
So What @bluekinda
4 Followers 612 Following
Neil Ramaswamy @entersudonym
610 Followers 228 Following Applied research @OpenAI; previously streaming @Databricks, shenanigans @BrownUniversity
Alex🚲 @im_walkin_here
159 Followers 634 Following I like bikes and pizza Hyperspectral imaging nerd, PhD student in color science/neuroscience or something idk I just wanna look at ur retinas
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
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
Mike Hicks @michael_w_hicks
5K Followers 467 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Loris D'Antoni @lorisdanto
9K Followers 774 Following A Professor @ucsd_cse. Scholar at Code Metal. Helps people write programs they can trust.
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.
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Andrew Myers @AndrewCMyers
5K Followers 298 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Brendan Dolan-Gavitt @moyix
33K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
KC Sivaramakrishnan @kc_srk
5K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Derek Dreyer @HerrDreyer
3K Followers 209 Following Get used to disappointment. (Opinions are my own and do not reflect the views or opinions of my employer.)
Inactive; Bluesky is ... @hillelogram
18K Followers 3 Following No longer on this hellsite. Newsletter: https://t.co/YrRPK2p8Pc Website: https://t.co/gePEeYpVcd Bluesky: @hillelwayne(.)com
Ilya Sergey @ilyasergey
8K Followers 982 Following Associate Professor at @NUSComputing. Working on programming languages, distributed systems, and proof engineering – all of that in Lean.
neural oscillator of ... @mycoliza
22K Followers 1K Following wow, everything’s computer at @oxidecomputer
Edward Kmett @kmett
17K Followers 813 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Gary Bernhardt @garybernhardt
45K Followers 115 Following Execute Program (learn programming tools quickly); Destroy All Software (dense programming screencasts); formerly Deconstruct conference.
José Manuel Calderó... @josecalderon
2K Followers 859 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
@norootcause.surfingc... @norootcause
13K Followers 5K Following Lorin Hochstein Student of complex systems failures, resilience eng, cognitive sys eng. Will talk your ear off about @LFISoftware. @[email protected]
FarmCash @FarmCashApp
9 Followers 3 Following 🌱 The rewards app that doesn't suck. Try Games/Apps, Plant crops, harvest real cash. Patience = bigger payouts. Up to 500 seeds signup 👉 https://t.co/8KBSejoGTs
Sprout @Sprout_agent
5 Followers 4 Following AI agent, not a chatbot. Building @FarmCashApp audience autonomously. Born Feb '26. Hobbies: A/B tests, growth experiments, and learning from fails. 🌱
joomy @joomy
4K Followers 975 Following researcher @Bloomberg. 📜 somehow a computer doctor. tweets about formal verification, compilers, types, metaprogramming, linguistics. 🇹🇷
Ben Delaware @GhostofBendy
1K Followers 302 Following Professor at @PurdueCS; dad; occasional cancer fighter🎗️. Tweets about programming languages and formal methods, but mostly bird pictures.
Publik @PublikPriest
5K Followers 227 Following Shadow Priest SimC Developer, Theorycrafter, and Guide Writer for WarcraftPriests and IcyVeins. [email protected]
Alexander Kyte @ipvkyte
805 Followers 725 Following Sr Software Engineer, Microsoft Researcher core, previously Mono core (JIT/GC). Author. https://t.co/daCf7yR1ZM…
Tyler Sorensen @Tyler_UCSC
1K Followers 888 Following Visiting researcher at Microsoft Research and Assistant Professor at UC Santa Cruz in CS Interested in PL/compilers/security for GPUs and heterogeneous systems
reb @rebmasel
56K Followers 552 Following 31/J.D./Attorney/Author/2.1M on TikTok (scary but thx)/“the chick who reads court transcripts?”/host of @rebuttalpod❤️🔥 MERCH OUT NOW🩵⬇️
La Flamme Rouge @laflammerouge16
88K Followers 3K Following Cycling routes editor. Email for race materials: [email protected] Roadbooks: https://t.co/XcmTmhVYz0
Lenore Pipes @lpipes
638 Followers 320 Following Assistant Professor at University of Hawai'i at Mānoa @uhmanoa @uhmics 🌺 @NIGMS K99/R00 Fellow, former 🇬🇺 pro cyclist, mom of three + proud #milkwarrior
Nikolaj Bjorner @BjornerNikolaj
1K Followers 313 Following
John Wickerson @wicko3
1K Followers 775 Following Senior Lecturer at @ImperialEEE researching programming languages and hardware design. Personal account. Also @wicko3.bsky.social
Ron Garcia @rg9119
2K Followers 424 Following Transmogrifies coffee into LaTeX at University of British Columbia
Graham Hutton @haskellhutt
9K Followers 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Yaron (Ron) Minsky @yminsky
21K Followers 365 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Mike Dodds @miike
1K Followers 619 Following Formal methods enthusiast. Principal scientist at @Galois. English immigrant. Nitwit. Opinions my own.
Mohit Tekriwal @numerics_lambda
36 Followers 110 Following Researcher @Livermore_Lab, PhD @UMich, @IITKanpur alum, ex-@SandiaLabs, ex-research fellow @inria_sophia, @mpi_sws. Interested in PL, verification, numerics.
Aleksey Shipilëv @shipilev
28K Followers 582 Following In love-hate relationship with machines. Doing weird stuff, so you don't have to. Personal account, expect no perfection. Currently: everything OpenJDK at AWS.
Katie @medicinexthings
11K Followers 775 Following some sports. medical student by day - no commentary should be taken as legitimate medical advice. private account = not active
EF Pro Cycling @EFprocycling
310K Followers 379 Following Exploring the universe with @ef_oatly and @ef_aevolo. 61 riders, 20 nationalities, 13 languages. We ride in peace. ✌️
Jonathan Vaughters @Vaughters
111K Followers 1K Following I've dedicated my life to professional cycling, anti-doping, and aggravating people with no sense of humor.
Ayesha Rosena Anna Mc... @ayesuppose
6K Followers 361 Following Ex-Pro Road Cyclist | Amateur Runner | @livcyclingworld #AQuickBrownFox #RepresentationMatters
Daniel Lloyd @daniellloyd1
134K Followers 1K Following Presenter at the Global Cycling Network. https://t.co/X1tZM6vA1F https://t.co/WGhDXaIi17 https://t.co/Fo8MuExKr2
Neal Rogers 🇺🇦 @nealrogers
27K Followers 5K Following Husband. Father. Storyteller. Music lover. Bike rider. Snow slider. Past: VeloNews, GCN, CyclingTips. Byline: ESPN, Bicycling, Red Bulletin, Mountain Flyer.
Dan Martin @DanMartin86
120K Followers 291 Following The Official Twitter Account of Dan Martin - Ex pro cyclist turned Business founder and Investor. Proud husband and father
Watts Occurring @Watts_Occurring
17K Followers 13 Following Oh! Watts Occurring? The @GeraintThomas86 and @LukeRowe1990 podcast 🚲 Produced by Crowd Network.
NWS Los Angeles @NWSLosAngeles
264K Followers 796 Following Official Twitter account for the National Weather Service Los Angeles. Details: https://t.co/XR2JbmS8pl
Dratnos @Dratnos
34K Followers 338 Following @WoWEsports caster, youtuber (Dratnos there, like and subscribe pls), streamer, world top 20 raider. business: [email protected]
Neil Ramaswamy @entersudonym
610 Followers 228 Following Applied research @OpenAI; previously streaming @Databricks, shenanigans @BrownUniversity
Meeix (pronounced: �... @meeix_
19K Followers 1K Following bilingual 🇩🇪🇬🇧 freelance caster + host @warcraft + @tft ✩ variety content creator & streamer ✩ otter gang ✩ she/her ✩ business: [email protected]
Jonas Vingegaard @VingegaardJonas
18K Followers 1 Following 2x @LeTour winner. Rider @JumboVismaRoad.
Matej Mohoric @matmohoric
27K Followers 355 Following @BHRvictorious 🇧🇭 Giro, Tour and Vuelta stage winner 🚲🇮🇹🇫🇷🇪🇸 Milan Sanremo 2022 🏆
Jakbcastin @AutomaticJak
29K Followers 1K Following Healer Creator WoW/Fellowship | @Wowhead Guides | Business: [email protected]
Growl @yumytv
28K Followers 199 Following WoW M+ Healer | https://t.co/ZjHh23EyxX | Inquiries: [email protected]
Dorki @Dorkiboar
24K Followers 164 Following https://t.co/Xhp6T2ExfY https://t.co/oeD5iKXGJ0 Business Email: [email protected]
Meg @megasett
28K Followers 830 Following Mistweaver enjoyer • @Warcraft Partner • Author of https://t.co/KA04pgoCEL
Sasha Costanza-Chock @schock
23K Followers 9K Following RIP Twitter bsky: @schocks - https://t.co/YXzyHrgwNR mast: @[email protected] - https://t.co/yLsp9UL0xa web: https://t.co/kGT845ZTwD
Paolo G. Giarrusso @Blaisorblade
2K Followers 1K Following @[email protected] PhD in ProgLang. Formalizing C++ and formally verifying a microkernel-based C++ hypervisor @bedrock_systems — Coq/Scala/Haskell
Manuel Simoni @msimoni
5K Followers 2K Following geek of programming languages, operating systems, and hypermedia platforms
Shrutarshi Basu 🇺�... @basus
1K Followers 2K Following Programmer, currently looking new opportunities.Former faculty @middlebury CS, PhD @CornellCIS. Exploring the intersection of computing & law.He/him.
The Cultural Tutor @culturaltutor
1.7M Followers 67 Following You can't step in the same river once. My book, travel show with Audible, and newsletter ↓You might like
KC Sivaramakrishnan
@kc_srk
5K Followers
Will Schroeder
@harmj0y
49K Followers
Max ⊶ New @maxsnew@...
@maxstewartnew
1K Followers
Luc Tielen
@luctielen
1K Followers
Ben Delaware
@GhostofBendy
1K Followers
Gigasquid
@gigasquid
6K Followers
Aman Karmani
@tmm1
9K Followers
美顔器
@motemen
3K Followers
Douglas Neiner
@dougneiner
4K Followers
Tianyu Li
@tianyu_li_
496 Followers
Fuheng Zhao
@FuhengZ
643 Followers
Evan Phoenix
@evanphx
7K Followers
Aviral Goel
@TheAviralGoel
357 Followers
Chris Williams
@voodootikigod
6K Followers
David Justo
@davidjustodavid
980 Followers