QuaffPotion @quaffpotion
Joined August 2016-
Tweets102
-
Followers80
-
Following2K
-
Likes17K
@littmath @ben_golub Thank you for putting this together, I wish it existed for my subarea! (geometric group theory)
@kerckhove_ts Is Nix some magic around deeply pinned versions? I never really got how it was fundamentally different from docker
@ElliotGlazer I’m trying to understand. Are you suggesting you can have mm run the lean kernel logic against a lean proof? (I realized you might be joking, the ncat for mm suggests mm is essentially substitution with careful attn to free vars)
@lukalotl Mathematical playground sounds really cool. What tech keeps it so responsive? I’m reminded of diagrams I used to work on at a chalkboard for objects like cube complexes annals.math.princeton.edu/wp-content/upl… and baumslag-solitar groups en.wikipedia.org/wiki/Baumslag–…
@analytichegel My understanding of dependent types is types that depend on values. How exactly is that a fix? Are you saying dep types imply proving reachability and that’s the fix?
@DeGatchi The fact that random groups are hyperbolic is 👌. Plus, they appear “in practice”. I really enjoyed this area while I was working in it, it has a pleasant mix of topology (curve graphs are hyperbolic), algebra, combinatorics, and diff geo (discrete morse theory).
@DeGatchi I’ve been trying to figure out zero knowledge proofs again, or at least enough to be “useful” (program something minimal) I don’t know a ton about the crypto applications but the math has been good so far. It’s a good mix of everything (all that’s missing is real analysis haha)
@DeGatchi Depending on what you are aiming for, LA over real numbers is a good start then LA over more general fields (in the context of a graduate algebra book) will give you a great vantage point. That said matroids are cool and you will learn some LA by comparison (see: rings vs fields)
@DeGatchi IMO speedrunning to the definition of compactness and then looking at proofs outside of topology that use compactness is the way to go. Crown jewel of point set topology is Tychonoff’s theorem. YMMV depending on what you are doing next.
@aramHmarkosyan Can you point to how this data is being used at Meta? Does Lean4 have a presence at Meta?
@cryptobuilder_ They say differential geometry is the study of geometry invariant under change of notations. Sorry to hear ZK has the same problem 😆 This is another reason to be excited about LEAN4 too
@DeGatchi The classic text is Dynamics in one complex variable by John Milnor. This gives a mature perspective on the Mandelbrot set for instance.
@DeGatchi IMO the fastest way “through” measure theory basics is Folland’s book (esp early chapters). The writing is extremely tight but I recently reread it and I claim he is not actually skipping steps.
@maharshii Take the money. If you feel you executed poorly, refund some. Forcing yourself to teach will hone your skills because you will have to ask but not ignore good beginner questions
@sp_monte_carlo Curious how these came up, they seem far away from your usual (geo v stats), do you have a source?
@DeGatchi Linear algebra never stops giving. What is that markdown to website tech there?
Christine D. Kim @_christine_dkim
1K Followers 269 Following Host of @ready4merge . Founder of Protocol Watch Research & Advisory.
Gaddar @miadaisymgl2dr
30 Followers 1K Following
iksvech @iksveh
0 Followers 208 Following
CoCalc by SageMath, I... @cocalc_ai
2K Followers 4K Following Collaborate in real time while using Jupyter, Linux, LaTeX, and more.
MariaDavis @notasai1980
33 Followers 661 Following
Pa Modou @ModouPa10526
168 Followers 2K Following Nice to meet you I’m pa Modou Wishing you the best in finding kind, honest, and genuine friends from all around the world. 🌍🙏
Alvena Crona @AlvenaC58058
17 Followers 740 Following
Martina @H5S6EYA50w2Kix4
65 Followers 1K Following Don’t be the girl who needs a man, be the girl a man needs.
Iefrirerlea @iefrirerle63743
12 Followers 140 Following
Vweaku @Vweaku1479902
20 Followers 2K Following
Charles 🎉 Frye @ A... @charles_irl
19K Followers 3K Following memer of technical staff at @modal. he/him. ex @full_stack_dl, @weights_biases (acq. @CoreWeave), phd Berkeley @Redwood_Neuro. try https://t.co/SYWVMCb7OB
Caroline @50XUR7XXzi5oi9B
15 Followers 818 Following
Fimo @Fimo7134685
188 Followers 7K Following Poetry is when an emotion has found its thought and the thought has found words.
aron @Aron_Adler
3K Followers 3K Following ⊙ functional programming, dependent types. lean4 💜 newbie. love thinking about type systems. jewish. ¬p-zombie.
Valentina @ojn6RPqQ3Mz3y1
28 Followers 856 Following
Donnie Boyle @boyle_donn69482
153 Followers 5K Following
Holly @2f95kPq05s8hcI6
33 Followers 1K Following
BeatriceMaugham @95BDHoxu7VF995
21 Followers 1K Following Enthusiast of all things creative and caffeinated.
Hanna @e5L0Cw7Wk84ktf3
38 Followers 1K Following
まんまるいもも... @bubu1131000
4K Followers 2K Following 🏠2025/3/18🎂2024/12/13 まんまる♂ いももち♀ 🎂2025/5/13 くくり♂茶いも♀
Toythewth @ToythewthZGZTx
80 Followers 3K Following
Adrien Sporer @AdrienSpor60356
118 Followers 5K Following
Mangethe @realdonnut
3K Followers 7K Following Property Developer ,Architect ,Engineering & Construction 🚧.Loves travelling and seeing new places .
DeGatchi @DeGatchi
15K Followers 917 Following firmware ∩ combinatorics | burnt out podcast @ScrapingBits (math, ai, infosec, hft, crypto)
ゆみな しおつ�... @YuminaS25650
3 Followers 265 Following
Formal Land 🌲 @FormalLand
2K Followers 2K Following Security audits for Web3, with formal verification. We innovate to provide you with the most extensive security solution. Solidity, Rust, ZK.
Hamiltonian Jungle @hamjungle_
113 Followers 507 Following Official account of the Hamiltonian Jungle - https://t.co/HXNYofBwdu
Sacha Ichbiah @sachaicb
925 Followers 4K Following CTO @retabdev // shadcn high priest // prev @polytechnique, physics PhD
Smells Like ML @smellslikeml
933 Followers 442 Following Building #ExperimentOps @remyxai Experiment orchestration for AI teams #XO #BeAnExperimenter #WhatsNext
Simon Coste ꙮ @__SimonCoste__
1K Followers 2K Following Maths & ML researcher at Université Paris-Cité | Founder & AI lead of Bang! @comics_bang
Abbey Page @AbbeyPa04494807
2 Followers 11 Following
Donna Stephens @DonnaSt39549845
8 Followers 224 Following
Joe Sluis @jyobo10
4K Followers 752 Following software engineer @microsoft | databasemaxxing | ssh https://t.co/stYIgDkOem
René Cannaò @rene_cannao
4K Followers 6K Following @ProxySQL author | Database systems & production realities | AI tools, workflows & leverage for tech builders | Solopreneur systems in infra
Erin Carmody @uncountableart
696 Followers 433 Following Math, set theory, logic, art, PhD math https://t.co/unx2g39A3m
Ivan Fioravanti ᯅ @ivanfioravanti
39K Followers 1K Following GenAI/LLM addicted, Apple MLX, Cloud computing, Kubernetes, Technology Advisor, Investor and Co-Founder & Board Member of CoreView.
Tienson Qin @tiensonqin
4K Followers 1K Following Co-Founder of @logseq, building a platform for learning and collaboration.
COSMIC_YOLOBOT @cosmic_yolo_bot
5K Followers 121 Following A low-quality approximation of AIXI Go make a fractal: https://t.co/vUiVwPKYPt
Victor Oldensand @victoroldensand
2K Followers 227 Following engineer sharing thoughts you might read - @shipfr8 @KTHuniversity @EPFL, currently learning the full robotics stack.
Tim Sneath @timsneath
45K Followers 97 Following Developer tools and frameworks at Apple. I aspire to build delightful products, and to make others smile.
Felix Rieseberg @felixrieseberg
68K Followers 720 Following Claude Cowork / Code @AnthropicAI, Co-Maintainer https://t.co/g4potti8nq
Francesco Ciulla @FrancescoCiull4
211K Followers 493 Following - Head of DevRel Engineer at https://t.co/t5PMw0nLYM - Software Developer - Rust, Docker, Web Dev - Docker Captain - Keynote Speaker - Building a 1M community...66%
Ryan Peterman @ryanlpeterman
28K Followers 434 Following Building the podcast & ergonomic keyboard I wish existed • ex-software engineer @instagram, @meta • See what I'm building here ↓
KD @ChekhovianGun
626 Followers 3K Following Engineer @Nvidia. Opinions are my own. I like to discuss AI, Math, Philosophy and everything in between.
Aikido Security @AikidoSecurity
12K Followers 1K Following Secure everything devs build, ship & run. 🌐 https://t.co/xLANl2VLwq ⭐️ https://t.co/qEhI9gQLeo Get developers back to building.
Almog Gavra @almoggavra
812 Followers 284 Following I build and write about databases & object storage https://t.co/R3TkjZsGvc https://t.co/bGsuPwe8aj
Tobias Lins @tobiaslins
6K Followers 733 Following Product Engineer · Building @Vercel Observability Products · Splitbee Founder (acquired by Vercel)
cat @_catwu
93K Followers 392 Following claude code + cowork @anthropicai, prev: @dagster, @scale_ai
Mehtaab Sawhney @mehtaab_sawhney
3K Followers 6 Following
Tiberiu Mușat @Tiberiu_Musat_
778 Followers 953 Following Trying to figure out how AI works 🔍🧠 Currently at @ETH Zurich, previously @EPFL 🇨🇭 LLMs, interpretability, emergence, grokking 🤖
levent @__alpoge__
4K Followers 104 Following idiot. cuda og, harvard val, morgan prize, society of fellows, 1 hilbert problem so far, creating friendly, SAFE, delightful, supergenius ..things @anthropicai
Karri Saarinen @karrisaarinen
89K Followers 1K Following ceo of @linear 🇫🇮🇺🇸 previously: @coinbase @airbnb, YC alumni
Brotzky @brotzky
19K Followers 235 Following Web @Wealthsimple, Writing https://t.co/MloZe5FzQp, Co-founder https://t.co/aNlOFZiVLA (acq. by @Wealthsimple). An engineer that loves design.
Daniel Zheng @dhhzheng
331 Followers 35 Following RE@GDM. Used to do maths for robots, now making robots do maths. Enjoy being a long way off the ground.
Thomas Bloom @thomasfbloom
4K Followers 83 Following Royal Society University Research Fellow at the University of Manchester. Mathematician and owner of https://t.co/SWVqqnq9hn. He/him/his.
savannah longoria @savsql
786 Followers 539 Following senior dev advocate @databricks/@neondatabase previously solutions engineer at @clerk @planetscale @singlestoredb EECS @ucberkeley
David Yanacek @dyanacek
5K Followers 607 Following Sr. Principal Engineer at #AWS on #AgenticAI and on AWS DevOps Agent, formerly #CloudWatch #Lambda #APIGateway #IoT and #DynamoDB
张小珺 Xiaojun Zha... @zhang_benita
39K Followers 119 Following Award-winning tech journalist · Host of Zhang Xiaojun Podcast
Chris Tate @ctatedev
61K Followers 2K Following @Vercel Labs | Created https://t.co/473Fqx4HKt, https://t.co/ZekOfFeoXF, https://t.co/9MKvOdyxN3, https://t.co/Bnt6dbEdSi, https://t.co/SODeKvPbac | Husband & Dad | He/him | Musician, Space Nerd, Foodie | Vegan
whats going on @phone3301
260 Followers 699 Following 2006 Time person of the year. undergrad, physics/math
Rhys @RhysSullivan
58K Followers 1K Following building https://t.co/gIFOwRUrLU to connect any agent to every tool, API, and service your team uses | yc 26
jayesh @0xjayeshyadav
2K Followers 509 Following Protocol Architect / EVM · DeFi · ZK / IIITK'24 / Don't trust me? Good, I'm building a world where you won't have to.
argoproj @argoproj
22K Followers 27 Following Argo is the premier open source GitOps and MLOps CNCF project


































