The Grumpy SRE (rob) @grumpy_sre
All opinions are my own. | SRE @spring_health | 🦣 🏒 Fan | Racketeteer Imposter robdurst.com Joined July 2025-
Tweets83
-
Followers37
-
Following399
-
Likes128
Wow getting into an IDE without AI yelling "AUTOCOMPLETE WITH THIS" every 1 second is so refreshing and a total vibe (pun intended).
0
0
0
18
0
Thought I didn't need Dr.Racket. I have an IDE I used day-to-day and the Magic Racket plugin. However, once I got to some macro work, truly a godsend 🙏
Thoroughly enjoyed! Python: The Documentary | An origin story youtu.be/GfH4QL4VqJ0?si… via @YouTube
The Grumpy SRE (rob) retweeted
Racket - the Language-Oriented Programming Language - version 8.18 is now available from download.racket-lang.org See blog.racket-lang.org/2025/08/racket… for the release announcement and highlights.
The `All` construct for polymorphism within type declarations in typed racket is something I've yet to see before and I do kind of like. See the following for an example of a homebrew'd (and if unidiomatic, please forgive) polymorphic map method. Regardless of your thoughts, we…
The Grumpy SRE (rob) retweeted
Super excited to release the latest version of "A Data-Centric Introduction to Computing" (DCIC). See release notes for 2025-08-27 for what's changed and new (a LOT!): dcic-world.org/2025-08-27/Rel…. dcic-world.org
The Grumpy SRE (rob) retweeted
as an experienced engineer, the worst part of AI right now is the illusion of productivity and constantly battling the sunk-cost fallacy
Working through the first couple parts in Racket this AM. Great stuff!
Working through the first couple parts in Racket this AM. Great stuff!
"You and your research" - Hamming Always inspiring, watched like 10x and even bought the long version book. Can't recommend enough. Link to talk: youtu.be/a1zDuOPkMSw?si…
Long road trip. Cycling between @ttforall and @HaskelInterlude. Came across this gem!! Absolutely loved the class I took which used tidal at @ColbyCollege. Possibly only pure functional class during my time there and also what a vibe, final concert was a highlight of my 4 years!
Long road trip. Cycling between @ttforall and @HaskelInterlude. Came across this gem!! Absolutely loved the class I took which used tidal at @ColbyCollege. Possibly only pure functional class during my time there and also what a vibe, final concert was a highlight of my 4 years!
Description is live! usenix.org/conference/sre…
Deborah @underwood_debor
247 Followers 3K Following
🐉🏯 @Zraueapuin279
43 Followers 2K Following She shines not because she wants to be seen, but because she cannot help it.
Camellia @THxKth4yR6PoVSB
14 Followers 686 Following She remembered who she was and the game changed.
Rebecca @casali_rebecca7
248 Followers 3K Following
Nick @maietta
4K Followers 4K Following CEO of PremoWeb LLC, a California-based startup specializing in publishing solutions, software, and website development. #Omarchy #Svelte #Go #TypeScript
MiriamPansy @n8uAft8IArK4P
14 Followers 690 Following You are never too old to set another goal or to dream a new dream.
Kindo @Kindoapp
2K Followers 69 Following UK’s first rewards points on nursery fees, so every payment gives something back. visit: https://t.co/pb2kjPDJQk
Afwalcea @Afwalcea357597
113 Followers 2K Following
Charlene @brown13charlene
701 Followers 3K Following
Monserrate Legros @monserrate69357
114 Followers 4K Following
Almir Sarajčić @ultrathinktrash
201 Followers 810 Following Software developer at @optimumBA. Shilling Elixir and AI codegen/vibe coding. https://t.co/yFzzsIW0YV
Srogfe @Srogfe328064
56 Followers 2K Following
Alfarxarh @Alfarxarh10125
131 Followers 3K Following
Joan Plummer @JoanPlummer9
2K Followers 2K Following
FromJavaToHaskell @to_haskell
203 Followers 1K Following Software developer. I am learning Haskell programming language.
Nick Sovich @LabTrainsNick
105 Followers 950 Following I’m an engineer, bad public speaker, and aspiring AI researcher. Opinions are my own, I post about serious topics, sometimes serious, sometimes joking.
Aram Hăvărneanu @aramh
3K Followers 1K Following Mathematical engineer bringing type safety to the cloud. Previously worked on CUE @cue_lang. JSR PC, @(R6)+; I wrote the arm64, sparc64, and Solaris Go ports.
Martin @martinmrmar
21K Followers 4K Following Amateur photo snapper, math nerd, wood craftsman, lover of cozy log cabins, books, tacos, and everything Harry Potter. Don't be a catfish. No DMs! Pro-Choice!
Doju @Doju3162
50 Followers 567 Following
Orklaxe @Orklaxe4076077
4 Followers 32 Following
Stunning Homes 📌 @DecorsPlaza
905 Followers 2K Following We share a mix of decor ideas and beautiful concept that will help you create a space that reflects your personality. Daily Amazon links with over 4.5 ⭐ and 🆙
Jennifer Petoff @jennski
5K Followers 1K Following Director, Site Reliability Engineering, Cloud, and Technical Infrastructure Education at Google. World Traveler. Ph.D. Scientist (once-upon-a-time)
wuc9521 @wuc9521
85 Followers 1K Following
NHL Rumour Report @NHLRumourReport
61K Followers 28K Following NHL rumours and speculation | Subscribe on X to support, get bonus content & more! | Also at @NHLRRcom | Not affiliated with the NHL
Ruth Ema @RuthEma441280
33 Followers 374 Following
Niall Murphy @niallm
4K Followers 3K Following CEO, Stanza Systems. [email protected] for automation
Bart Blast @Bart_Blast
823 Followers 6K Following Building Hologram, a full-stack Elixir web framework
Adrianna Chang @adriannakchang
676 Followers 339 Following Rails Infra @shopify | @Carleton_U Grad | Dev Degree Alum 🍁 I like hiking, food, and taking naps with my pup 🐶
Míster Seitán @CuentaMister
489K Followers 45 Following Analizando al Barça en Youtube y brindando información confidencial en Twitter
Cult.Repo (formerly H... @CultRepo
14K Followers 3K Following 🎬 Creators of OSS Origin Stories | Our mission—to document the complete history of every major open source language ever created. Subscribe on YouTube
CodexCli @OpenAICodexCli
639 Followers 11 Following Sharing OpenAI's Codex CLI tips and product updates. Views and shares do not reflect @OpenAI positions.
Ben Greenman @ben_greenman
120 Followers 208 Following
Lean @leanprover
6K Followers 46 Following Lean is a dependently-typed programming language and theorem prover.
OCaml @OCamlLang
5K Followers 18 Following OCaml is a general purpose industrial-strength programming language with an emphasis on expressiveness and safety.
Jens Mönig @moenig
2K Followers 281 Following Lawyer, Learner, Lead Programmer of @UCBerkeley Snap! Researcher @SAP
Snap! Cloud @SnapCloud
1K Followers 55 Following Visually create, save, and share projects, in the cloud, with Snap!, a blocks-based programming language. Brought to you by @UCBerkeley, @SAP and @moenig
JetBrains MPS @jetbrains_mps
2K Followers 14 Following MPS is an open-source tool to create domain-specific languages (DSL). Join us on Slack: https://t.co/3nx94CwCvJ
fsharpJobs @fsharpJobs
2K Followers 16 Following Ping me If you have open #fsharp position or looking for #fsharp job. Account is owned by @sergey_tihon.
Sonic Pi @Sonic_Pi
12K Followers 7 Following The Live Coding Music Synth for Everyone. Express yourself with code whilst learning core Computer Science concepts. Patreon: https://t.co/BGORZyr8FC
notjack @doitwithalambda
662 Followers 530 Following rapid unscheduled torment nexus disassembly expert — nonbinary, she/they, 28 — writes Racket — https://t.co/CdAMGT8e0s — https://t.co/sR9IjRAYKt
Mitch ((No Kings!!)) ... @mwand
559 Followers 500 Following
Lisp Flavored Erlang @ErlangLisp
2K Followers 1K Following Now on Mastodon at https://t.co/EU5aSWmI99
Diego Crespo🎄 @deusinmach
169 Followers 113 Following Man of God. I write the https://t.co/fFGZrEPI0Y blog about Programming, Programming Languages, Technology, and Artificial Intelligence
NUS Hackers @nushackers
866 Followers 77 Following We're building a community of passionate hackers in the National University of Singapore 🦆 💻
Sacha Ayoun @SachaAyoun
217 Followers 263 Following PostDoc at Imperial College London with Azalea Raad and Peter O'Hearn Formally core developer on the Gillian Platform
Michael Ballantyne @mj_ballantyne
138 Followers 681 Following PhD student @neu_prl, making @racketlang a better host for DSLs.
LangDev Conference 20... @langdev2024
53 Followers 48 Following The Language Developer’s Workshop is an informal meeting where language engineering enthusiasts.
Daniel Friedman @dfried00
558 Followers 30 Following
Sam Westrick @shwestrick
1K Followers 594 Following assistant prof @NYU_Courant CS :: PL :: parallel computing :: music :: lead dev of the MaPLe compiler https://t.co/6jBOSBGv9C :: https://t.co/WLZqdK5BRC
Bob Konferenz @BOBKonf
806 Followers 226 Following Account on hiatus. Please find us at @[email protected] and @bobkonf.bsky.social
Geoff Knauth @gknauth
553 Followers 598 Following software developer, flight instructor, coxswain/rower, linguist
Alex Knauth @AlexKnauth
135 Followers 2K Following I like programming languages and functional programming, music, art, math-as-an-art-form, lakes, and other random he|they & 27 https://t.co/midapySGFt
Jeremy Siek @jeremysiek
3K Followers 351 Following Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @[email protected]
Nate Foster @natefoster
6K Followers 1K Following professor @cs_cornell, @p4lang enthusiast, programmer, cyclist, husband, dad.
PLDI @PLDI
5K Followers 974 Following The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2026. Tweets by Jenna DiVincenzo and @konskallas.
José Valim @josevalim
53K Followers 74 Following Creator of @elixirlang. Chief Adoption Officer at @dashbit, where we build https://t.co/FK8F4URbVG and https://t.co/xncEVrvWml.
Michael Bargury @mbrg0
9K Followers 490 Following Breaking AI. Hacked Copilot, hijacked ChatGPT. Building @zenitysec.
10 Tampa Bay @10TampaBay
205K Followers 11K Following Tampa Bay’s official CBS affiliate 📺📱 News 📰 Weather ☀️ Traffic 🚦 Sports 🏈 News tips? 📱 727-577-1010, 📧 [email protected] or reply using @10TampaBay
Dillon Mulroy @dillon_mulroy
13K Followers 3K Following domains guy @vercel ▲ • tweets about functional programming, typescript, neovim, & formula 1 • https://t.co/6Vr6DiQmze • https://t.co/4c0WNBRDIp
Tyler van der Hoeven @kalepail
4K Followers 213 Following OG developer advocate @StellarOrg. "Work, and stuff will happen".
Tampa Bay Times @TB_Times
331K Followers 5K Following Florida's largest newspaper with 14 Pulitzer Prizes. Have story ideas or tips? DM us. Support our local journalism: https://t.co/mFNHsivGio | https://t.co/zFKyWWn4Oh
AuroraWatch @aurorawatch
19K Followers 0 Following Witness the Northern Lights with the University of Alberta's free email alert service for central Alberta. Visit our website for activity, images and more!
Pebble @Pebble
75K Followers 529 Following Wearables with brains for people with heart. Turn tiny moments of awesome into the best times ever. Tell the world how you #MakePebbleYours ❤️
Eric Migicovsky @ericmigi
38K Followers 2K Following Product of my errors. Previously: @beeper @YCombinator @Pebble
American Academy of P... @AmerAcadPeds
136K Followers 504 Following Dedicated to the health, safety and well-being of infants, children, adolescents and young adults.
Johns Hopkins Childre... @HopkinsKids
14K Followers 1K Following Johns Hopkins Children’s Center is ranked among the best children's hospitals in the nation. #KidsHealth #ForTheKids
Paul Dellegatto⚡️... @PaulFox13
111K Followers 1K Following Chief meteorologist at FOX13 in Tampa. Tweeting about weather ⛈ - sports 🏈 - Brody 🐕 Natick, MA native. Fluent in sarcasm.
Tampa Bay Lightning @TBLightning
855K Followers 382 Following Welcome to hockey paradise. Your '04, '20, & '21 Stanley Cup Champions. 🏆 #GoBolts
Sapna Kudchadkar, MD,... @SapnaKmd
17K Followers 3K Following #Anesthesiologist-In-Chief @HopkinsKids. Professor & Vice Chair for #PedsICU & #PedsAnes @HopkinsMedicine. @PICU_Up Director. Researcher. Mom. 🎺
Visit St. Pete-Clearw... @VisitSPC
116K Followers 3K Following Welcome to the official X for St. Pete-Clearwater, Florida - Home to America's Favorite Beaches! ☀️🌴🏖
Tampa International A... @FlyTPA
125K Followers 1K Following Official account of Tampa International Airport, the gateway to the West Coast of Florida
Trends for United States
105 B posts
253 B posts
21,7 B posts
8.944 posts
27,3 B posts
53,6 B posts
15,8 B posts
567 B posts
13,1 B posts
11,9 B posts
19,6 B posts
25,1 B posts
39,3 B posts
116 B posts
30,2 B posts
7.634 posts
15,8 B posts
8.836 posts
70,8 B posts
3.671 posts
You might like
Elon Musk
@elonmusk
226.9M Followers
Barack Obama
@BarackObama
130.0M Followers
Cristiano Ronaldo
@Cristiano
115.2M Followers
Donald J. Trump
@realDonaldTrump
109.5M Followers
Justin Bieber
@justinbieber
107.8M Followers
Rihanna
@rihanna
106.9M Followers
Taylor Swift
@taylorswift13
92.9M Followers
NASA
@NASA
88.0M Followers
Lady Gaga
@ladygaga
81.0M Followers
YouTube
@YouTube
78.4M Followers
Kim Kardashian
@KimKardashian
74.0M Followers
The Ellen Show
@EllenDeGeneres
73.2M Followers
X
@X
68.4M Followers
Virat Kohli
@imVkohli
67.8M Followers
Bill Gates
@BillGates
66.3M Followers
Selena Gomez
@selenagomez
64.5M Followers
CNN Breaking News
@cnnbrk
63.6M Followers
CNN
@CNN
63.6M Followers
Neymar Jr
@neymarjr
63.6M Followers
PMO India
@PMOIndia
59.1M Followers