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
-
Following79
-
Likes966
Talks will be 20-25 minutes long with 5 minutes for questions at the end. Speakers' registration fees will be waived, but we are unable to cover transportation and lodging expenses. racket.discourse.group/t/racketcon-20…
0
0
0
70
0
View Details
* If you know someone you would like to nominate please encourage them to submit a proposal, or let us know at [email protected].
# RacketCon 2026: call for presentations Calling racketeers new or experienced, we want to hear from you. Are you unsure or just new to presenting? let us know - [email protected] - and we will do our best to help you. racket.discourse.group/t/racketcon-20…
"Racksnaps builds daily snapshots of the official Racket Package Catalog. The intent is to allow application developers to depend on specific, unchanging sets of packages until they're ready to update their apps. " racksnaps.defn.io
Upcoming Racket meet-ups: luma.com/racketlang
Racket retweeted
bay area @racketlang meetup today at 3pm at noisebridge. come by!
Racket meet-up in 1 minute 😁👋
Racket meet-up: Saturday, 6 June 2026 at 18:00 UTC EVERYONE WELCOME 😁 Announcement, Jitsi Meet link & discussion at racket.discourse.group/t/racket-meet-… #lisp #scheme
Bay Area Racket Meet-up 3pm at Noisebridge
Bay Area Racket Meet-up - Saturday June 6, 3pm for people interested in Racket & Lisps, #fp and related topics at Noisebridge hackerspace, SF. Register at luma.com/35gm6zha Ann: racket.discourse.group/t/bay-area-rac… #racket #lisp #scheme
Bay Area Racket Meet-up - Saturday June 6, 3pm for people interested in Racket & Lisps, #fp and related topics at Noisebridge hackerspace, SF. Register at luma.com/35gm6zha Ann: racket.discourse.group/t/bay-area-rac… #racket #lisp #scheme
Racket meet-up: Saturday, 6 June 2026 at 18:00 UTC EVERYONE WELCOME 😁 Announcement, Jitsi Meet link & discussion at racket.discourse.group/t/racket-meet-… #lisp #scheme
Racket - the Language-Oriented Programming Language - version 9.2 is now available from download.racket-lang.org See blog.racket-lang.org/2026/05/racket… for the release announcement and highlights.
(sixteenth RacketCon) call for participation
RacketCon 2026: call for participation The (sixteenth RacketCon) really will be in Oakland, CA on October 3-4 (Sat-Sun). If you are interested in presenting on want to nominate someone please see racket.discourse.group/t/racketcon-20…
UK Racket meet-up Tue 23 June at **56 North**, 2 W Crosscauseway, Edinburgh EH8 9JP, UK luma.com/vif8gkn9
Bay Area Racket Meet-up - June 6, 3pm Social event for people interested in the Racket programming language, other Lisps, functional programming, language-oriented programming and related topics. RSVP luma.com/35gm6zha Ann: racket.discourse.group/t/bay-area-rac…
UK Racket meet-up: London 7:30pm Tuesday 19 May 2026 at The City Pride 🍕28 Farringdon Ln, London EC1R 3AU Join us for discussion and pizza. All welcome. racket.discourse.group/t/uk-racket-me… luma.com/2efru5cn eventbrite.co.uk/e/uk-racket-me… #racket #lisp #scheme #functionalprogramming
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
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
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.
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @gravemaker_ulti · @[email protected]
deech @deech
5K Followers 1K Following
Yaron (Ron) Minsky @yminsky
21K Followers 365 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
andrew blinn @disconcision
8K Followers 2K Following progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhone
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.
Jeremy Siek @jeremysiek
3K Followers 353 Following Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @[email protected]
Jack Rusher @jackrusher
7K Followers 203 Following Ex-Bell Labs/AT&T Research'er making art & technology. Extended bio in pinned tweet. 🐘 @[email protected]
KC Sivaramakrishnan @kc_srk
5K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Bozhidar (Bug) Batsov @bbatsov
9K Followers 891 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 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
Bob Nystrom @munificentbob
28K Followers 2K Following https://t.co/pgWITiHpDF, https://t.co/NSvQZjv923
Wilfred Hughes @_wilfredh
4K 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
19K Followers 299 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
St.Mary's Church Ugan... @Stmarryschurch
3K Followers 4K Following We don't give with sole objective to reap God's reward,we give because God has filled our hearts with love,and His grace compels us to serve.(Ephesians 4:32)✝️☦
Garish Yak @GarishYak
159 Followers 5K Following
Max von Hippel @maxvonhippel
718 Followers 3K Following Staff scientist at your favorite defense company; YC S24; CS PhD @ GRFP; 10p blue belt; created https://t.co/WhGddB7FY7 in 2020; secure program synthesis enthusiast
Cardosaum @_Cardosaum_
23 Followers 915 Following
Alexander @WiseAlexTweets
44 Followers 668 Following
Stéphane Conversy @stefski66
20 Followers 213 Following
David Fashena @SnailDinner
30 Followers 1K Following
RG21 @R21Aprendizaje
8 Followers 937 Following Alguien que le interesa aprender cosas nuevas, la tecnología y los videojuegos
Xyz Ang @uzddox9_iiL
6 Followers 446 Following
🐕 @yoteworks
6 Followers 42 Following
the_one_mod @the_one_mod
0 Followers 3 Following
sk @sergej_kx
0 Followers 68 Following
Stephen Oates @stephenjaoates
797 Followers 7K Following
lux @diluxiie
15 Followers 503 Following in the middle of our house in the middle of our house 20-something idiot moth thing
notthejac @HWTjac0
2 Followers 963 Following
Ecos na Catedral @ecoscatedral
395 Followers 5K Following
\ @deomorxsy
11 Followers 1K Following
B_SARKY @Muhammad_Bsarky
5K Followers 6K Following Qur'an reciter | Agribusiness Entrepreneur | Crop Farmer | CEO B-sarki Grains Enterprises | Islamic Reminder🤍
dirtyharry @rotoffset02
19 Followers 920 Following
Danilo Vidovic @vydd_
54 Followers 182 Following
vinoth @vinoth___
14 Followers 274 Following
John Dougan @CroquetHax
43 Followers 307 Following
🇺🇦 · ⚪️�... @PieCalculus
369 Followers 326 Following
Юрий Синици... @USinitcin
3 Followers 221 Following
Shawn @shawntenam
167 Followers 645 Following ship. happens. git commit -m "growth" 🌱 Shawn Tenam gtm Engineer and co-founder @ https://t.co/oCR9wXe2dZ "Your Reddit opportunity mailbox"
Yorkin @Yorkin___
42 Followers 29 Following
chieut_ @chieut13
0 Followers 49 Following
utkarsh @utkarsh_2105
951 Followers 3K Following he/him | CS final year undergrad @ BITS Pilani | prev @MSFTResearch, @Inria
Barry Samuel @sbarrysamuel
15 Followers 4K Following
paradox @endwhiteparadox
0 Followers 66 Following
Jesse Alama @alamajamn
13 Followers 15 Following
Shu the Internet Squi... @sauricat
11K Followers 1K Following 🏳️🌈 🏳️⚧️ (她/伊/ta, she/they) 北雁书/bsky 同名/生而骄傲/主业是欧陆哲学研究生/One Among Us/跨性别社群服务联系 TG saurica417 我相信所有逝去的终将回来。我相信所有离开都只是暂别。
cchuang @cchuang2048
2 Followers 318 Following
alhazrod @alhazrod
1 Followers 143 Following “That is not dead which can eternal lie, And with strange aeons even death may die.”
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Bartosz Milewski @BartoszMilewski
36K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
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
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
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.
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @gravemaker_ulti · @[email protected]
andrew blinn @disconcision
8K Followers 2K Following progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhone
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.
Jeremy Siek @jeremysiek
3K Followers 353 Following Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @[email protected]
Jack Rusher @jackrusher
7K Followers 203 Following Ex-Bell Labs/AT&T Research'er making art & technology. Extended bio in pinned tweet. 🐘 @[email protected]
Loris D'Antoni @lorisdanto
9K Followers 774 Following A Professor @ucsd_cse. Scholar at Code Metal. Helps people write programs they can trust.
Jonathan Aldrich @JAldrichPL
5K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
Ben L. Titzer @TitzerBL
2K Followers 346 Following Director of the WebAssembly Research Center at Carnegie Mellon University. Principal Researcher. Wasm co-founder. Former V8 engineer. Compilers!
Max ⊶ New @maxsnew@... @maxstewartnew
1K Followers 199 Following Professor of Computer Science @umich, tweets about programming language design, semantics and ̶c̶a̶t̶e̶g̶o̶r̶y̶ ̶t̶h̶e̶o̶r̶y̶ profunctors. Louisiana ex-pat ⚜️
Alex Knauth @AlexKnauth
123 Followers 2K Following I like programming languages and functional programming, music, art, math-as-an-art-form, lakes, and other random he|they & 29 https://t.co/midapyTev1
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
537 Followers 598 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
796 Followers 222 Following Account on hiatus. Please find us at @[email protected] and @bobkonf.bsky.social
Sam Westrick @shwestrick
1K Followers 597 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
546 Followers 29 Following
LangDev Conference 20... @langdev2026
54 Followers 48 Following The Language Developer’s Workshop is an informal meeting where language engineering enthusiasts.
John Carmack @ID_AA_Carmack
2.2M Followers 286 Following AGI at Keen Technologies, former CTO Oculus VR, Founder Id Software and Armadillo Aerospace
Michael Ballantyne @mj_ballantyne
134 Followers 679 Following PhD student @neu_prl, making @racketlang a better host for DSLs.
Sacha-Élie Ayoun @SachaAyoun
212 Followers 260 Following CTO of Soteria Tools, making reasoning scale at the age of AI
NUS Hackers @nushackers
884 Followers 79 Following We're building a community of passionate hackers in the National University of Singapore 🦆 💻
CloudLab @cloudlabus
165 Followers 42 Following CloudLab is flexible, scientific infrastructure for research on the future of cloud computing.
Diego Crespo🎄 @deusinmach
162 Followers 114 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 2027 @poplconf
3K Followers 278 Following ACM SIGPLAN Symposium on Principles of Programming Languages. Maxico City, Mexico, 10-16 January 2027 (#POPL2027).
Mitch ((No Kings!!)) ... @mwand
548 Followers 494 Following
notjack @doitwithalambda
640 Followers 523 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
74 Followers 2 Following
Sonic Pi @Sonic_Pi
12K Followers 6 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 951 Following The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2026. Tweets by Jenna DiVincenzo and @konskallas.
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 8 Following Supporting the worldwide #fsharp community via online channels https://t.co/9R25QDnqh8 https://t.co/aTRv2VYgs8
fsharp.org @fsharporg
7K Followers 19 Following The official twitter account of the F# Software Foundation
spoofax @spoofax
204 Followers 21 Following I'm a language workbench based on declarative DSLs for language definition.
JetBrains MPS @jetbrains_mps
2K Followers 15 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
38K Followers 23 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 277 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
11K Followers 50 Following Lean is a dependently-typed programming language and theorem prover.
Ben Greenman @ben_greenman
118 Followers 206 Following
Trends for United States
You might like
Yaron (Ron) Minsky
@yminsky
21K Followers
Edward Kmett
@kmett
17K Followers
Erik Meijer
@headinthebox
36K Followers
Tweag by Modus Create
@tweagio
7K Followers
Well-Typed
@welltyped
7K Followers
Alexis King
@lexi_lambda
13K Followers
Armed Bear Common Lis...
@ArmedBear
664 Followers
Graham Hutton
@haskellhutt
9K Followers
Planet Clojure
@planetclojure
8K Followers
Shriram Krishnamurthi...
@ShriramKMurthi
23K Followers
Conrad Barski
@lisperati
7K Followers
Sam Tobin-Hochstadt
@samth
4K Followers