David Ungar @senderPath
Computer Scientist fascinated by how people use language and/or think. blog.davidungar.net Add your location Joined October 2011-
Tweets1K
-
Followers1K
-
Following362
-
Likes540
Truly amazing New Horizon footage of Pluto.
Truly amazing New Horizon footage of Pluto.
Clarifying: Flattening a linked data structure into an array, using indices for pointers. That's *all* you could do in FORTRAN. I wrote cross-assemblers for TI minicomputers that way in 1975.
Clarifying: Flattening a linked data structure into an array, using indices for pointers. That's *all* you could do in FORTRAN. I wrote cross-assemblers for TI minicomputers that way in 1975.
Be thoughtful when applying a theoretical result to the real world as shown here: hillelwayne.com/post/np-hard/?… Hard, or undecidable in theory may not mean impractical for real problems.
thehackernews.com/2022/08/as-nas… has me wondering about the state of security research wrt reference counting vs mark-sweep GC. Thoughts?
A masterpiece of snark by @emeryberger : sigarch.org/coping-with-co…
BTW, after 4 yrs at Apple working on Swift, I realize that production programming is very different from research programming is very different from hobby programming, even when all in the same language, same IDE. All respectable, aim to be clear which one I mean at all times.
Why so much about context? Now, I'm using Swift/Xcode. (Have worked on speeding Swift compiles.) Very very different from Self, but aimed a very different context! Deeply appreciate what that team has done. Huge set of goals, technical and non-. Tough tradeoffs. (miles in shoes)
38. Idiocy Saturation: Online, people who don't think before they post are able to post more often than people who do. As a result, the average social media post is stupider than the average social media user. Worth remembering whenever Twitter dumbassery drives you to despair.
Just greatly enjoyed: Stephen Fry & Lawrence Krauss youtu.be/O0SNKCRV5Wg Was reminded that I have a suspicion that the question of free will has much to do with some flaw in the way we put notions into language. I say that I have no choice but to believe in free will.
When I was young, I used to have to wait for my radio to warm up. Then we got solid-state and my transistorized stereo turned on instantly. Now, I have to wait for my receiver to boot up, feh! What was ours, is ours again, sadly in this case.
Today, we need our apps to run on battery power. That has something to do with it, but IIRC Lars Bak worked on that. Also, modern apps do much more. Finally, it could be me. Memory can be fallible. I could have been better at incidental complexity then. Still...
Just ran across & recommend gbracha.blogspot.com/2020/05/bits-o… and wirfs-brock.com/allen/posts/914 . (I was involved.) @Gilad_Bracha @awbjs Great look back. But Smalltalk (and esp. Self) were better for creativity than the mainstream IDE/PL I use. Only partly for good reasons.
Something magical happened in Xcode 13 beta 2, where when I do a recompile of my 2,217 source files (stacked in 16 frameworks and an app) it now will compile only like 6 files.
@slava_pestov @senderPath @CodaFi_ The speedup for my app is incredible. Here’s the stack of Swift frameworks that make up Dwelling — you can imagine the speed difference this change has made.
Optimizing and Debugging Incremental Build Time in Swift 5.5 forums.swift.org/t/optimizing-a…
At 12:45 in developer.apple.com/wwdc21/10192 , check out Incremental Imports. Now, you can change imported code without recompiling every file in the importer. I have been focused on this for years.

Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Tudor Girba @girba
4K Followers 989 Following CEO @feenkcom We modernize legacy systems. How? #MoldableDevelopment
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
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!
Hernan Wilkinson @HernanWilkinson
3K Followers 521 Following Software developer & coach. OO lover. Co-founder of @10Pines and FAST
Laurence Tratt @laurencetratt
4K Followers 310 Following Shopify / Royal Academy of Engineering Research Chair in Language Engineering.
Steve Blackburn (@ste... @stevemblackburn
2K Followers 900 Following Computer scientist, researcher, dad, husband, runner, hiker, collector of garbage. Google Research Scientist, ANU Professor. https://t.co/zPlLF6sKVX
Stefan Marr @smarr
2K Followers 470 Following Researcher, Royal Society Industry Fellow, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.
Fabio Niephaus @fniephaus
3K Followers 542 Following Research Manager on the @GraalVM team at @OracleLabs. Dev tools, languages, VMs. Previously at @HPI_DE, @GoogleColab, and @MatonGuitars. Views are my own.
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.
Kent Beck 🌻 @KentBeck
183K Followers 829 Following Programmer, coach coach, artist, pokerist, singer/guitarist. Learning to be me. Chief Scientist at Mechanical Orchard. Mastodon: @[email protected]
Konrad ‘ktoso’ Ma... @ktosopl
8K Followers 3K Following “Life is Study!”; [email protected]; Concurrency & Distributed Swift @ Previously: Reactive Streams (TCK), @akkateam Actors, HTTP & Streams, @geecon
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
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
Geoffrey Litt @geoffreylitt
17K Followers 2K Following researching malleable software @inkandswitch / prev PhD @MIT_CSAIL / 🇯🇵🇺🇸
Bob Nystrom @munificentbob
28K Followers 2K Following https://t.co/pgWITiHpDF, https://t.co/NSvQZjv923
Marcin Krzyzanowski @krzyzanowskim
26K Followers 2K Following unrelated. I'm here for bugs. Swift and TextKit expert Get https://t.co/7wu0hLVPxL also known for 🤟 https://t.co/rDhkLj5Jya 🧰 iOS at @GoodnotesApp
Mariano Martinez Peck... @MartinezPeck
631 Followers 242 Following #Smalltalk developer and #OOP evangelist. VAST Team Lead and Software Engineer at @instantiations. #IoT enthusiastic. PhD in Computer Science
James Noble @jameskjx
1K Followers 565 Following
neo @stankneo
855 Followers 4K Following Cyberpunk Metamodernism. Aspiring hyperwrangler. Searching for lcm(∞-axia). CS ∪ CogSci ∪ Complex Systems.
Rochelle @DRath5864
61 Followers 2K Following
Awlerbo @Awlerbo5873064
15 Followers 933 Following
Edith @Erperofe881460
10 Followers 901 Following Beauty begins the moment you decide to be yourself. — Coco Chanel
agreeMartin @agreeMartin
314 Followers 4K Following Embracing the journey of life with wisdom, gratitude, and love.
StephanieHudson @g18B9N3Q4V65ubC
23 Followers 1K Following Cat lover 🐱 | Nature explorer 🌲 | Adventure seeker 🌍
Uijalva @Uijalva1183414
34 Followers 1K Following
Duihir @Duihir9110
26 Followers 1K Following
Oulalese @Oulalese454847
47 Followers 1K Following
Techie Sprouters @Tech_sprouters
21 Followers 392 Following Passionate community of tech drivers@Nkumba University
Abaas @Abaas6074159743
34 Followers 939 Following
Tim Janik @TimJanik
1K Followers 819 Following Building Anklang DAW, Free Software advocate. Author of Alsamixer/Imagewmark/jj-fzf/GObject, Gtk+/procps/LibreOffice/… contributor · https://t.co/FCVYmOjgsW
Karlie Stiedemann @stiedemann65068
69 Followers 3K Following
megan06 @11_Megan06
129 Followers 1K Following
sin-ack @traits_reality
620 Followers 74 Following sin-ack@github. An object that sends and receives messages. Working on zigSelf: https://t.co/djGHD2LhT4
💻🐴Ngnghm @Ngnghm
2K Followers 319 Following Welcome to the Swiftian World of Houyhnhnm Computing ("Hunam"). I am @fare's software alter ego (but see @phanaero for cryptofoo). Call me "Ann". 🐎Read my blog!
Ömer Kasapoğlu @oakasapoglu
0 Followers 38 Following
Viviane Gilles @viviane_gi41779
0 Followers 2 Following
Dirdwol @Dirdwol9267939
29 Followers 1K Following
Bleekar @Bleekar5078891
25 Followers 579 Following
pekac @pekac9
20 Followers 131 Following
Tomas Kukol @tomaskukol
26 Followers 197 Following
Marlyn Batsheva @TNickolaus29542
2 Followers 96 Following Recruiting webshell engineers to penetrate websites, with a monthly salary of up to $100,000. If interested, please contact https://t.co/MCO1UWb5G8
Luciana @KaitlinRei76063
52 Followers 2K Following
Dirk Roeckmann @fivetroop
299 Followers 1K Following Computer Scientist, SAP Expert, IT Manager, Consultant, Independent AI Researcher, AI Engineer 👉 AI = Deep Learning + Causal Inference + Symbol Manipulation
Jiri @rosjiri
12 Followers 92 Following
Curiositry @curiositry
647 Followers 349 Following I write & build things. @Autodidacts_io @TheNeuroBB @rulesofalgebra
bright tetteh @bright651
238 Followers 2K Following I am an IT specialist, a computer programmer, an online marketer, an investor, a motivator and a philanthropist.
Ezeaka Elias @elias_ezea44861
5 Followers 297 Following
Rachael Cavalli @RachaelRac60106
16 Followers 6 Following
Tamesha smith @smith_tame51884
98 Followers 712 Following
Mego Tan @megotannal
5 Followers 461 Following He/him. I contribute to firefox occasionally. https://t.co/IhCZjy16K8
ZEO Sandra Mia @MiaZeo11
16 Followers 101 Following
Nadine Hill @nadine82135
4 Followers 68 Following I am Jellyroll from Texas USA i do music 🎵🎶 for alive
Ian Jeffries @seagreen__
595 Followers 231 Following
Carriemarieunderwood @Carriemari38871
766 Followers 4K Following
Alex Warth @alexwarth
958 Followers 605 Following Principal Investigator at @inkandswitch Formerly at Alan Kay's research groups (YCR/HARC, CDG, VPRI), and Google Creator of OMeta, co-creator of @_ohmjs
meng Alan @mengAlan1
3 Followers 202 Following
norm @normenza
24 Followers 153 Following
Cristina @Cristin67519941
2 Followers 194 Following
p @FranciscoGonzN
40 Followers 193 Following
Tim Davison ᯅ @timd_ca
5K Followers 1K Following Building @cellwalkapp • Apple Design Awards Finalist visionOS • computer graphics • biology • phd
this is @__a_username_
535 Followers 3K Following PL enthusiast - polyglot programmer; 160 chars is a lot to describe self. Opinions are own.
Jasvir Nagra ✨ @jasvir
1K Followers 706 Following Advisor & builder. Formerly security @dropbox, product @instart & @google, authored Surreptitious Software, TL for Caja. I love good food, fine wine & great JS.
Paul Graham @paulg
2.1M Followers 774 Following
Tudor Girba @girba
4K Followers 989 Following CEO @feenkcom We modernize legacy systems. How? #MoldableDevelopment
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!
Laurence Tratt @laurencetratt
4K Followers 310 Following Shopify / Royal Academy of Engineering Research Chair in Language Engineering.
Steve Blackburn (@ste... @stevemblackburn
2K Followers 900 Following Computer scientist, researcher, dad, husband, runner, hiker, collector of garbage. Google Research Scientist, ANU Professor. https://t.co/zPlLF6sKVX
Martin Fowler @martinfowler
352K Followers 183 Following Author on Software Development. Works for Thoughtworks. Also hikes, watches theater, and plays modern board games. He/him.
Paul Hudson @twostraws
104K Followers 258 Following Learning and sharing at Hacking with Swift, author of Swift, SwiftUI, and iOS books @[email protected]
Stefan Marr @smarr
2K Followers 470 Following Researcher, Royal Society Industry Fellow, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.
Kent Beck 🌻 @KentBeck
183K Followers 829 Following Programmer, coach coach, artist, pokerist, singer/guitarist. Learning to be me. Chief Scientist at Mechanical Orchard. Mastodon: @[email protected]
Swift Language @SwiftLang
75K Followers 0 Following Swift is a general-purpose programming language that's fast, modern, safe, and a joy to write. Designed for all, developed in the open.
Bob Nystrom @munificentbob
28K Followers 2K Following https://t.co/pgWITiHpDF, https://t.co/NSvQZjv923
Marcin Krzyzanowski @krzyzanowskim
26K Followers 2K Following unrelated. I'm here for bugs. Swift and TextKit expert Get https://t.co/7wu0hLVPxL also known for 🤟 https://t.co/rDhkLj5Jya 🧰 iOS at @GoodnotesApp
Steve Krouse @stevekrouse
9K Followers 2K Following founder @ValDotTown, spreading the joy of programming
James Noble @jameskjx
1K Followers 565 Following
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
SPLASH Conference @splashcon
3K Followers 287 Following SPLASH: ACM Annual Conference on Systems, Programming, Languages, Applications: Software for Humanity #SPLASH2025 #SPLASH25
Nathie 🔜 Meta Conn... @NathieVR
62K Followers 398 Following VR Content Creator | Spatial Expert | Apple Vision Pro, Meta Quest & More | 750k+ Subs | Proud Frisian
Sawyer Merritt @SawyerMerritt
955K Followers 401 Following EV/space/tech news. Bringing you the latest news in a single, easy-to-read feed. $TSLA investor & Model Y owner.
Ray Dalio @RayDalio
1.7M Followers 91 Following Official account of Ray Dalio, founder of Bridgewater Associates, author of #1 New York Times bestseller 'Principles,' professional mistake maker
Matt Wallace @MattWallace888
2.4M Followers 12K Following WE WILL HOLD THEM ACCOUNTABLE ⚠️ Follow with the notifications on to see my hidden videos.
Mario Nawfal @MarioNawfal
2.4M Followers 49K Following Largest Show on X | Investor 700+ Startups | Founder @ibcgroupio , https://t.co/sw7OQ5KgAW
Vigilant Fox 🦊 @VigilantFox
1.9M Followers 3K Following Media company founded by a healthcare professional turned independent journalist. Exposing the stories mainstream outlets bury. https://t.co/Jy4Me62jEl
Michael Malice @michaelmalice
805K Followers 1K Following Author: Dear Reader, The New Right, Anarchist Handbook, Not Sick of Winning, The White Pill Host "YOUR WELCOME" Subject: Ego & Hubris by Harvey Pekar He/Him ⚑
Howard Lutnick @howardlutnick
292K Followers 128 Following 41st United States Secretary of Commerce. Amazing wife and 4 great kids.
Tulsi Gabbard 🌺 @TulsiGabbard
3.8M Followers 1K Following Director of National Intelligence. Former Presidential candidate & Congresswoman. Soldier. NYT bestselling author. (Views do not reflect position of USG/DoD)
Kristi Noem @KristiNoem
720K Followers 3K Following Wife, mother, grandma, farmer, rancher, and small business owner. Secretary of the U.S. Department of Homeland Security. Former Governor of South Dakota.
FBI Director Kash Pat... @FBIDirectorKash
1.7M Followers 168 Following Director of the Federal Bureau of Investigation, #9
Michael Knowles @michaeljknowles
1.3M Followers 3K Following "As often as this life's idle show tries to charm you...transport yourself in mind to Paradise; try to be now what you will be hereafter."
Spencer A. Klavan @SpencerKlavan
65K Followers 1K Following Associate Editor @ClaremontInst, Editor-at-Large @theammind. Host @ynghereticsshow. exclusive property of @joshuaherr6.
Andrew Klavan @andrewklavan
319K Followers 2K Following Edgar-winning, New York Times Bestselling Author, Host of "The Andrew Klavan Show" at the @realDailyWire. https://t.co/OaxK4vX8pU
(news) DOGE @DOGE__news
561K Followers 46 Following Your daily culture and politics news source. | DM business inquiries
Wall Street Apes @WallStreetApes
1.1M Followers 31K Following We Are The Resistance. Unfiltered Breaking News | Followed By @elonmusk 𝕏 @joerogan 🎙️ @DonaldjTrumpJr 🇺🇸 @dbongino ⚖️ @RealAlexJones 🪬 @JamesOKeefeIII 🗞️
Resist the Mainstream @ResisttheMS
452K Followers 158 Following Reporting the news the mainstream media won’t.
Jesse Lee Peterson @JLPtalk
181K Followers 3K Following Pastor, counselor 🙏 800-411-BOND, author 📚 host 🎙️ @FallenStateTV, https://t.co/NyRoHci0gt 📞 888-77-JESSE, @PunchieTV…NOT "African-American," 100% AMERICAN 🇺🇸
Laurence Fox @LozzaFox
623K Followers 2K Following Enemy of the State. Leader of @TheReclaimParty @BadLawTeam @media_reclaim Media enquiries: [email protected] https://t.co/8aGt5akAhj
Margo Martin @MargoMartin47
261K Followers 96 Following Official White House Account—Special Assistant to the President and Communications Advisor, @realdonaldtrump 🇺🇸
Retard Finder @IfindRetards
795K Followers 710 Following I find retards and their posts on X. Please also follow me @FoundAmoron
Christopher F. Rufo �... @realchrisrufo
832K Followers 1K Following Working with @CityJournal, @ManhattanInst, @Hillsdale. Sign up for my free Substack: https://t.co/azjaTnUCKh.
green @greentheonly
85K Followers 0 Following I report what I see. If it's good, it's good; if it's bad, it's bad. Does not depend on me. Make them release more awesome stuff. Don't shoot the messenger.
DNI Tulsi Gabbard @DNIGabbard
764K Followers 22 Following Serving as the 8th Director of National Intelligence under the leadership of @POTUS Trump.
Pete Hegseth @PeteHegseth
1.7M Followers 346 Following Christian | American | Husband | Father | Author | Veteran | SECWAR | My views are my own. Official accounts: @SecWar & @DeptofWar
SpatialComputing @cmptERC
882 Followers 5 Following TG: https://t.co/PGWSi9VQO8 Spatial Computing is a smart blockchain technology that forces the coin to automatically go up.
Apple Vision Report @spatialreport
10K Followers 83 Following Tracking the latest information on Apple Vision & Spatial Computing. Not affiliated with Apple Inc.
Apple Spatial Computi... @AppleHolodeck
7K Followers 3K Following This account retweets important things about Apple’s Vision Pro headset and Apple’s moves in spatial computing.
Tesla Owners Silicon ... @teslaownersSV
1.3M Followers 773 Following The most notorious Tesla Club in the world. Creator of @thextakeover and taking the Takeover global. We amplify sustainability and philanthropy.
Tesla Optimus @Tesla_Optimus
559K Followers 11 Following A general purpose, bi-pedal, humanoid robot capable of performing tasks that are unsafe, repetitive or boring.
Tesla AI @Tesla_AI
404K Followers 18 Following
Rapid Response 47 @RapidResponse47
1.2M Followers 60 Following Official White House Rapid Response account. Supporting @POTUS's America First agenda and holding the Fake News accountable. MAGA!
Teslascope @teslascope
70K Followers 130 Following An elegant view of everything about your Tesla vehicle. We are the worldwide drivers' platform, the highest-rated vehicle companion, and always here to help. 🚘
Owen Gregorian @OwenGregorian
125K Followers 19K Following I post interesting news and opinion stories, for @scottadamssays and for you. Subscribe for more content here (via WEB) or at https://t.co/zIi9RVC0OJ!
DataRepublican (small... @DataRepublican
825K Followers 4K Following I'm just a tool builder. • Elon Musk - “Worth following” • Charlie Kirk - “You're a must follow” • Contact: [email protected] • Substack: datarepublican
The Tesla Newswire @TeslaNewswire
46K Followers 564 Following ⚡️ All news, rumors, software updates, tips and cool stuffs about Tesla ⚡️ Not affiliated with Tesla
Insurrection Barbie @DefiyantlyFree
1.0M Followers 2K Following “Put on the whole armor of God, that you may be able to stand against the wiles of the devil.” Ephesians 6:11-13
Jeremy Wayne Tate @JeremyTate41
140K Followers 4K Following Founder of @CLT_Exam, the fastest growing standardized test in America 🇺🇸