Will Crichton @tonofcrates
Cognitive engineer, assistant professor @BrownUniversity. willcrichton.net 🦋 or 🐘 Joined September 2011-
Tweets3K
-
Followers7K
-
Following159
-
Likes5K
Will Crichton retweeted
@mwillsey @ChandrakanaNaN @oflatt @pavpanchekha @ztatlock @DMerigoux @_protz_ @mathur_umang And, last but not least, highlight 4: "A Grounded Conceptual Model for Ownership Types in Rust" by @tonofcrates, Gavin Gray, and @ShriramKMurthi OOPSLA'23
1
2
22
2K
9
Download Image
Will Crichton retweeted
I would hate it if everyone read my dissertation. I bet you would find soooo many issues if you read it cover-to-cover and grappled with all the ideas. God forbid that people find the convenient link on my website: willcrichton.net/assets/pdf/dis…
Will Crichton retweeted
In our latest PL Perspectives post, *Evaluating Human Factors Beyond Lines of Code*, @tonofcrates calls for embracing qualitative methods in PL research. thought-provoking + entertaining, as usual from @tonofcrates blog.sigplan.org/2024/11/21/eva…
Will Crichton retweeted
Are you a Ph.D. applicant interested in HCI? Consider applying to @PennHCI! This year, my group will have openings that could be great for those interested in HCI/Programming Languages or AI-augmented documents. DMs are welcome!
Will Crichton retweeted
Brown University's @tonofcrates optimized a #Python data analytics pipeline to make it 180,000x faster using #Rustlang. Join Will's #P99CONF talk in 5 minutes to look into this speedup that spanned the gamut of performance techniques. ow.ly/VKJ050TR0KJ #ScyllaDB
Will Crichton retweeted
As the author of this PDF, it's been interesting seeing people guess at the rationale behind its design. However, the rationale had nothing to do with theory vs practice, and everything to do with pragmatically coping with an unaccommodated disability in academia. (1/16)
As the author of this PDF, it's been interesting seeing people guess at the rationale behind its design. However, the rationale had nothing to do with theory vs practice, and everything to do with pragmatically coping with an unaccommodated disability in academia. (1/16)
Will Crichton retweeted
If you're interested in programming languages and computing education, or programming language usability, I wonder where you should apply to graduate school. CC @tonofcrates @logicpreacher @KathiFisler
Nobody panics when you cargo install a binary that could rm -rf your filesystem... but when you start calling it an "app", every OS loses its mind!
Starting in <10min! Come ask me questions about cognition and programming!
I'm calling for regulatory action against emoji designers. This is an unacceptable level of variance
Will Crichton retweeted
New paper from @kevin_x_li, @JacobKim489493, @neurocy (and me!) appearing at OOPSLA2024. TL;DR: We use cursor-local type & binding info from the Hazel language server to shape codegen prompts & stem hallucination, with supporting experiments for TypeScript (more in thread)
Will Crichton retweeted
★ Dynamicland's new website documents ten years of progress toward a humane dynamic medium. dynamicland.org
Mara @m_ou_se
45K Followers 415 Following Rust dev, Electronics engineer, Author, @rustlang Library team lead, ADHD, Polyamorous, Lesbian, She/Her
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Tim McNamara @timClicks
24K Followers 3K Following On the planet to build a better planet. Software person, kind of into Rust and creative coding. Author of Rust in Action (https://t.co/qgWenxBkeP).
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
Manish @ManishEarth
14K Followers 592 Following territory mapper. 💉did @ca_covid . 🗣️ likes languages. ✈️ Repatriate/ABCD. 👨🔬 Formerly physics. he/him
Patrick Walton @pcwalton
18K Followers 520 Following Programming languages and graphics person. @pcwalton.bsky.social
typedfemale @typedfemale
38K Followers 532 Following a really exciting new account "advanced pytorch user" - @cHHillee alt: @typedalt
andrew blinn @disconcision
4K Followers 2K Following progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhone
Nintendo .DS_Store @sliminality
10K Followers 178 Following I want to talk to you about the affect and aesthetics of computing.
Luca Palmieri @algo_luca
16K Followers 2K Following Rust / backend dev / org design / climate. Baking on the good days. Author of https://t.co/WDxzUHAAe6. Building https://t.co/YMfw1oaHIi, a new Rust web framework.
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Thorsten Ball @thorstenball
35K Followers 961 Following Author of https://t.co/arW0hnVET0 and https://t.co/RN9xXOzhON. @sourcegraph working on @ampcode. Ex-@zeddotdev. Programming where the rubber hits the road.
Andrew Myers @AndrewCMyers
5K Followers 295 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Yaron (Ron) Minsky @yminsky
15K Followers 333 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Graham Hutton @haskellhutt
8K Followers 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Andy Matuschak @andy_matuschak
60K Followers 2K Following More wonder, more insight, more expression, more joy! Independent researcher; currently exploring tools that augment human memory and attention.
Geoffrey Litt @geoffreylitt
17K Followers 2K Following researching malleable software @inkandswitch / prev PhD @MIT_CSAIL / 🇯🇵🇺🇸
Omar Rizwan @rsnous
9K Followers 1K Following "i am determined to move beyond this way of interacting with systems"
Hamid @n3wbateni
520 Followers 2K Following
abb755 @lcyjest
2 Followers 14 Following
Esh @Esh2190
244 Followers 3K Following
Üzeyir 🦀 @destanuzeyirr
570 Followers 2K Following | OSWE | OSCE | OSCP | OSWP | A guy in security with bullshitting
Júlio Diniz @JulioDevDnz
0 Followers 230 Following
Preetesh Shivam @curious_memer
122 Followers 2K Following Curious about everything. Always been the jack of all trades, now trying to master some.
Mithi Jethwa @MithiJethwa
1 Followers 34 Following
skunky @skunky_lance
93 Followers 1K Following
Nan Dan @mfflnando
292 Followers 2K Following ..reCursivish prep for the Big Crunch (and what comes Aftr..
venkatesh kotha @kothavenkatesh0
53 Followers 2K Following
Anurag Bhatt @explise12
0 Followers 1 Following
smile @Smilex_P
226 Followers 5K Following
Alberto @albertdsc
481 Followers 4K Following Software Engineer, Music Addicted and opinions are my own (not in that order)
renzo @renzoorpelli
26 Followers 318 Following Programmer, interested in compilers / ML / systems programming
Aryan V S @aryanvs_
1K Followers 1K Following
Swarag Narayanasetty ... @5warag
96 Followers 808 Following Walk The Talk tæn X engineer at @multiplifi and @tanxfinance
Sky @SkyyTheDev
15 Followers 271 Following CUHK CS | Python/ Rust/ Java/ SQL | Interested in ML, Game Theory and Agentic System | Sky’s my limit | Looking for 2026 graduate job
sahay, sanchit @burnerurn
1 Followers 38 Following
zhaohu @outman_1986
20 Followers 555 Following
Dilip Arumugam @Dilip_Arumugam
712 Followers 814 Following @PrincetonCS postdoc w/ Tom Griffiths @cocosci_lab |@StanfordAILab PhD w/ Benjamin Van Roy |@BrownCSDept BS+MS w/ Michael Littman @mlittmancs | RL & Info Theory
Pat LaVarre at Twítt... @pelavarre
561 Followers 932 Following Retweets, creative misquotes, unpublished papers, unfiled patents. Marking misquote as ~~~, refocus as ~~, edit as ~, transcribe as -
this is @__a_username_
535 Followers 3K Following PL enthusiast - polyglot programmer; 160 chars is a lot to describe self. Opinions are own.
Isaac Thompson @IsaacThss
154 Followers 2K Following Research Assistant at The Alan Turing Institute, researching reinforcement learning and autonomous cyber defence.
λ @lambda_functor
856 Followers 7K Following
Murat Bolu @MurattBolu
92 Followers 345 Following
Shlok Limbhare @shlok_limbhare
53 Followers 1K Following Machine learning, GPU kernels | Ex - VFX artist in Hollywood
Tobias Heß @h3ssto
83 Followers 133 Following he/him | 0x1e Freelance software dev Prev: Research on BDDs and https://t.co/bGdBYRXkAx
Dries Frederickx @Poly_Void
253 Followers 2K Following Current status: NEET. Jack of no traits and definitely master of none.
John Jacob @JohnJac75426008
61 Followers 674 Following
Aashish Sharma @aashish__10
146 Followers 878 Following
SagaEye @CybrixTacitus
49 Followers 529 Following Building AI-powered tools & writing fiction. Veteran coder, indie product builder, and lifelong learner. Exploring the frontier of automation, knowledge manage
Johannes Riecken @rubystallion
6 Followers 81 Following
rishi @RishiBommasani
6K Followers 2K Following Societal/economic impacts of AI; AI policy & governance @StanfordHAI Stanford CS PhD w/ @percyliang @jurafsky Cornell CS undergrad w/ @clairecardie
Shrikar @Shrikarhaha
213 Followers 3K Following Currently: Research @iiscbangalore Building: Explainable AI systems in Healthcare Interests: Startups, TechForGood, Product Loves: Physics,Poems,Football&Food
Mobina @mobina_slvt
2 Followers 241 Following
Jorge Bravo Abad @bravo_abad
6K Followers 5K Following Prof. of Physics @UAM_Madrid | Profesor Titular. PI of the AI for Materials Lab | Director del Laboratorio de IA para Materiales.
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
neural oscillator of ... @mycoliza
21K Followers 1K Following wow, everything’s computer at @oxidecomputer
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
Manish @ManishEarth
14K Followers 592 Following territory mapper. 💉did @ca_covid . 🗣️ likes languages. ✈️ Repatriate/ABCD. 👨🔬 Formerly physics. he/him
Patrick Walton @pcwalton
18K Followers 520 Following Programming languages and graphics person. @pcwalton.bsky.social
typedfemale @typedfemale
38K Followers 532 Following a really exciting new account "advanced pytorch user" - @cHHillee alt: @typedalt
andrew blinn @disconcision
4K Followers 2K Following progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhone
Dan Luu @danluu
45K Followers 44 Following Active on https://t.co/WG71Nrs60M; also trying out https://t.co/fGOzbSxVHi. No longer read replies or notifications here now that tweetdeck is gated.
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
Nintendo .DS_Store @sliminality
10K Followers 178 Following I want to talk to you about the affect and aesthetics of computing.
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Yaron (Ron) Minsky @yminsky
15K Followers 333 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Sam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Andy Matuschak @andy_matuschak
60K Followers 2K Following More wonder, more insight, more expression, more joy! Independent researcher; currently exploring tools that augment human memory and attention.
Geoffrey Litt @geoffreylitt
17K Followers 2K Following researching malleable software @inkandswitch / prev PhD @MIT_CSAIL / 🇯🇵🇺🇸
Omar Rizwan @rsnous
9K Followers 1K Following "i am determined to move beyond this way of interacting with systems"
Edward Z. Yang @ezyang
14K Followers 1K Following I work on PyTorch at Meta. Chatty alt at @difficultyang.
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.
Alexis King @lexi_lambda
12K Followers 22 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
Sydney Gibson 🚛 �... @sydgibs
3K Followers 318 Following Software Engineer @aurora_inno. Previously @MIT & @CSDatCMU. Trying to befriend Pittsburgh’s local groundhogs.
Ticha Sethapakdi @tichaesque
447 Followers 282 Following PhD candidate @MIT_CSAIL · Previously @SCSatCMU and @CMU_CFA · Researching ways to extend human creative expression 🎨🌈✨
Suresh Venkatasubrama... @geomblog
12K Followers 934 Following AI Bill of Rights coauthor. Prof@BrownUniversity. Former tech advisor to President Biden @WHOSTP. He/him/his. Tweets my own.
Naomi Saphra @nsaphra
10K Followers 1K Following Waiting on a robot body. All opinions are universal and held by both employers and family. Now a dedicated grok hate account. Accepting ML/NLP PhD students.
tldraw @tldraw
69K Followers 12 Following infinite canvas / https://t.co/oXL4NAc6P8 / https://t.co/dO6WPp6YOI / https://t.co/beo7WsKiVe
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]
Kartik Chandra (also ... @_k_a_c_h_
683 Followers 210 Following I am a PhD student @MIT @CSAIL studying cognition 🧠 and graphics 🫖. This is an academic account. I do care about other things, but I won't Tweet about them.
Josh Pollock @joshmpollock
870 Followers 549 Following CS PhD Student @MIT_CSAIL @mitvis. Using PL, HCI, and Vis to build better systems. https://t.co/xulVbZqIsS https://t.co/Bik4YqxhMY @[email protected] 🐟
David @DavidSHolz
92K Followers 8K Following founder @midjourney, prev founder leap motion, nasa, max planck - random vibeposting @davidvibesonly
Eric Zhang @ekzhang1
15K Followers 459 Following Computer systems person, interaction designer. founding eng @modal → dreams of: a simpler, more honest, more human sort of software (people are good, be kind!)
BrendanEich @BrendanEich
190K Followers 2K Following Co-founder & CEO @Brave Software (https://t.co/NV4bmd6vxq) and @attentiontoken (https://t.co/XhGIrdBJWu). Co-founded Mozilla & Firefox. Created JavaScript.
Crista Lopes @cristalopes
2K Followers 398 Following Jedi Master @[email protected] @cristalopes.bsky.social
Zhuowei Zhang @zhuowei
33K Followers 187 Following link in bio ⬛⬛⬛⬛⬛🟩🟩🟩🟩🟩🟩 ⬛⬛⬛⬛🟩🟩🟩🟩🟩🟩🟩🟩 ⬛⬛🟧⬛🟩🟫🟫🟫🟫🟫🟫🟩 ⬛⬛🟧⬛🟫🟫🟫🟫🟫🟫🟫🟫 ⬛⬛🟧🟧🟫🟧🟩🟧🟧🟩🟧🟫🟧 ⬛⬛🟧🟧🟫🟧🟫🟧🟧🟫🟧🟫🟧 ⬛⬛⬛🟧🟧🟧🟧🟧🟧🟧🟧🟧🟧 ⬛⬛⬛🟩🟩🟧🟧🟫🟫🟧🟧🟩🟩 ⬛🟫🟫🟫🟫🟫🟧🟧🟧🟧🟩🟩🟫 🟫🟫🟧🟫🟫🟫🟫🟩🟩🟩🟩🟩🟧 🟫🟧🟧🟧🟫🟫🟧🟫🟫🟩🟩🟧🟧
Amit Patel @redblobgames
19K Followers 12 Following I explain algorithms and math with interactive web pages (incl. pathfinding, hexagons, procgen maps, voronoi). Wrote Solar Realms Elite; helped w/@rotmg_news
Tomas Petricek (find ... @tomaspetricek
9K Followers 933 Following Assistant prof @matfyz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at @UniKentComp and @Cambridge_CL
Chris Beiser @ctbeiser
8K Followers 1K Following how things became how they are, and how they could stop being that way
Thomas LaToza @Thomas... @ThomasLaToza
786 Followers 822 Following Associate Professor, @GMUCompSci. I study how humans interact with code and invent new ways to build software.
StanfordGWU-UE @StanfordGWU
2K Followers 1K Following The official Twitter of the Stanford Graduate Workers Union (SGWU). Stanford works because we do! DM for press
\newcommand{\femb0t}{ @__femb0t
21K Followers 857 Following ✨ Privacy and Sécurité phd student (hiatus) (ﾉ◕ヮ◕)ﾉ*:･ﾟ✨ Learning ✨Have many interests✨⋇⋆✦⋆⋇ ✨
Hanneli T - hannelita... @hannelita
3K Followers 717 Following Programming Languages, engineering, electronics, Maths, proofs, books, Pokémon, Lego, animals, coffee, bread, plants, @recipl_. Personal views.
Ananya Kumar @ananyaku
8K Followers 607 Following Researcher working on reasoning at @openai Previously PhD at Stanford University AI Lab with Percy Liang and Tengyu Ma
algoritmic @algoritmic
39K Followers 810 Following algorithmic, computational, emergent, complex, generative, parametric, procedural ... random inspiring stuff
José Manuel Calderó... @josecalderon
2K Followers 853 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
Brad Myers @bradamyers
2K Followers 245 Following
Paolo Pedercini 🥶 @molleindustria
15K Followers 528 Following Game maker, professor at Carnegie Mellon University. My employer has many, often contradicting, views. @likelikearcade founder. he/him
Patrick Dubroy DONE H... @dubroy
3K Followers 317 Following GONE HERE: https://t.co/jkazdv30Qw Programmer & researcher, co-creator of @_ohmjs. 🇨🇦 🇩🇪 🇪🇺 Wrote @wasmgroundup.
Chris Granger @ibdknox
9K Followers 41 Following Interfaces @RelationalAI. Previously co-founder of Eve and Light Table, YCombinator Alum, ex-Microsoft and Looker.
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
TOoᴼᵒº˙⁰0₀�... @tophtucker
3K Followers 3K Following
Prathyush @prathyvsh
6K Followers 226 Following Map maker @patternatlas ∩ Interface Engineer @prabros
Hila Peleg is not her... @HilaCodes
2K Followers 377 Following Assistant Professor at @TechnionLive CS. Researches program synthesis and hopes to bring about the robot apocalypse. (she/her)
sofía celi @claucece
8K Followers 5K Following Proud LatinAmerican • "Legendary quantum lady/cryptographer" • Researcher @brave • she/they • hrpc/pquip co-chair @inretafo anti-fraud @w3c @otr_im @LondonUTrends for United States
84,9 B posts
77,4 B posts
202 B posts
57,9 B posts
254 B posts
68,4 B posts
200 B posts
24,7 B posts
4.256 posts
41,9 B posts
56 B posts
5.789 posts
14,6 B posts
5.406 posts
5.597 posts
6.501 posts
3.383 posts
3.099 posts
You might like
David Tolnay
@davidtolnay
9K Followers
Jon Gjengset
@jonhoo
34K Followers
rntz
@arntzenius
2K Followers
Andrew Gallant
@burntsushi5
10K Followers
Talia Ringer 💚
@TaliaRinger
29K Followers
Sophia J. Turner 🏳...
@sophiajturner
10K Followers
Tim McNamara
@timClicks
24K Followers
Zekun Wang (ZenMoore)...
@ZenMoore1
4K Followers
Luca Palmieri
@algo_luca
16K Followers
UPenn NLP
@upennnlp
972 Followers
Derek Dreyer
@HerrDreyer
3K Followers
Shriram Krishnamurthi...
@ShriramKMurthi
21K Followers
Anubhav Jangra @ACL20...
@JangraAnubhav
1K Followers
neural oscillator of ...
@mycoliza
21K Followers
Karsten Kreis
@karsten_kreis
3K Followers