The Grumpy SRE (rob) @grumpy_sre
All opinions are my own. | SRE @spring_health | 🦣 🏒 Fan | Racketeteer Imposter robdurst.com Joined July 2025-
Tweets83
-
Followers31
-
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
11
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…
Jessie @c_jessie1
170 Followers 3K Following
Afwalcea @Afwalcea357597
100 Followers 2K Following
Charlene @brown13charlene
695 Followers 3K Following
Allison @j4S0pvx24InT8A3
13 Followers 585 Following Need a new content parntnerrr heheeh, link beloww lets see if we are closeeee!
Monserrate Legros @monserrate69357
89 Followers 4K Following
Alice @aliceguadian44
373 Followers 3K Following
Christy @christy_moye
2K Followers 3K Following
Almir Sarajčić @ultrathinktrash
195 Followers 805 Following Software developer at @optimumBA. Shilling Elixir and AI codegen/vibe coding. https://t.co/yFzzsIW0YV
Srogfe @Srogfe328064
54 Followers 2K Following
Alfarxarh @Alfarxarh10125
110 Followers 3K Following
Selena @Weevin223
17 Followers 917 Following
Joan Plummer @JoanPlummer9
2K Followers 2K Following
FromJavaToHaskell @to_haskell
204 Followers 1K Following Software developer. I am learning Haskell programming language.
Nick Sovich @LabTrainsNick
102 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!
Dr. Victor Obi MD @Drvictorobi
6K Followers 6K Following Health & Nutritional researcher | Sharing insights on meditation and health | Empowering you to live a healthy life | Wellness enthusiast.
Doju @Doju3162
44 Followers 513 Following
Orklaxe @Orklaxe4076077
5 Followers 32 Following
Stunning Homes 📌 @DecorsPlaza
894 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
84 Followers 1K Following
NHL Rumour Report @NHLRumourReport
60K Followers 27K Following NHL rumours | We aren't the NHL | Also at @NHLRRcom | You can now support us on X through Subscriptions!
Ruth Ema @RuthEma441280
36 Followers 382 Following
Niall Murphy @niallm
4K Followers 3K Following CEO, Stanza Systems. [email protected] for automation
Bart Blast @Bart_Blast
708 Followers 5K Following Building Hologram, a full-stack Elixir web framework
Adrianna Chang @adriannakchang
670 Followers 333 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
487K 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
503 Followers 10 Following Sharing OpenAI's Codex CLI tips and product updates. Views and shares do not reflect @OpenAI positions.
Ben Greenman @ben_greenman
119 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
666 Followers 531 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
561 Followers 501 Following
Lisp Flavored Erlang @ErlangLisp
2K Followers 1K Following Now on Mastodon at https://t.co/EU5aSWmI99
Diego Crespo🎄 @deusinmach
173 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
867 Followers 78 Following We're building a community of passionate hackers in the National University of Singapore 🦆 💻
Sacha Ayoun @SachaAyoun
216 Followers 262 Following PostDoc at Imperial College London with Azalea Raad and Peter O'Hearn Formally core developer on the Gillian Platform
Michael Ballantyne @mj_ballantyne
139 Followers 682 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
810 Followers 226 Following Account on hiatus. Please find us at @[email protected] and @bobkonf.bsky.social
Geoff Knauth @gknauth
554 Followers 600 Following software developer, flight instructor, coxswain/rower, linguist
Alex Knauth @AlexKnauth
136 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 352 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: #PLDI2025. Tweets by @konskallas and @lastland0
José Valim @josevalim
53K Followers 70 Following Creator of @elixirlang. Chief Adoption Officer at @dashbit, where we build https://t.co/FK8F4URbVG and https://t.co/xncEVrvWml.
Michael Bargury @mbrg0
8K Followers 484 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 210 Following OG developer advocate @StellarOrg. "Work, and stuff will happen".
Tampa Bay Times @TB_Times
332K 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 530 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 505 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
858K 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
58,4 B posts
14,4 B posts
3.653 posts
12,8 B posts
1.410 posts
27,9 B posts
2.306 posts
12,4 B posts
2.563 posts
263 B posts
4.999 posts
35,8 B posts
34,9 B posts
2.035 posts
2.777 posts
1.780 posts
5.880 posts
20,2 B posts
3.140 posts
You might like
Elon Musk
@elonmusk
225.3M Followers
Barack Obama
@BarackObama
130.6M Followers
Cristiano Ronaldo
@Cristiano
115.7M Followers
Justin Bieber
@justinbieber
108.9M Followers
Donald J. Trump
@realDonaldTrump
108.8M Followers
Rihanna
@rihanna
107.6M Followers
Taylor Swift
@taylorswift13
93.7M Followers
NASA
@NASA
87.8M Followers
Lady Gaga
@ladygaga
81.7M Followers
YouTube
@YouTube
79.0M Followers
Kim Kardashian
@KimKardashian
74.4M Followers
The Ellen Show
@EllenDeGeneres
73.2M Followers
X
@X
68.9M Followers
Virat Kohli
@imVkohli
67.9M Followers
Bill Gates
@BillGates
66.4M Followers
Selena Gomez
@selenagomez
64.9M Followers
Neymar Jr
@neymarjr
63.9M Followers
CNN Breaking News
@cnnbrk
63.9M Followers
CNN
@CNN
63.7M Followers
Justin Timberlake
@jtimberlake
59.2M Followers