Racket @racketlang
Official Twitter account for the Racket programming language. Please ask questions at https://t.co/V7rIWhB2rE or https://t.co/k1nOVqq2dI racket-lang.org Boston, MA Joined April 2010-
Tweets10K
-
Followers7K
-
Following74
-
Likes957
Everyone is welcome to join us for the Racket meet-up: Saturday, 6 September 2025 at 18:00 UTC (in 5 minutes 😁) Announcement at racket.discourse.group/t/racket-meet-…
0
0
0
130
0
Help test via snapshots: parallel threads racket.discourse.group/t/help-test-vi…
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.
# (fifteenth RacketCon) TICKETS! October 4-5, 2025, UMass Boston con.racket-lang.org [To register, buy a ticket via Eventbrite](eventbrite.com/e/racketcon-20…). If you cannot attend in-person, there is an option to help support the livestream for remote participants.
EVERYONE is WELCOME 😁 to join us for the Racket meet-up: Saturday, 2 August 2025 at 18:00 UTC Announcement at racket.discourse.group/t/racket-meet-…
Everyone is welcome to join us for the Racket meet-up: Saturday, 2 August 2025 at 18:00 UTC EVERYONE WELCOME 😁 Announcement at racket.discourse.group/t/racket-meet-…
Racket on Digital Ocean App Platform blog.winny.tech/posts/racket_o… via racket-stories.com
Racket July Meet-up Boston Thursday, July 24 6:00pm Northeastern University West Village H Room 366 partiful.com/e/QKGyAUjMJ9Jf…
A great blog post covering a subtle yet significant technical challenge in #langdev: balancing variable bindings and their logical dependencies. A thoughtful read for anyone interested in #qi #racket #lisp #plt @racketlang trustica.cz/en/blog/2025/0…
Racket retweeted
Well, here we go. After well over two years, here's a new version of my programming languages book, PLAI (v3.2.5). As always, free of cost! Can't thank enough all the people named in the acknowledgments. Enjoy! plai.org
Racket retweeted
Created this last year, it's a simple deep learning library in Racket (LISP). Hopefully it's useful for someone. github.com/dev-null321/Ra…
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
deech @deech
5K Followers 1K Following
Yaron (Ron) Minsky @yminsky
15K Followers 333 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
andrew blinn @disconcision
4K Followers 2K Following progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhone
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.
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]
Jack Rusher @jackrusher
8K Followers 205 Following Ex-Bell Labs/AT&T Research'er making art & technology. Extended bio in pinned tweet. 🐘 @[email protected]
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Bozhidar (Bug) Batsov @bbatsov
9K Followers 887 Following Hacker. Lover of parentheses. Emacs fanatic. Author of RuboCop, CIDER, Emacs Prelude and Projectile. Maintainer of nREPL. Not the best, but pretty good.
Mike Hicks @michael_w_hicks
5K Followers 469 Following Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
Bob Nystrom @munificentbob
28K Followers 2K Following https://t.co/pgWITiHpDF, https://t.co/NSvQZjv923
Wilfred Hughes @_wilfredh
3K Followers 3K Following Programming language development, human factors, and a healthy dose of Emacs. Also https://t.co/faGheKDz69 and https://t.co/sqqeQ20uHV
Maxime Chevalier @Love2Code
18K Followers 286 Following 💖 ➞ λ: CS PhD, into compiler design, programming languages, music, simulation, ML/AI, robotics. Follow me code code reviews, stock picks and dating advice.
Björkus 'No time_t t... @__phantomderp
13K Followers 2K Following The C Standard Cannot Be Replaced And Will Never Be Destroyed. ➡ https://t.co/IWEB4XZpve | Avatar @KIINGKIISMET | Banner @Reckless_Moss
svetlyak40wt @svetlyak40wt
2K Followers 2K Following Switched from Twitter to Mastodon. Follow me as @[email protected] #CommonLispMatter
Susan Potter @SusanPotter
7K Followers 2K Following Antifascist. Anti-authoritarian. Pro-privacy. Functional programmer. Recovering SRE. Micro-SaaS, real estate & trading. Outsider. Gay af. Genocide is terrible.
thiago @santi4914
0 Followers 142 Following
Nikita Bobko @nikitabobko
319 Followers 56 Following I work on Kotlin at JetBrains. Amateur yak shaver. Creator of AeroSpace - tiling window manager for macOS
Andrew Konchin @andrykonchin
113 Followers 193 Following Software engineer. Ruby expert. Open Source contributor. Oracle Labs. Views my own.
Vollbad im Gesinnungs... @2x3_macht_4
17 Followers 99 Following
Sibun @sibune_lnz
237 Followers 1K Following 🧬☀️🏛️🦾🏭🌲🦅⚡️ꑭ📕 Cosmopolitan Chud. Identitarian. State Capitalist. Atlanticist. Free Trade. NATO. Alt-Left. Environmentalist. 🇺🇸🇪🇺🇬🇧🇨🇦⚡️🇯🇵🇰🇷
post. @EnzoSocialista
519 Followers 1K Following angular dev autodidata, esquizofrênico, polímata e poliglota #cronenberg for president @cravowcanela
Rudolf Winestock @rudolfwinestock
185 Followers 81 Following I am an aspiring mathematician and hacker. My web development company is Winestock Webdesign.
takun @yum303_
0 Followers 95 Following I love programming languages theory, compilers, emacs and VNs
Jeremy Mikkola @silenceofnight
263 Followers 277 Following Solve the problem faced when solving the problem Software engineer @stripe Enter Tilda Dot
Ryzhij D. @Azzi2710
480 Followers 228 Following Кофе, походы, анализ данных, программирование. Музыка тут https://t.co/2WfjQwdm1b
Avi Patel @Av1Pa731
294 Followers 8K Following
yahya functions @yahyafunctions
8 Followers 79 Following Beginner programmer. Interested in AI, ML, and Ocaml 🐫⚙️
Keith Example @ExampleKeith
6 Followers 327 Following
Chris Williamson @cdwilli
230 Followers 1K Following Toastmasters, computers, New College, Johns Hopkins, reading, coffee with friends, https://t.co/6oFBophEPJ, did I mention reading?
dp-underground @DogeStoned35151
56 Followers 866 Following Dog Picture Underground frfr | Fat and Girthy Content Creator | BINGE infosec content | manual labor is my jam and kryptonite. | dms CLOSED. | east coast nat
OL0 @WorldZingo
37 Followers 482 Following
zbh @shzhsbwj
9 Followers 103 Following
mohajer @rejahom
11 Followers 2K Following
ashish mishra @aegisAshish
143 Followers 387 Following Assistant Professor @CSE_IITH | Earlier Postdocing @Purdue | Interested in Programming Languages, Politics, and Philosophy.
sam pocino is online @sampocino
382 Followers 465 Following Weird math/CS person, any/all | private @spocino_clique
Parus @ParusOctober
36 Followers 1K Following We love anthros! Whimsical computer engineer. A sagely old man of 24.
Joey @djinnkering
27 Followers 1K Following
Jacek Modrakowski @jacek_beny
607 Followers 4K Following By day: Scala coder at @zivergetech. By night: astrophotographer at https://t.co/0HfwcA6mQD
maxi taxi @maxiiiiTaxiiii
1 Followers 94 Following
YIMBY Martial Law Enf... @RepealTCPA1947
3K Followers 1K Following Another 20 something homosexual neoliberal ghoul, how original. Anti-anti-growth coalition and #YimbyLobby propagandist.
Darucif @Darucif09348
8 Followers 1K Following
石轩宇 @qk0P2fORxYqHhos
0 Followers 25 Following
Rebel Ember @ember_rebel
5 Followers 89 Following
Adithya Kumar @adiovk
2 Followers 32 Following
Ethan Alley @EthanAlley
1K Followers 871 Following building with @grigonomics am i https://t.co/KGiwuCo2Fo? "Background" Co-Founded: Alvea dot bio, altLabs dot tech Prev @medialab @harvard
Andreas Petrou-Zeniou @ZeniouPetrou
59 Followers 379 Following Economics and Statistics PhD student at @MITEcon. Econometrics / IO. Formerly @UChicago economics and applied math.
Aditya Tejpaul @hoarfrost32
2 Followers 114 Following
Bucket List @BucketList63810
12 Followers 187 Following
His Genjeness🇰🇪 @donfelohke
155 Followers 1K Following Linux Programmer | Neo-African Innovator | Coding #LibreSource & #RightToRepair | E-Genge & Kinetography Laban for #NotYetUhuru | #PublicMoneyPublicCode 🌍💻
systm @systm947673
2 Followers 572 Following
Victor Sebben @vic50260
0 Followers 13 Following
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
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.
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]
Jack Rusher @jackrusher
8K Followers 205 Following Ex-Bell Labs/AT&T Research'er making art & technology. Extended bio in pinned tweet. 🐘 @[email protected]
Ben L. Titzer @TitzerBL
2K Followers 349 Following Director of the WebAssembly Research Center at Carnegie Mellon University. Principal Researcher. Wasm co-founder. Former V8 engineer. Compilers!
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
Joe Gibbs Politz @JoePolitz
1K Followers 1K Following When not programming or teaching CS @ucsd_cse, I go to the dog beach. Spending more time as 🟦 https://t.co/k4HOSHhpwb these days. https://t.co/4skMx005C5 | https://t.co/v4f2VUk4D2
Geoff Knauth @gknauth
554 Followers 600 Following software developer, flight instructor, coxswain/rower, linguist
Fortran @fortranlang
4K Followers 0 Following Fortran programming language. Powering the world since 1956. Latest edition is Fortran 2023. The next one is Fortran 2028.
Bob Konferenz @BOBKonf
810 Followers 226 Following Account on hiatus. Please find us at @[email protected] and @bobkonf.bsky.social
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
Daniel Friedman @dfried00
558 Followers 30 Following
LangDev Conference 20... @langdev2024
53 Followers 48 Following The Language Developer’s Workshop is an informal meeting where language engineering enthusiasts.
John Carmack @ID_AA_Carmack
1.1M Followers 273 Following AGI at Keen Technologies, former CTO Oculus VR, Founder Id Software and Armadillo Aerospace
Michael Ballantyne @mj_ballantyne
139 Followers 682 Following PhD student @neu_prl, making @racketlang a better host for DSLs.
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
NUS Hackers @nushackers
867 Followers 78 Following We're building a community of passionate hackers in the National University of Singapore 🦆 💻
CloudLab @cloudlabus
169 Followers 42 Following CloudLab is flexible, scientific infrastructure for research on the future of cloud computing.
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
Lisp Flavored Erlang @ErlangLisp
2K Followers 1K Following Now on Mastodon at https://t.co/EU5aSWmI99
POPL 2026 @poplconf
3K Followers 280 Following ACM SIGPLAN Symposium on Principles of Programming Languages. Rennes, France, 11-17 January 2026 (#POPL2026). Tweets by @xnningxie
Mitch ((No Kings!!)) ... @mwand
561 Followers 501 Following
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
The Little Learner @tll_book
73 Followers 2 Following
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
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
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.
F# Online @fsharponline
2K Followers 0 Following Supporting the worldwide #fsharp community via online channels Please use Bluesky, posts to X are stopping https://t.co/aTRv2VYgs8
fsharp.org @fsharporg
7K Followers 19 Following The official twitter account of the F# Software Foundation
spoofax @spoofax
208 Followers 22 Following I'm a language workbench based on declarative DSLs for language definition.
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
Idris Language @idrislang
2K Followers 2 Following The Idris Programming Language. Tweets by @edwinbrady
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
Rust Language @rustlang
153K Followers 2 Following A programming language empowering everyone to build reliable and efficient software. ** This account is no longer active. Follow us on other platforms! **
The Elixir programmin... @elixirlang
39K Followers 24 Following Elixir is a dynamic, functional language designed for building scalable and maintainable applications. This account is now inactive.
ICFP Conference @icfp_conference
4K Followers 18 Following ACM SIGPLAN International Conference on Functional Programming. Tweets by @shwestrick.
Jens Mönig @moenig
2K Followers 281 Following Lawyer, Learner, Lead Programmer of @UCBerkeley Snap! Researcher @SAP
OCaml @OCamlLang
5K Followers 18 Following OCaml is a general purpose industrial-strength programming language with an emphasis on expressiveness and safety.
Haskell @HaskellOrg
13K Followers 65 Following Committed to a welcoming, vibrant & flourishing #Haskell community! Managed by @beatleida & @TechnoEmpress on behalf of the https://t.co/1sy8nTHi9G Committee
Lean @leanprover
6K Followers 46 Following Lean is a dependently-typed programming language and theorem prover.
Ben Greenman @ben_greenman
119 Followers 208 Following
Love Racket Bot @BotRacket
18 Followers 8 Following A https://t.co/kHkNIByLlk bot that tweets expressions in Racket that all evaluate to the list '(I love you). Based on https://t.co/TUfQBDFuAB
Scala @scala_lang
30K Followers 11 Following Official account of the Scala Programming Language, developed at @epfl by @odersky, and maintained by Scala Center, LAMP, @Lightbend, and @VirtuslabTrends for United States
26,2 B posts
7.443 posts
25,2 B posts
228 B posts
24 B posts
3.986 posts
7.028 posts
5.023 posts
3.530 posts
3.029 posts
2.439 posts
1.516 posts
11,3 B posts
50 B posts
2.042 posts
47,4 B posts
1.384 posts
4.061 posts
You might like
Yaron (Ron) Minsky
@yminsky
15K Followers
Edward Kmett
@kmett
16K Followers
David Van Horn
@lambda_calculus
5K Followers
Erik Meijer
@headinthebox
31K Followers
Tweag
@tweagio
6K Followers
Well-Typed
@welltyped
6K Followers
ICFP Conference
@icfp_conference
4K Followers
Graham Hutton
@haskellhutt
8K Followers
Shriram Krishnamurthi...
@ShriramKMurthi
21K Followers
Conrad Barski
@lisperati
7K Followers
Neil Mitchell (neildm...
@ndm_haskell
5K Followers
Sam Tobin-Hochstadt
@samth
4K Followers