David Moon @dm_0ney
PhD @UMichCSE • building https://t.co/sEtPaejQKZ https://t.co/GvG3Va4saO dmoon.info Ann Arbor, MI Joined November 2015-
Tweets743
-
Followers1K
-
Following1K
-
Likes8K
David Moon retweeted
given that everyone is doing token-by-token and/or line-by-line partial completion acceptance now, i'm surprised i haven't seen any that just recapitulate selection mechanics (i.e. shift-left/right for token, shift-up/down for line). we have incremental acceptance at home!
3
4
32
2K
11
View Details
We're hoping to complete our study by Mar 23 (Sunday). If you're interested, please fill out this form. Thanks for considering! forms.gle/4WihdnB4bLYqYc…
Your participation will involve using the editor to perform editing tasks in an OCaml-like lang. We're esp interested in folks with prior experience using expression-oriented langs like OCaml, Haskell, Scala, etc. You'll receive a $25 Amazon gift card for 60 minutes of your time.
I am once more seeking participants for a user study. We'll be evaluating a prototype code editor that completes your text with placeholders for missing tokens expected by the language. Here are a couple vids motivating the editor+study. Details in thread. RTs appreciated! 🙏
@krismicinski for example, the structures shown in each selection here are determined simply by parsing the selected range of (molded) tokens, without inspecting any context beyond the immediate token neighbors
@krismicinski ...meaning you can maximally parse any segment of code knowing only its token bounds. the problem with OP parsing traditionally is that it has really limited grammar expressivity, you can't reuse the same token in different ways (eg - for negation and subtraction).
new tylr featuring inline obligations. press tab to jump to the next obligation, either a hole or a token-completion, or to accept the current completion.
David Moon retweeted
Impressive. Some fresh ideas for structure editing.
new tylr featuring inline obligations. press tab to jump to the next obligation, either a hole or a token-completion, or to accept the current completion.
David Moon retweeted
new tylr feels so good. very clicky much structure
new tylr featuring inline obligations. press tab to jump to the next obligation, either a hole or a token-completion, or to accept the current completion.
David Moon retweeted
new tylr feels amazing. what if structure editing were error correction with holes all along?
new tylr featuring inline obligations. press tab to jump to the next obligation, either a hole or a token-completion, or to accept the current completion.
@krismicinski the remaining problem is then how to assign these molds and this is the subject of my current wip paper
@krismicinski I'm working around that limitation by tagging tokens with their grammar contexts, what I'm calling molds. once molded, tokens can be OP parsed, and this helps especially with organizing the edit state into various regions of interest while maintaining structure.
David Moon retweeted
@Wattenberger Lots of fun old related infoviz literature here (keywords: focus+context, distortion-oriented presentation). But as far as gratuitous animation, I bet you'd enjoy ianhenderson.org/hypernav.html (best viewed on phone!)
andrew blinn @disconcision
8K Followers 2K Following progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhone
Paul Shen @_paulshen
5K Followers 504 Following interfaces, computation, and sometimes javascript. https://t.co/Fv0v1OWHGY 🇹🇼🇺🇸
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
Geoffrey Litt @geoffreylitt
23K Followers 2K Following malleable software @NotionHQ / prev @inkandswitch, @MIT_CSAIL / 🇯🇵🇺🇸
Michael Nielsen @michael_nielsen
119K Followers 5K Following Searching for the numinous 🇦🇺 🇨🇦, currently live in 🇺🇸 Research @AsteraInstitute https://t.co/maezekzRUb https://t.co/2dWwZKrvrn
Steve Krouse @stevekrouse
11K Followers 2K Following founder @ValDotTown, spreading the joy of programming
Will Crichton @tonofcrates
7K Followers 160 Following Cognitive engineer, assistant professor @BrownUniversity.
Cyrus Omar (now mainl... @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHLDUu 🌿 prof @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
Omar Rizwan @rsnous
9K Followers 1K Following "i am determined to move beyond this way of interacting with systems"
Andy Matuschak @andy_matuschak
62K Followers 2K Following More wonder, more insight, more expression, more joy! R&D on tools for thought, with a focus on memory, reading, and attention. Currently working on @pico.
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.
Tyler Angert @tylerangert
17K Followers 2K Following building angles - the last camera roll you’ll ever need. founder @patinasystems
Amelia Wattenberger �... @Wattenberger
35K Followers 5K Following design, AI, web dev, data viz, tools for thought ✨ @shv, Intent lead @Augmentcode, previously R&D @GitHubNext, design @AdeptAILabs
Brendan Dolan-Gavitt @moyix
33K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
KC Sivaramakrishnan @kc_srk
5K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Prathyush @prathyvsh
6K Followers 235 Following Map maker @patternatlas ∩ Interface Engineer @prabros
Evangelos Lamprou @vagozino
48 Followers 723 Following
adnos @deflationistt
43 Followers 656 Following
ZENITH @ALIVE830
0 Followers 4K Following
Nora Ammann @AmmannNora
2K Followers 878 Following Programme Director at https://t.co/aIwOFs2RkF AI Resilience https://t.co/QoFr4stNZG Co-founder & Board at https://t.co/GphUSACeIH
Paolo @Paolo_Luciano
419 Followers 2K Following ambientito musical con un poco de degenere ex @mit / @ORCenter
Ningzhi Tang @TangNingzhi
149 Followers 615 Following Ph.D. Student @ND_CSE | HCI+SE+AI | B.Eng. @SUSTechSZ
Dagmawi Babi @DagmawiBabi
1K Followers 750 Following Believer | Lead @RuthfulHearts and @Benaiah_Org | Podcast: https://t.co/ryQnnHFYRV
Anthony Campos @nsaab83668963
6 Followers 154 Following E-commerce knows no borders: $AMZN, $SHOP, $MELI, $PDD. I invest in global growth stories.
Ooprauxu @Ooprauxu84324
20 Followers 1K Following
Bas @basketticode
6 Followers 928 Following
Kevin Stone @kevinleestone
2K Followers 620 Following Research @ OpenAI, previously at FAIR, TRI, and Google working on LLMs, RL, and Robotics.
lili ✰ ツ (¬‿¬... @lililashka
8K Followers 3K Following @overdotcomputer @predictionindex prev. cybersec law + kinetic warfare chronically curious. I dive, I build, I design, I pet cats.
Nutzipper @nutzipper
165 Followers 376 Following
Kevin T. Dugan @KevinTDugan
5K Followers 4K Following Writing about the culture of Wall Street for @wsj. Consultant for the upcoming Netflix show The Altruists, based on my stories on Sam Bankman-Fried for @nymag.
The High Bidder @1PiratesCove
165 Followers 7K Following These are not the droids you're looking for... Temet Nosce. The hand organizes the mind.
Plarclee @PlarcleesRff
11 Followers 136 Following
Paharc @Paharc892238
22 Followers 1K Following
Eshin Griffith @eshinCodes
0 Followers 37 Following
McSharre @McSharreNoOhu
28 Followers 916 Following
Rodrigo G. del Cueto @rdelcueto
115 Followers 1K Following Computer scientist exploring the world through code, photography, and science. Firmware engineer, cyclist, and lifelong learner.
leo @leoshimo
1K Followers 5K Following Keep computing personal. Cats are my own. Now: @skybysoftware (acq. by @openai) / Ex: Recurse, Humane, 
Aleth .. @alethkit
14 Followers 954 Following
Botey @BoteyhaB
4 Followers 464 Following
Catarina Gamboa @catarinavgamboa
250 Followers 244 Following PhD Student 🖥️ Software Engineering @S3DatCMU and @lasige ✈️ Currently: Pittsburgh, US 📍From: Olhalvo, Lisbon, PT Check out LiquidJava!!
Rebecca Valentine @defnotbeka
3K Followers 2K Following a dyke who hacks on things. she/xey/ey. [email protected]
Cakes (λC/acc) @CakesRL
0 Followers 76 Following
abe.ada @MillanAbe
106 Followers 1K Following frontend & blockchain dev @0xblockinside | replyguy building @0xVAULTpro pronouns: (locked/in)
Danny @LongTimeNoDuck
11 Followers 107 Following Programming enthusiast. Unapologetic enjoyer of Western civilization 🏳️🌈
Shahbaz Chaudhary @shahbazac
53 Followers 1K Following
Rob Rix @rob_rix
4K Followers 816 Following colouring outside the lines increasingly, see at robrix at types dot pl instead
Alperen Keleş @Keleesssss
9K Followers 2K Following METU CENG 21' | PhD Candidate at @umdcs | Writing at https://t.co/O7d6OIVbg4 | Currently random testing compilers, type systems, databases...
Delba @delba_oliveira
74K Followers 701 Following Claude Code • @ClaudeDevs @AnthropicAI | Prev. @Vercel
Sean Barker @sean_barker
66 Followers 574 Following
Larry Diehl @larrytheliquid
796 Followers 679 Following Founder @ColimitAI. Formal Verification & Neuro-Symbolic AI. Formerly postdoc @uiowa and PhD @Portland_State.
David Sancho @davesnx
4K Followers 2K Following Open Source UI stuff with OCaml at @ahrefs Made styled-ppx and server-reason-react Working on Reason / Melange / reason-react and co
andrew blinn @disconcision
8K Followers 2K Following progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhone
Shriram Krishnamurthi... @ShriramKMurthi
23K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Paul Shen @_paulshen
5K Followers 504 Following interfaces, computation, and sometimes javascript. https://t.co/Fv0v1OWHGY 🇹🇼🇺🇸
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
Geoffrey Litt @geoffreylitt
23K Followers 2K Following malleable software @NotionHQ / prev @inkandswitch, @MIT_CSAIL / 🇯🇵🇺🇸
Michael Nielsen @michael_nielsen
119K Followers 5K Following Searching for the numinous 🇦🇺 🇨🇦, currently live in 🇺🇸 Research @AsteraInstitute https://t.co/maezekzRUb https://t.co/2dWwZKrvrn
Jack Rusher @jackrusher
7K Followers 203 Following Ex-Bell Labs/AT&T Research'er making art & technology. Extended bio in pinned tweet. 🐘 @[email protected]
Steve Krouse @stevekrouse
11K Followers 2K Following founder @ValDotTown, spreading the joy of programming
Will Crichton @tonofcrates
7K Followers 160 Following Cognitive engineer, assistant professor @BrownUniversity.
Maggie Appleton @Mappletons
41K Followers 1K Following Staff Research Engineer at @GitHubNext. But actually a designer. Writes about design, dev, & anthropology. Also on Bluesky 🦋 @maggieappleton.com
Nintendo .DS_Store @sliminality
11K Followers 178 Following I want to talk to you about the affect and aesthetics of computing.
Cyrus Omar (now mainl... @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHLDUu 🌿 prof @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
Omar Rizwan @rsnous
9K Followers 1K Following "i am determined to move beyond this way of interacting with systems"
Andy Matuschak @andy_matuschak
62K Followers 2K Following More wonder, more insight, more expression, more joy! R&D on tools for thought, with a focus on memory, reading, and attention. Currently working on @pico.
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.
Bartosz Milewski @BartoszMilewski
36K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
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
Thomas Fel @thomas_fel_
3K Followers 923 Following Interpretability, Visual Intelligence @GoodfireAI. Prev: @Harvard, @Google, @BrownUniversity (@tserre lab). Crêpe lover.
Goodfire @GoodfireAI
24K Followers 29 Following Using interpretability to understand, learn from, and design AI.
okazakitomohiro @oo_kk_aa
53K Followers 532 Following graphic designer at Design studio SWIMMING in TOKYO JAPAN / アイデンティティ・印刷物・映像・展覧会など視覚経験要素のデザインを中心に、文化と経済の両輪に接して仕事をしています。デザインの仕事が好きです。
Kat ⊷ the Poet Engi... @poetengineer__
84K Followers 377 Following artist, engineer, researcher. live audio visual performer. artificial life, computation, neuroscience, machine psyche. science & art, futuristic & ancient.
Jacob @fat
39K Followers 783 Following worst engineer at the company, third coolest… created bootstrap 300 years ago… now building things at the Pierre Computer Company.
Grant Kot @kotsoft
8K Followers 1K Following Space demo: https://t.co/3QLe2D9tur https://t.co/yXZexJu4sf | https://t.co/kMG3IXVqDx | https://t.co/kOjtF6ewsJ Real-time physics
Nora Ammann @AmmannNora
2K Followers 878 Following Programme Director at https://t.co/aIwOFs2RkF AI Resilience https://t.co/QoFr4stNZG Co-founder & Board at https://t.co/GphUSACeIH
Corca @Corca_math
6K Followers 47 Following Collaborative Math Editor. Typing math should be as natural as typing text or code. 💬 https://t.co/wYYHFlDKkJ
Anton Gladkoborodov @antonzoi
2K Followers 2K Following Building @corca_math (ex-founder @fridgenomore @coub etc.) + @columnsapp as a side project.
Lee Robinson @leerob
255K Followers 798 Following Teaching developers @cursor_ai, previously @vercel
Ryo Lu @ryolu_
86K Followers 2K Following Design @Cursor_ai. Early @NotionHQ, @Stripe, built startups. I make a world where anyone can make software. Aspiring k-pop idol.
Claude @claudeai
1.4M Followers 2 Following Claude is an AI assistant built by @anthropicai to be safe, accurate, and secure. Talk to Claude on https://t.co/ZhTwG8d1e5 or download the app.
Karri Saarinen @karrisaarinen
88K Followers 1K Following ceo of @linear 🇫🇮🇺🇸 previously: @coinbase @airbnb, YC alumni
Alcides Fonseca @alcides
2K Followers 3K Following Typing types. Associate Professor at the University of Lisbon.
Board @boardisfun
4K Followers 42 Following Board game feel, video game magic. The first ever face-to-face game console.
Seth Sivak @sjsivak
3K Followers 549 Following CCO and Head of Games @boardisfun. Previously VP of Development on @Warcraft, founder and CEO of Proletariat Inc. (acquired by @Blizzard_ent).
Kevin Twohy @kevintwohy
14K Followers 4K Following Founder and principal, Twohy Design Works: zero-to-one product design, brand and strategy for ambitious toys and serious business. Ready? Let’s begin.
BlockScience @block_science
6K Followers 287 Following BlockScience® is a systems engineering firm that operationalizes emerging technologies for high reliability organizations.
@melissa @melissa
39K Followers 366 Following internet anthropologist / hacker larp / n=1 experiments in parenting from first principles
Shu @shuding
58K Followers 2K Following @vercel. @v0, @nextjs, @aisdk, Satori, SWR. Don’t talk unless you can improve the silence.
Michael Aufreiter @_mql
2K Followers 2K Following On a mission to make the internet editable. Building https://t.co/kW6r8mrtXS and https://t.co/CUdcKW09Kz.
John Joon Young Chung @john_jyc
1K Followers 621 Following HCI/AI research scientist at Midjourney. Interested in AI-powered Creativity Support Tools.
Bhavya Chopra @BhavyaChopra1
964 Followers 775 Following CS PhD Student @UCBerkeley • previously at @Microsoft @ProseMSFT @Tableau @IIITDelhi • HCI+AI research for Data
Bernhard Mayr @bemayr
405 Followers 784 Following software developer, psychology student, ultra runner, interested in interdisciplinarity, former software engineering student, loving simplicity and minimalism
Kennedy Richard (kenn... @KennedyRichard
538 Followers 457 Following People+tech+art. Many Python hours, some Rust, JS, PHP, more. Creator/maintainer of the Indie Smiths project (https://t.co/V5yUdxpChM) He/him/cis tweets in: 🇺🇸 🇧🇷
Hamish Todd @hamish_todd
2K Followers 236 Following AI researcher @ https://t.co/mbcOucucXR Ask me about my tattoo of the axioms of Projective Geometric Algebra 📐
Ernest Ng @ngernest2
498 Followers 3K Following PL/Systems PhD student @Cornell_CS, pipe organist | he/him
liv @sophaaachi
338 Followers 133 Following I'm not sober, I'm medically non-alcoholic. Like lactose-free milk.
Ben Visness @its_bvisness
4K Followers 168 Following My help comes from the Lord. Lead of the Handmade Network (@handmade_net). WASM engineer at @mozilla. Mentor for @frc2175.
emre meydan @thresfold
1K Followers 999 Following Artist based in Germany. Studied painting. Exhibitions since 2008. He/him. thresfold on all platforms. https://t.co/R476PIANip
KHWAMPA 𖤓 @khwampa
46K Followers 11K Following More work on Insta: https://t.co/VjnMCZtFmv | Prints: https://t.co/2SWyxpRWux
Stachu Korick @StachuDotNet
1K Followers 728 Following Building @darklang. My name backwards is uh cats.
OCaml @ocaml_org
2K Followers 15 Following The industrial-strength functional programming language | safe, expressive, performant | Changelog + OCaml Planet RSS feeds https://t.co/TqiIR3AdHB
Mikail Khan @fiiissshh
104 Followers 169 Following Moving fast and making things @ CMU S3D, Purdue CS '24
Helen DeWitt @helendewitt
12K Followers 8K Following Novelist (The Last Samurai et al.). Interested in languages, statistics, dataviz. NOT HdW the film curator, who is no longer on X.
The Book of Shaders @bookofshaders
14K Followers 4 Following A gentle guide through the universe of Fragment Shaders for Artist, by @patriciogv. Next @[email protected]
Yatin Manerkar @ymanerkar
655 Followers 364 Following Assistant Professor @UMichCSE. Formerly postdoc @Berkeley_EECS. PhD @PrincetonCS. Views my own. RTs/likes are not endorsements.
Mihika Kapoor @mihikapoor
37K Followers 1K Following head of product @simile_ai • prev @figma @meta • product-design-eng hybrid
Matt Teichman @ElucidationsPod
2K Followers 3K Following Host of the Elucidations Podcast. Programmer @ UChicago DLDC. CS Lecturer @ UChicago MPCS. Emergent Ventures fellow. Views mine. 🦒
Anton Pronkin @pronkin_
614 Followers 2K Following Co-founder @anytypelabs @anylabs. Making digital freedom less theoretical. The builder becomes the bug.
Local-First Conf @localfirstconf
3K Followers 5 Following Connect with a rapidly-growing Local-First community. Join us for our third edition 12-14th of July 2026 in Berlin.You might like
andrew blinn
@disconcision
8K Followers
rntz
@arntzenius
2K Followers
Will Crichton
@tonofcrates
7K Followers
Type Theory Forall
@ttforall
4K Followers
feenk
@feenkcom
2K Followers
Geoffrey Litt
@geoffreylitt
23K Followers
Justin Lubin
@jplubin
690 Followers
Cyrus Omar (now mainl...
@neurocy
3K Followers
Josh Pollock
@joshmpollock
897 Followers
Steve Krouse
@stevekrouse
11K Followers
Azlen
@azlenelza
11K Followers
Peter van Hardenberg
@pvh
5K Followers
Nintendo .DS_Store
@sliminality
11K Followers
Max ⊶ New @maxsnew@...
@maxstewartnew
1K Followers
VL/HCC
@vlhcc
574 Followers