Daniel Augusto @spectraldani
PhD student at UCL. Working on Gaussian Processes. I love everything mathy, videogames, and language. 🇧🇷 He/Ele/Él @[email protected] spectral.space UK Joined July 2012-
Tweets3K
-
Followers241
-
Following908
-
Likes29K
Lecture 1 from this semester's "Introduction to Formal Real Analysis" is posted: youtube.com/watch?v=TN51-1… We first go over why "Real Analysis" is even needed (why is "Calculus" insufficiently rigorous), and then the first steps in using Lean. We're following "Real Analysis, The…
A delegada liderou a trágica operação Ouvidos Moucos. Acusaram o reitor da UFSC de desviar R$ 80 milhões - que, a rigor, era o valor total do programa de ensino à distância Luiz Carlos Cancellier era inocente. A única "prova" contra ele: depósitos na conta do filho no valor de…
A delegada liderou a trágica operação Ouvidos Moucos. Acusaram o reitor da UFSC de desviar R$ 80 milhões - que, a rigor, era o valor total do programa de ensino à distância Luiz Carlos Cancellier era inocente. A única "prova" contra ele: depósitos na conta do filho no valor de…
Looking at the thread. The common frame to look at the more general phenomenon involves an eigenproblem of the form Oƒ = λƒ, where the operator O encodes either: a symmetry (translations, rotations, general group transformations), or a a statistic (e.g. covariance, correlation),
Looking at the thread. The common frame to look at the more general phenomenon involves an eigenproblem of the form Oƒ = λƒ, where the operator O encodes either: a symmetry (translations, rotations, general group transformations), or a a statistic (e.g. covariance, correlation),
Today I scrolled through Daikanwa, and there was one thing that catched my eye. It was the 西夏語 "Tangut language" word out of nowhere. So I think it's time for a short thread. /1
WTF?! NeurIPS sneakily edited their website AFTER the deadline to say papers whose authors only have virtual passes will be desk rejected, and in person registration is needed Why do all the conferences want to screw over disadvantaged researchers? They're already rich!
Counterpoint: ctext.org/dictionary.pl?…
Counterpoint: ctext.org/dictionary.pl?… https://t.co/ShO1Jct6wB
@RockstarJay94 there's an interesting book called _the art of not being governed_ that touches the phenomena of tribes converting en masse to christianity. To summarise its argument, these tribes are not primitive people that were somehow left behind by civilisation, but people...
The #AISTATS2026 Call for Papers is out! Abstract Deadline: Sep 25, 2025 (AoE) Full paper Deadline: Oct 2, 2025 (AoE) Supplementary Deadline: Oct 9, 2025 (AoE) It is a privilege to serve as a Workflow Chair alongside @_Mr_YJ and Program Chairs Aaditya Ramdas and @arnosolin
Super happy to share the news on behalf of the team for the Sally T. WongAvery Digital Collection of Chinese Materials at Cambridge University Library: our Hopkins Oracle Bones (2D set CUL1–610) and 50 3D images are now freely accessible to the world. cudl.lib.cam.ac.uk/collections/wo…
#HBD to arXiv!🎈 On August 14, 1991, the very first paper was submitted to arXiv. That's 34 years of sharing research quickly, freely & openly! Some baby pictures to show how far we've come . . . when we were just a computer under desk . . . & in our 1994 punk phase . . . 👶💾
📣 Please share: We invite submissions to the 29th International Conference on Artificial Intelligence and Statistics (#AISTATS2026) and welcome paper submissions at the intersection of AI, machine learning, statistics, and related areas. @aistats_conf [1/3]
I wrote a piece for the Guardian about the real reason the UK houses asylum seekers in hotels. Since this website is now dominated by racists and fascists, I thought it would be helpful to post the key points below, for anyone who wants to know the truth.
This is such a great tip!!! 💙 Made a quick Codepen so you can play around with it codepen.io/una/pen/gbaWdmy
This is such a great tip!!! 💙 Made a quick Codepen so you can play around with it codepen.io/una/pen/gbaWdmy
Postscript: @riemannzeta gave my question to Gemini 2.5 Pro, got a bad answer which I corrected w/ suggested sources, then asked it again to answer w/ those sources--and it gave a great answer. Problem is, you have to know the answer to get a good answer. x.com/riemannzeta/st…
Postscript: @riemannzeta gave my question to Gemini 2.5 Pro, got a bad answer which I corrected w/ suggested sources, then asked it again to answer w/ those sources--and it gave a great answer. Problem is, you have to know the answer to get a good answer. x.com/riemannzeta/st…
I've been told that the AI models out there have been trained on super-huge corpuses of data--everything out there. So I've been asking it specific questions to see what it does. Today I asked it if Congress cut the budget of the Forest Service in 1910 and 1911.
I have an opening for a 2-year postdoc in probabilistic machine learning and/or experimental design. The application deadline is the 3rd of September. See here for details and how to apply: tinyurl.com/rainmlpostdoc2…

Prakhar Verma @prakhar_verma7
49 Followers 317 Following Doctoral researcher at @AaltoUniversity, exploring statistical machine learning. Previously: @MSFTResearch @AdobeResearch @UniofOxford @TomTom
Pedro Panarra @panarra_pedro
2K Followers 2K Following Redactor/Tradutor. Docente. VHS. Política, literatura, filosofia.
Abrieorou @Abrieorou02325
8 Followers 546 Following
Seongho Son @seongho_son_ml
35 Followers 43 Following Computer Science PhD student at University College London / Interested in Reinforcement Learning, Uncertainty Estimation, Energy-Based Models
Pasquale Minervini @PMinervini
9K Followers 5K Following Research in ML/NLP at the U of Edinburgh (tenured faculty @InfAtEd @EdinburghNLP), Co-Founder @Miniml_AI, @ELLISforEurope Scholar, https://t.co/5dUI3EFexo
Zhengyan Shi @Zhengyan_Shi
454 Followers 440 Following Senior Researcher @MSFTResearch. PhD from @UCL. ML/NLP. Views Are My Own.
Shared @Sharedw86G
109 Followers 6K Following
Violet 🌷 @QStamm64436
25 Followers 813 Following Life is what happens when you’re busy making other plans. 🌍✨
will @murderbaIl
167 Followers 3K Following
TechnicalBen @_TechyBen
1K Followers 1K Following @[email protected] Prompt Wizard, test me out. It's in the training data???
Help @PolSciEnjoyer
48 Followers 623 Following
Pietro Sittoni @CasselHank
46 Followers 1K Following
Julian Rodemann @jurodemann
652 Followers 2K Following https://t.co/4tTSxAVdA0 | PhD student in statistics @LMU_Muenchen
Guilherme Soares @guipsoares
263 Followers 1K Following Incoming Stats PhD Student @stats_UCL | Former @usponline @KAUST_News
Sara Magliacane (she/... @saramagliacane
3K Followers 2K Following Assistant prof @AmlabUvA Amsterdam | ELLIS scholar | #causality #causalML anything #causal | 🇮🇹🇸🇮 in 🇳🇱 | #UAI2025 program chair | @smaglia.bsky.social
zev handel @ZevHandel
4K Followers 98 Following Leaving old posts up here. I’ll be doing new posting over at Bluesky, look for zevhandel there. Check out my new book from @UWAPress at the link below.
Silvio Traversaro @sitraversaro
997 Followers 5K Following Robotics Applied Scientist @ami_iit @iCub @IITalk . Robotics Software @condaforge @RoboStack .
Tausmau @Tausmau6C4Dk
96 Followers 2K Following
Petishasm @PetishasmxPx
91 Followers 2K Following
Simon Coste ꙮ @__SimonCoste__
1K Followers 1K Following Maths & ML researcher at Université Paris-Cité | Founder & Investor at @eigenventures On leave from Academia until early 2025 🚀https://t.co/XwA78g040c
Sā́mapriyaḣ @Malliafan_calc
24 Followers 45 Following Math & Stat account of @avzaagzonunaada. Probability, (Geometric) Measure Theory, Functional Analysis, Statistics, applications in Linguistics & Anthropology.
Clementine Yang @hellokittyinml
42 Followers 88 Following @amazon | ex:@ucl model at @LondonFashionWk Hi! 👋 Glad you visit my profile! Happy to talk about AI/Maths/Fusion/Quantum/Classical Music/Snooker/Literature!😉
Isaac Thompson @IsaacThss
154 Followers 2K Following Research Assistant at The Alan Turing Institute, researching reinforcement learning and autonomous cyber defence.
Yuchen Zhu @_zhuyuchen
364 Followers 329 Following ML PhD @ai_ucl. Interested in causal inference, abstraction and transfer. Ex: @MSFTResearchCam, @amazon, Mathematics @Cambridge_Uni. @zhuyuchen.bsky.social
Matias Altamirano Mon... @matialtamiranom
198 Followers 461 Following PhD Student Statistical Science @UCL | MSc Applied Mathematics @uchile
Saavn @SatisfyingIs
5 Followers 219 Following Research Scholar | AI | Probabilistic ML | Prior Modelling
Eduardo Fernandes Mon... @efernand9
68 Followers 172 Following PhD in mathematical computer science (Université Paris-Saclay & CEA), AI Researcher @ SigmaNova Optimal Transport | Machine Learning
Sébastien Darses @DarsesSebastien
3K Followers 3K Following Math. Assoc. Prof. visiting @CRM_Montreal @CNRS_INSMI 👨🎓Teaching project https://t.co/ptSyDYukee
Emily 🏳️⚧�... @emily_etale
201 Followers 305 Following Hello! I'm a mathematician and type designer based in Brazil, currently working on the Clowder Project and Darwin.
UKRI CDT in Foundatio... @FAICDT1
485 Followers 101 Following UKRI CDT in Foundational AI at UCL - Shaping the future of AI one PhD at a time. Also on Linkedin https://t.co/YkKjvkPECA
Viacheslav Borovitski... @vabor112
615 Followers 176 Following Assistant Professor in Machine Learning @EdinburghUni. PhD in Mathematics. Ex @ETH_en. Also on 🦋: @vabor112.bsky.social
frogsniffa @frogsniffa
36 Followers 2K Following
Pedro Dall @PedroCastDall
43 Followers 512 Following Grad student in Applied mathematics at FGV | Ex-Quant
KillJoydelSur 🍉 @killjoysouth
877 Followers 2K Following 🇲🇽🇨🇦 - committed killjoy -🏳️🌈🏳️⚧️ally/safezone
Tom Mullaney @tsmullaney
12K Followers 8K Following Stanford Teacher of the Year, Chinese Computing & IT + Where Research Begins, Father of 2, #firstgen, Historian, Guggenheim Fellow, Songwriter, LOC Kluge Chair
Abby @mdbfort
30 Followers 749 Following
Karan Trivedi @Karan_3vedi
27 Followers 718 Following
Daniel Tan @DanielCHTan97
335 Followers 405 Following AI safety researcher. Interested in developing a science of how LLMs generalise, and understanding relevant safety risks.
Mark van der Wilk @markvanderwilk
4K Followers 598 Following Associate Professor in Machine Learning at the University of Oxford. Interested in automatic inductive bias selection using Bayesian tools.
@bluecow 🐮(schizo) @BLUECOW009
16K Followers 7K Following creator: SuperPrompt ⟨ψ,ψ⟩ = 1 /// prompt god /// 6S9t4RN9HFXdNtAjJ3LfVGzmkHQoXX8ApFaBqGupBAGS
Ipsit Mantri @SriIpsit
488 Followers 6K Following Research Intern @INSIGHTLabBGU || Interned @SonyAI_global Tokyo || MS'25 @PurdueCS || CMMRS'23 || BTech EE'22 @IITBombay
raphael crespo @raphaelcrespope
104 Followers 874 Following
Shruthi Prusty @Shruthaaayyy
306 Followers 1K Following CS PhD student @JHUCompSci, @JohnsHopkins | She/Her | BS-MS in Maths @IISERPune | MS thesis @GlasgowCS | Algorithms, Combinatorial Optimization, Probability.
marquinhos @geeekdama
106 Followers 837 Following fisico sem educaçao, pseudocinefilo e eterno propagador da discórdia
Veronica Chelu @VeronicaChelu
888 Followers 1K Following postdoc • computational neuroscience & psychedelics @mcgillu | Past: @GoogleDeepMind | PhD @rllabmcgill @MILAMontreal | @IVADO_Qc |🦋@veronicachelu.bsky.social
Prakhar Verma @prakhar_verma7
49 Followers 317 Following Doctoral researcher at @AaltoUniversity, exploring statistical machine learning. Previously: @MSFTResearch @AdobeResearch @UniofOxford @TomTom
しまりすゆきち... @yukichi_nya___
49K Followers 945 Following お絵かきしまりす🐿【work】ポケモンカードのイラスト、pixiv広報用イラストなど 書籍『デフォルメ世界の描き方』 かわいそうなりす🐿️お仕事の相談はHP↓から
joe @pauseandselect
4K Followers 165 Following why save time say few word when lot word do trick? \\ likes are a read receipt \\ I mute my threads because I'm essentially an arsonist \\ game dev
Tom Rainforth @tom_rainforth
6K Followers 295 Following Associate Professor in Machine Learning at the University of Oxford, Head of RainML Research Lab (https://t.co/uuBwQ2WdMN)
𫇰國音之字 @mun_ghion
855 Followers 92 Following Граждане США 。米国の住人です、専門家ではないが専門家の論文結構読んでおります 。言語学、切韻系音韻学、中古漢語の音韻、漢文, チュノム、古代ベトナム語、越諸語、南亜祖語 (オーストロアジア祖語)、岱喃字、タイ―語、古壮字, チワン語、タイ諸語、英語
Pedro Panarra @panarra_pedro
2K Followers 2K Following Redactor/Tradutor. Docente. VHS. Política, literatura, filosofia.
篆書を学ぶ @unkaido_tensho
3K Followers 12 Following 篆書を学んでいます。だんだん文字に見えてくると思います。#篆書探してください もお楽しみください。クイズはどなたでもご参加いただけます。ヘッダー画像は李陽冰『三墳記』。プロフィール画像は篆書の「書」の字です。運営は雲海堂(@unkaido) が行ってます。
mathgrrl @mathgrrl
5K Followers 741 Following math geek and defender of the universe - https://t.co/cbGSqjtovq - Dr. Laura Taalman
Hei Wa Wa @yaqobhyndes
13K Followers 340 Following
Trent AI @TrentAIHQ
19 Followers 3 Following Make AI robust and production-ready by solving the critical final 10% of challenges that will enable true global-scale deployment.
UBports Foundation @UBports
11K Followers 253 Following UBports is developing Ubuntu Touch - a beautiful, free and open-source mobile operating system #UbuntuTouch #Ubuntu #Linux #Convergence
Seongho Son @seongho_son_ml
35 Followers 43 Following Computer Science PhD student at University College London / Interested in Reinforcement Learning, Uncertainty Estimation, Energy-Based Models
Zhengyan Shi @Zhengyan_Shi
454 Followers 440 Following Senior Researcher @MSFTResearch. PhD from @UCL. ML/NLP. Views Are My Own.
cecilily loves her fr... @cecililytweets
7K Followers 196 Following Chikorita's strongest soldier. 📧 [email protected]
nkay @nkay166687
309 Followers 5 Following ニセ科学(疑似科学、フェイクニュース、デマ情報、トンデモ論、嘘雑学 etc.)と戦っている、古代漢字の研究者の一人です。 凍結された旧アカウント→ @nkay 簡化字bot→ @jianhuazi_bot note→ https://t.co/81OxJzS7uU
ナガノ @ngntrtr
1.4M Followers 6 Following LINE公式アカウント【https://t.co/Y98lJVsG8D】グッズ公式【@ngngoods_kouhou】お仕事のご依頼はこちらhttps://t.co/WUOoEgWun1
Bringus Studios @Bringus_Studios
13K Followers 194 Following I happen to be gaming https://t.co/bDpgJEF1Ea
四字熟語書写 #�... @yojisyosya
3K Followers 389 Following 第700回をもって更新は終了しました。 過去のお題はご自由にご使用ください。 《出典》漢検 四字熟語辞典 第二版(日本漢字能力検定協会編) #よじしょしゃ
朝活書写のお題 @asakatsu_shosha
31K Followers 8K Following 2019.10.12~青空文庫より原則毎朝5時に書写の一文お題(最大100文字)をツイートしています。お題の画像は縦書き1行20文字。お気軽に是非 #朝活書写 でツイートを。過去分もお気軽に。※お題ポストのスクショ及びお題画像の転載は禁止です。※お題の選出は原則ランダムです。※お題文と中の人の思想は切り離してください。
ゲーム画像生成... @GameGeneQuiz
36K Followers 1 Following メッセージは でないはずだよ ルールはこちらから↓ https://t.co/gh2bin1RFA
DJ DENGUE @DejayDengue
868 Followers 872 Following
Arnaud Doucet @ArnaudDoucet1
6K Followers 809 Following Senior Staff Research Scientist @GoogleDeepMind, previously Oxford Stats Prof - interested in Comp Stats, Generative Modeling, Monte Carlo, Optimal Transport
Julian Rodemann @jurodemann
652 Followers 2K Following https://t.co/4tTSxAVdA0 | PhD student in statistics @LMU_Muenchen
Guilherme Soares @guipsoares
263 Followers 1K Following Incoming Stats PhD Student @stats_UCL | Former @usponline @KAUST_News
Sara Magliacane (she/... @saramagliacane
3K Followers 2K Following Assistant prof @AmlabUvA Amsterdam | ELLIS scholar | #causality #causalML anything #causal | 🇮🇹🇸🇮 in 🇳🇱 | #UAI2025 program chair | @smaglia.bsky.social
Willie Neiswanger @willieneis
1K Followers 262 Following Assistant Professor @USC in CS + AI. Previously @Stanford, @SCSatCMU. Machine Learning, Decision Making, AI-for-Science, Generative AI, Uncertainty, ML Systems.
jaco@初画集発売�... @age_jaco
22K Followers 3K Following 絵を描いたり何か作ったり ■画集『白と黒の世界』/ モノクロイラストテクニック ■Rev-O-mate / TracXcroll ■スタンプ→https://t.co/kjMpZRmTry ■DMM.make→https://t.co/lM2E9EBhrq
Silvio Traversaro @sitraversaro
997 Followers 5K Following Robotics Applied Scientist @ami_iit @iCub @IITalk . Robotics Software @condaforge @RoboStack .
✂️ Fold Up Toys �... @FoldUpToys
2K Followers 147 Following Graphic designer & paper engineer specialising in paper toys. I tweet about paper craft, design & toys.
Jeff Geerling @geerlingguy
78K Followers 5K Following Father, author, developer, maker. Sometimes called "an inflammatory enigma". #stl #ansible #k8s #raspberrypi #crohns #ostomy
Simon Coste ꙮ @__SimonCoste__
1K Followers 1K Following Maths & ML researcher at Université Paris-Cité | Founder & Investor at @eigenventures On leave from Academia until early 2025 🚀https://t.co/XwA78g040c
You Are All Diseased @JohnTibbetts2
175 Followers 1K Following Professional writer, procrastinator, and humorous quip enthusiast. fucked off to bluesky, but also on tumblr at https://t.co/v90bb3B1Ho
Sā́mapriyaḣ @Malliafan_calc
24 Followers 45 Following Math & Stat account of @avzaagzonunaada. Probability, (Geometric) Measure Theory, Functional Analysis, Statistics, applications in Linguistics & Anthropology.
KOU INOUE @kou_inoue128
17K Followers 529 Following イラスト描いています。ご依頼等はご気軽にDMまで。gmail→[email protected] boothやYouTubeなどのさまざまな活動先→ https://t.co/howZqlNkIf
Clementine Yang @hellokittyinml
42 Followers 88 Following @amazon | ex:@ucl model at @LondonFashionWk Hi! 👋 Glad you visit my profile! Happy to talk about AI/Maths/Fusion/Quantum/Classical Music/Snooker/Literature!😉
Isaac Thompson @IsaacThss
154 Followers 2K Following Research Assistant at The Alan Turing Institute, researching reinforcement learning and autonomous cyber defence.
漢字1文字bot @1KanjiBot
4K Followers 0 Following Unicodeに存在する漢字1文字を40分おきにランダムに呟くbotです。 ・表示できない漢字があるため、同じ字を画像でもツイートします。 ・漢字の説明は漢字林およびIPAから引用。情報の正確さは保証しません。 ・勉強用ではありません。 登録文字数:92866文字 詳しくは下のツイフィールをご覧ください
Yuchen Zhu @_zhuyuchen
364 Followers 329 Following ML PhD @ai_ucl. Interested in causal inference, abstraction and transfer. Ex: @MSFTResearchCam, @amazon, Mathematics @Cambridge_Uni. @zhuyuchen.bsky.social
TotientQuotient @t0tientqu0tient
977 Followers 678 Following Survived tripos somehow. All effort, no skill. Still trying to become a mathematician. Probably suffering from some form of the Algernon-Gordon effect.
Matias Altamirano Mon... @matialtamiranom
198 Followers 461 Following PhD Student Statistical Science @UCL | MSc Applied Mathematics @uchile
電音部プロジェ... @denonbu
79K Followers 249 Following 音楽原作キャラクタープロジェクト 全楽曲🎧https://t.co/XPByHyqN1T YouTube📺https://t.co/3RKhVUsiN0 電音部公式リスト https://t.co/1wM5mg1xDL 🎨FA🖌️ #電音部美術部
t+pazolite(とぱぞ�... @tpazolite
134K Followers 2K Following 曲も言動も落ち着きがない YouTube: https://t.co/sTky67j9Q7
Frank Nielsen @FrnkNlsn
36K Followers 2K Following Information Geometry, Information Theory, and Geometric Science of Information (GSI) for machine learning and AI, visual computing, HPC, pyBregMan lib @SonyCSL