Ólafur Páll Geirsson @olafurpg
Preparing for a world with a million times more code geirsson.com Oslo, Norway Joined January 2012-
Tweets3K
-
Followers3K
-
Following922
-
Likes10K
Increasingly using Astra instead of Sol because it solves problems in fewer turns. Sol is more expensive and slower on harder problems.
0
0
4
364
0
View Details
@sluongng We are not going to be looking much at diffs given where this is trending
iPhone Duo is probably the final form factor for professional work including software engineering
There are large repos like torvalds/linux, and then there are Large repos that grow the size of torvalds/linux on a monthly basis
@eatonphil They’ve done a formidable job improving the code browsing experience. Remaining problems include awkward UX for file/text search and most of the history features stop working in a large enough repo (>1m files, soon 2m commits).
People are not going to be looking at these agent sessions in the long run, just like how people are barely looking at the code today.
Ólafur Páll Geirsson retweeted
dang p nice
@pierrecomputer diffs[.]com + SCIP Code Intelligence Protocol One thing I kept wishing is go to definition/references. Wired up SCIP, click any symbol in a diff, jump to its def or every usage. All from a static index file, no live LSP needed!
@stefanobaghino Does it have a billion users?
The ChatGPT app will become the first IDE to reach a billion users
@robertpiosik The joke is more that the terminal is very much an Integrated Development Environment, the E never stood for editor.
> I don’t use the IDE anymore Opens a terminal that looks like and IDE
@sluongng None of the web-based interfaces have stuck with me so far. The terminal still feels the best.
People holding tight onto Claude Code just like people did with IntelliJ
People’s excitement over bundle-uri is inversely correlated with how much they have used bundle-uri
@sluongng Even with merge queue, you could expect to have 100k+ open PRs in the near future on a busy monorepo that need mergeability checks before entering the merge queue.
Phases of building a scalable git server: Wow it’s easy to scale reads! Haha pushes are also cheap when you model refs in OLTP Scratching head over how to scale mergeability checks…
Ólafur Páll Geirsson retweeted
As someone who has done and continues to do a bunch of performance work, this is one of the more painful blog posts to have written: There continue to be reasons for software to be slow: typesanitizer.com/blog/performan…
@teej_dv Looks like a Scala DSL to me
@molochofficial Bike: 21min with 30% odds of dying
Chris Kipp | @ckipp@h... @ckipp01
1K Followers 369 Following I enjoy working on tooling, simple tech, and learning. One day I'll know things. I try to write Scala and host the Tooling Talks podcast. he/him
Igal Tabachnik @hmemcpy
11K Followers 591 Following Professional loop orchestrator. Rust 🦀 (btw) Personal shit on Threads (igal.tabachnik, ру/עב)
Alvin Alexander @alvinalexander
6K Followers 415 Following Over 260 free Scala & Functional Programming videos: https://t.co/pWogmdssB1
Konrad ‘ktoso’ Ma... @ktosopl
8K Followers 4K Following “Life is Study!”; [email protected]; Concurrency & Distributed Swift @ Previously: @akkateam, reactive streams, @geecon @Java_Champions
Thorsten Ball @thorstenball
53K Followers 1K Following Working on @ampcode. Writing https://t.co/0SZD6dbLes. Once authored https://t.co/arW0hnVET0 and https://t.co/RN9xXOzhON.
James Ward @JamesWard
19K Followers 3K Following My book: https://t.co/QGevhw6nyE | My podcast: @HappyPathProg | @AWSCloud Agent Experience | @AgenticAIFdn TC | My opinions are mine
P. Oscar Boykin @posco
9K Followers 2K Following Building https://t.co/KRuGeJANsQ -- Former engineer at @Netflix,@stripe, @twitter. Former academic. Programmer. Maui resident. Just some guy.
Jules Ivanic @guizmaii
2K Followers 2K Following | Software Engineer | Functional Programmer | 🇨🇵 citizen | 🇦🇺 permanent resident | 🌊 🏄🏻♂️ ❤️ | @guizmaii.bsky.social | I talk about Software Engineering
Alexander Ioffe @deusaquilus
2K Followers 216 Following Take control of your database with https://t.co/7XQQ7Drvpn the only LINQ for Kotlin!
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
teej dv 🔭 @teej_dv
90K Followers 1K Following open source code | @neovim core | @terminaldotshop btw | ✝️ father of 3, dad jokes my own https://t.co/jKpcjsTqBE | https://t.co/zb8zDKmSwG
Krzysztof Romanowski @RomanowskiKr
829 Followers 147 Following `One man’s hack is another man’s tooling` Head of #Scala and tooling @VirtusLab Hacking on tools for Scala.
Scalameta @scalameta
2K Followers 9 Following News about Scala tooling with topics touching on code editing, refactoring and formatting
Oli Dinov 💙 @olidinov
2K Followers 322 Following AI By the Bay | Nov 17-19, Oakland, CA | host @devrelradio
Quinn Slack @sqs
19K Followers 4K Following CEO & Member of Technical Staff @ampcode, founded @sourcegraph
Tomasz Godzik 🍉 @TomekGodzik
988 Followers 197 Following Team lead of the Scala Open source at @virtuslab. Coordinator and VirtusLab representative in the Scala Core governance team https://t.co/4lPT0BikFQ
reibitto @reibitto
1K Followers 1K Following Software developer #Scala #Haskell #FP Also love games and learning languages. Same handle on those "other apps" if you want to add me.
Wojciech Mazur @WojciechM_dev
618 Followers 94 Following Scala Compiler/Tooling Engineer @ VirtusLab/Cracow Release Officer for Scala 3 and Scala Native lead. Scala OSS, Bazel, build tools, and sometimes boring talks
Alexy 🤍💙🤍 @ChiefScientist
6K Followers 8K Following Ecosystems, @lakesailhq. Cofounder, AI Alliance, GenAI@LF, https://t.co/gVgl0OqOH5 @northeastern, @scalebythebay. Publisher: https://t.co/VG37Z4xowL, https://t.co/tx4mrl2WS8. OSS AI: https://t.co/xghHzIo4CX
Aleksei Petrov @ya_petrovalex
66 Followers 109 Following Nemotron @nvidia | Ex @poolsideai Founding Engineer
Andrew Szeto @jabagawee
40 Followers 7K Following 100% not a bot. Beep boop. Created an account @[email protected]
Jeffrey Emanuel @doodlestein
50K Followers 14K Following Former Quant Investor | My Open Source Projects: https://t.co/9qbOCDlaqM | Try https://t.co/oCtjI2mBIl , my collection of agent coding tooling.
Iulius Urieșu @iuliusuriesu
2 Followers 5 Following
claire1sugar aka mena... @OndoreKisama
7 Followers 668 Following soft energy, quietly chaotic energy 💕
Alex @AlexElonREVE7mn
4 Followers 126 Following CEO and chief Engineer of SPACE X,TESLA, INC founder of the Boring Company X crop and xAI and X Owner of X💴💶💷🇺🇸🚀🚀🚀🚀🚀🚀🚀
Adrian Parnell tillma... @adrianparny8
6 Followers 128 Following
NotYourDC @DexterCasey
26 Followers 623 Following
peterguy @peterguy
28 Followers 26 Following
Addison Huddy @addisonhuddy
816 Followers 443 Following vp of product, kafka @confluentinc, an @ibm company. student of enterprise tech, dad, rower. tweets are my own.
Santhanam @porridge_raisin
10 Followers 568 Following
Marko Bakovic @mbakovic__
245 Followers 440 Following searching for explanations; founding team @SpiralDB, an object-storage-backed multimodal data platform; formerly engineering at Palantir
Brandon Blatnick @BlatnickBr55908
13 Followers 258 Following
Boooo @AndBow0
14 Followers 204 Following
hardikxk @hardikxk
11 Followers 419 Following i am compiler i am vim i like compilers and low level systems. mail me something or send a dm mailto:[email protected]
Injoon Oh @injoon_oh
8 Followers 1K Following a student who's interested in computers (and a bit of science and math)
squeeze7827 @squeeze78270654
0 Followers 503 Following
Tamedu @tamedu81
126 Followers 4K Following
khoiracle @khoiracle
1K Followers 719 Following building new AI products for 25M MAU @GoodSystemsHQ https://t.co/PIpXy20W88 - https://t.co/iePX22h8NU are my coding agents super powers.
Sagar Dubey @dubeyornotdubey
139 Followers 3K Following Always shipping : Takes x AI × Product. Maximalist Prototypes. Tiny projects with delusional upside. (ง •̀_•́)ง 父 | isä | pai ASCII enthusiast (☞ﾟヮﾟ)☞
Nhat Nguyen @NhatNguyen78430
13 Followers 2K Following
Sam Willis @samwillis
4K Followers 837 Following Building something @databricks & @neondatabase. Prev co-founder @ElectricSQL (acquired by Databricks). Started https://t.co/pDO5k5Epeu, co-creator of @tan_stack DB.
Uma Chingunde @umachingunde
4K Followers 6K Following Building at Replit. Previously - Render, Stripe, VMware
Lorenzo Rossi @rossilor_
251 Followers 475 Following 29 yo, MSc in Physics, Software Engineer. I love tech, music, politics and fantasy/sci-fi.
sepulrator @Sepulrator1
3 Followers 280 Following
Hannah mary @Hannahmaryy6
3 Followers 96 Following
DDX2023 @ddxx2023
119 Followers 5K Following
Konrad Zapałowicz @k_zapalowicz
32 Followers 138 Following C/C++, Go and Rust. ex @Canonical now at @chainguard_dev. Tweets are my own; RT does not mean endorsement.
Paul Robert @prLarence
1 Followers 230 Following
NYDFabricOutlet @NYDFOutlet
40 Followers 976 Following
apfs_mount @ApfsMount
10 Followers 1K Following
VC Intern @the_vc_intern
2K Followers 3K Following Tracking VCs, founders & startup signals Daily signals on X & Substack Followed by Partners @ a16z, Khosla, Lightspeed, Bessemer!
Chris Kipp | @ckipp@h... @ckipp01
1K Followers 369 Following I enjoy working on tooling, simple tech, and learning. One day I'll know things. I try to write Scala and host the Tooling Talks podcast. he/him
Jakub Kozłowski @kubukoz
5K Followers 290 Following Functional Scala developer, small-time content creator, brainrot enjoyer. https://t.co/i99bvhwYNi he/him
Gergely Orosz @GergelyOrosz
357K Followers 3K Following Writing @Pragmatic_Eng, the #1 software engineering newsletter on Substack. Author of @EngGuidebook. Formerly Uber & Skype.
Igal Tabachnik @hmemcpy
11K Followers 591 Following Professional loop orchestrator. Rust 🦀 (btw) Personal shit on Threads (igal.tabachnik, ру/עב)
Anton Sviridov @velvetbaldmime
954 Followers 294 Following Experienced typewriter operator. I do programming things.
Thorsten Ball @thorstenball
53K Followers 1K Following Working on @ampcode. Writing https://t.co/0SZD6dbLes. Once authored https://t.co/arW0hnVET0 and https://t.co/RN9xXOzhON.
P. Oscar Boykin @posco
9K Followers 2K Following Building https://t.co/KRuGeJANsQ -- Former engineer at @Netflix,@stripe, @twitter. Former academic. Programmer. Maui resident. Just some guy.
Gunnar Morling 🌍 @gunnarmorling
71K Followers 300 Following Technologist @Confluentinc · Ex-lead of Debezium · Spec lead of Bean Validation 2.0 · Creator of Hardwood, kcctl, JfrUnit, MapStruct · Java Champion · 🚴
teej dv 🔭 @teej_dv
90K Followers 1K Following open source code | @neovim core | @terminaldotshop btw | ✝️ father of 3, dad jokes my own https://t.co/jKpcjsTqBE | https://t.co/zb8zDKmSwG
Krzysztof Romanowski @RomanowskiKr
829 Followers 147 Following `One man’s hack is another man’s tooling` Head of #Scala and tooling @VirtusLab Hacking on tools for Scala.
Scalameta @scalameta
2K Followers 9 Following News about Scala tooling with topics touching on code editing, refactoring and formatting
Oli Dinov 💙 @olidinov
2K Followers 322 Following AI By the Bay | Nov 17-19, Oakland, CA | host @devrelradio
Quinn Slack @sqs
19K Followers 4K Following CEO & Member of Technical Staff @ampcode, founded @sourcegraph
Tomasz Godzik 🍉 @TomekGodzik
988 Followers 197 Following Team lead of the Scala Open source at @virtuslab. Coordinator and VirtusLab representative in the Scala Core governance team https://t.co/4lPT0BikFQ
reibitto @reibitto
1K Followers 1K Following Software developer #Scala #Haskell #FP Also love games and learning languages. Same handle on those "other apps" if you want to add me.
Beyang @beyang
13K Followers 2K Following Amplifying human agency @ampcode Prev: founder @sourcegraph
Dan Luu @danluu
48K Followers 44 Following Active on https://t.co/WG71Nrs60M; also trying out https://t.co/eLkwVd8jFD
Cindy Sridharan @copyconstruct
47K Followers 165 Following
Jessie Frazelle @jessfraz
134K Followers 267 Following CEO @zoodotdev, 👩🏻💻 @oxidecomputer, 📝 @ACMQueue
benja @benjaminakar
16K Followers 119 Following co-founder/cpo at @tembo - obsessed mind. Dockset → https://t.co/9san9rfrR7
NYC Tw*tterati @prisonculture
172K Followers 3K Following Founder (@sojourn4justice) & Project NIA (@projectnia) sunsetted in 2023 / Co-Founder (@interruptcrim), (@ChiFreeSchool) & (@survivepunish)
Kyle Macomber @kylemacomber
6K Followers 135 Following Co-founder & CEO @BitrigApp · Co-creator #SwiftUI at Apple
Diogo Almeida @CompleteSkeptic
131K Followers 94 Following Sane + 🌶️ takes in an insane AI world... AI capabilities researcher: co-created RLHF/ChatGPT @ @openai now trying to right the wrong 🤭 (ceo @typesafeai)
Iulius Urieșu @iuliusuriesu
2 Followers 5 Following
CleanShot @CleanShot
15K Followers 4 Following ⚡️ Capture your Mac’s screen like a pro! 💬 Need help? → [email protected]
Luke Oslizlo @lukaszmtw
2K Followers 381 Following 👨🏻💻 Developer 💸 Co-founder of @CleanShot 📸 Photos: https://t.co/nf8CZQTt3J
East River Source Con... @erscio
1K Followers 11 Following Building blocks for human and machine collaboration.
Tommy J. Vedvik @tommyvedvik
3K Followers 4K Following Building https://t.co/uYK0SluQoO, https://t.co/XOTEpUBAPU Bootstrapper. Christian. Dad to 4 🖤
Sam Whitmore @sjwhitmore
19K Followers 3K Following eng at @SpaceXAI, formerly @cursor_ai. not a cat (or a man) in real life. I like to run a lot! @newcomputer @kensho @harvard @StuyNY
Tianyi Cui @tianyi
44K Followers 470 Following Member of Technical Staff @ DeepSeek, Harness Team I'd love to connect with members of international frontier LLM labs! DM is open. Opinions are my own.
Tomas Reimers @TomasReimers
6K Followers 1K Following Building @spacexai, prev product / eng @cursor_ai, cofounder @graphite, eng @facebook NY.
Akshat Bhatia @akshatb
175 Followers 408 Following Developer Platform @Databricks Previously @Airbnb @Linkedin @Twitter @Microsoft
Rob Miles @robertskmiles
66K Followers 866 Following Explaining AI Alignment to anyone who'll stand still for long enough, on YouTube and Discord. Music, movies, microcode, and high-speed pizza delivery
Ryan Dahl @rough__sea
47K Followers 400 Following cofounder of @deno_land, creator of @nodejs. often goes by ry.
almonk @almonk
20K Followers 928 Following Mutliplexing the planet, cofounder @superlogical. Previously @poolsideai @vercel @hashicorp @heroku. ½ of @softwarereplay
Ted Nyman @tnm
8K Followers 581 Following code & infra at @openai. prev ceo cased, cto github, eng banksimple. https://t.co/ppNMfi0IdK. "sf’s guardian angel"-ken jennings
Lawrence Chen @lawrencecchen
6K Followers 864 Following building open source coding tools https://t.co/dToYirHstr
Daniel Lemire @lemire
38K Followers 2K Following Software performance expert. Ranked in the top 2% of scientists globally (Stanford/Elsevier 2025) and among GitHub's top 1000 developers. Father, husband.
Zack Korman @ZackKorman
17K Followers 2K Following Cofounder @ Embroidery. Building AI cybersecurity stuff.
Mattias Jansson @maniccoder
344 Followers 104 Following Electronic alchemist - rpmalloc author - Technical Director @ Epic Games
SkalskiP @skalskip92
50K Followers 1K Following Open-source Lead @roboflow. VLMs. GPU poor. Dog person. Coffee addict. Dyslexic. | GH: https://t.co/dEmzMDGXVf | HF: https://t.co/4Lx1Yw3CLF
Ross Taylor @rosstaylor90
12K Followers 1K Following Co-founder and CEO @GenReasoning. Previously lots of other things like: reasoning lead Meta AI, Llama 3/2, Galactica, Papers with Code.
Mike Freedman @michaelfreedman
7K Followers 417 Following Co-founder/CTO, @TigerDatabase / @TimescaleDB 🐯🦄. Professor, @PrincetonCS. Distributed systems, databases, AI, security, networking.
simeonGriggs @simeonGriggs
3K Followers 1K Following Long-running process | Platinum-grade yap @PlanetScale Postgres starts at $5/month | 🇦🇺 in 🇬🇧
Ravion @ravion
5K Followers 37 Following The easiest way to use AWS for agents and humans. Manage and monitor Terraform resources, builds, and deploys in your own AWS account.
Hunter Leath @jhleath
5K Followers 478 Following the file system company of San Francisco @archildata (YCF24)
Kir Shatrov @kirshatrov
3K Followers 3K Following scaling companies and infra behind the business. principal eng at @Shopify. into GenAI & ecommerce. @evilmartians alumni. 🇨🇦 🇬🇧
Alex Clemmer 🔥🔥... @hausdorff_space
4K Followers 1K Following Brexit, Britney Spears, and Buffalo Wild Wings. Also @moment_dev.
Antoine Chaffin @antoine_chaffin
4K Followers 783 Following Solve search, solve everything @perplexity_aiYou might like
Li Haoyi
@li_haoyi
11K Followers
IntelliJ Scala
@IntelliJScala
5K Followers
Adam Warski
@adamwarski
8K Followers
Adriaan Moors
@adriaanm
5K Followers
Signify Technology
@Signify_Tech
3K Followers
Alex Archambault
@alxarchambault
1K Followers
Jakub Kozłowski
@kubukoz
5K Followers
Julien Truffaut
@JulienTruffaut
3K Followers
Stefan Zeiger
@StefanZeiger
4K Followers
Rúnar
@runarorama
13K Followers
Eric Torreborre
@etorreborre
7K Followers
Nicolas Rinaudo
@NicolasRinaudo
2K Followers