Conexus @ConexusAI
Rolling out your data fabric ONCE conexus.com San Francisco, CA Joined April 2019-
Tweets1K
-
Followers511
-
Following23
-
Likes3K
Deep cuts to the National Science Foundation only make sense if you are an enemy of science or of the US. Most basic research in the US is funded by the NSF. The whole NSF budget is less than 0.2% of the federal budget, and most of it goes directly to scientists.
actually deep
can't help but Stan everything Leinster writes, today it's this beautifully simple analysis of injections and their duals in Set
nytimes.com/2024/09/23/tec… Harmonic is part of growing effort to build a new kind of A.I. that never hallucinates. Today, this technology is focused on mathematics.
In the age of AI, what skills will set our kids up for success? Programming is changing, liberal arts degrees seem limited, but physical dexterity remains irreplaceable. Cosmetology, carpentry, physical therapy - these hands-on fields might be the surprising answer to…
category theory in the news. theguardian.com/science/articl… cc @HighPerplexity9
Enough knowledge to work through for your PhD qualifying exams
Enough knowledge to work through for your PhD qualifying exams
Deepfakes can be spotted because AI doesn't know physics and screws up light reflections in eyes With a tool originally developed by astronomers to measure light distribution of galaxies Great case of an unexpected application of fundamental research ras.ac.uk/news-and-press…
I was utterly gutted yesterday by the tragic news of Arvind unexpectedly passing away. Plenty of others can far better espouse his many towering technical achievements (like this MIT article). My professional path was certainly lit by the light he shed. His generosity and warmth…
Here are the slides for my talk, "Graphs, Logic, and Lambda Calculus", this morning at @KGConference: bit.ly/lg-kgc2024. #kgc2024
📜✨ New paper out! In this jww @u_map_prop and David Spivak we introduce 'open energy-driven systems', which are a broad class of differential systems which evolve by generalised gradient flow
📜✨ New paper out! In this jww @u_map_prop and David Spivak we introduce 'open energy-driven systems', which are a broad class of differential systems which evolve by generalised gradient flow https://t.co/MTs9GUVNP1
Today I refactored some OCaml code at work using the Category Theory concept of Kan Extensions. Ngl, I felt really smart doing so. I can see the appeal now 😏
My book is out! worldscientific.com/worldscibooks/…
Mike just casually dropped the following on github last night, which is a new proof assistant that implements a type theory that is a common generalisation of dTT and HOTT! github.com/mikeshulman/na…
We are looking to hire functional programmers, especially Haskellers with formal methods and category theory backgrounds! [email protected]

Matteo Capucci @mattecapu
6K Followers 823 Following 🇮🇹, PhD @mspstrath, mathematician @ARIA_research (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
bOb cOeCke @coecke
9K Followers 598 Following Chief Scientist @ Quantinuum - Ex Prof @ Oxford - Em Prof @ Wolfson College - Distinguished Visit Res Chair @ Perimeter - Composer @ Black Tish
davidad 🎇 @davidad
20K Followers 9K Following Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death
Edward Kmett @kmett
16K Followers 822 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
alexis.toumi @AlexisToumi
1K Followers 254 Following If all you have is a functor, everything looks like a diagram. quantum computing // artificial intelligence // monoidal categories @[email protected]
FRG @fabgenovese
4K Followers 371 Following PGP: 0xED9B08618551099B 💹 🧮 💵 @ https://t.co/IHls61vyV1 ⚛️ 💫 ⚛️ @nvrlcl 🏨 🛎️ 🗂️ @napuleth 🦆
Eigil Fjeldgren Risch... @Ayegill
2K Followers 540 Following @ayegill.bsky.social (bluesky) @ayegill.schelling.pt (mastodon) Applied algebraic abstractologist. Trying to get the heavens into my head
James Fairbanks @fairbanksjp
592 Followers 209 Following Assistant Professor @UF. Studying how math can help us better use computers to understand the world.
Heneli @henelidotdev
135 Followers 928 Following Haskeller, Alum @recursecenter Sp2'17, alt: @anthrolawnmower
فيصل آل هلا�... @alhilalfaisal14
190 Followers 190 Following نشأت محبًا للإبداع، وطلبت العلم شغفًا، فوجدتني أسعى لترك أثر خالد. أجمع بين التصميم والتقنية والمحتوى الإبداعي في @MyNusuk.
Mohammed Alh @harirology
307 Followers 4K Following
Stodyo.com @stodyo_com
619 Followers 7K Following We found the metaverse, it’s at https://t.co/tFkaxHCf24 | Check out our domain portfolio. 🚀
High Street Domains @HighStDomains
2K Followers 602 Following We help clients buy and sell intuitive domain names [email protected]
shazam kipngetich @shazamkipn24625
15 Followers 122 Following
Ingo Müller @Bienline303
9 Followers 261 Following
Thishesh @Thishesh7Fc5vp
9 Followers 350 Following
Tondough @TondoughPJcXjW
94 Followers 5K Following
vaucouleur @vaucouleur
0 Followers 1K Following
Giuseppe Torre @giuseppetorre
77 Followers 2K Following Papà | Professor Ethics, AI, Management @Pontificia università Antonianum | Venture partner @Moonstone
Gimei Alex @AlexisGimmy
316 Followers 7K Following AI Engineer || Software Engineer || FOUNDER @Techstride96633 || Building Agentic systems || Research Fellow @Cohere_Labs @cohere
🦉 @twistingmazum
19 Followers 453 Following
Namesayer #DotAi @ Bu... @buyaidomains
2K Followers 3K Following Helping you get 10x views // Sell your most valuable AI related domains - “a domainer’s best friend” - DM for our services, heighten your market exposure today!
🎱 BitcoinBananaBY @BitcoinBananaBY
720 Followers 2K Following GME x BBBY x CYDY to Uranus DD for ML, Retail, Biotech Tweets, Likes or Reweets are only personal opinions, not financial advice nor am I a financial advisor.
KRG05Ret @Krg05RetUSAF
0 Followers 60 Following
Julius Hamilton @HamiltonJulius0
110 Followers 806 Following Thus does conscience make cowards of us all.
Seautha @Seautha179793
88 Followers 7K Following A strong woman is one who is determined to do what others are determined not to do.
周彦伟(yanwei) @zhouyanwei
118 Followers 498 Following Oracle MySQL ACE Director,Co-Founder & CEO of https://t.co/5Z7LyUeOrD. Chairman of China MySQL User Group(ACMUG), Founder of ODF, Author of 《MySQL运维内参》
Aspirator @W_Podbielski
8 Followers 454 Following Wolność jest matką, nie córką ładu. Tyrania jest formą anarchii.
Ramneet Singh @Ramneet_Singhh
857 Followers 5K Following Research Fellow @MSFTResearch India | Ex RA @gatech_scs, (B. + M.) Tech. CSE IITD | PL, Verification and Theorem Proving | Sports + Music + Food (in that order)
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Duckki Oe @DuckkiOe
218 Followers 244 Following Static Code Analysis Software Engineer. I developed security vulnerability detectors for many programming languages like C/C++/Java/JavaScript/PHP/Solidity/etc.
Yongwei Yuan @YuanYongwei
232 Followers 387 Following Ph.D. student in Programming Language, Purdue https://t.co/uj73YuWK0C
Lef @elefthei
1K Followers 1K Following Research Engineer @Rise_MSR, @MSFTResearch. Compilers, Formal Verification, Cryptography. Previous: @Penn, @Bridgewater, @MIT.
CyberCat Institute @CyberCatInst
2K Followers 107 Following Institute for Categorical Cybernetics - applied category theory for social good in economics, machine learning and software engineering
Andrew Estrella @AndrewEstrella6
0 Followers 144 Following
Sang Dao @SangDao811932
108 Followers 1K Following
IAB @iab
100K Followers 3K Following #IAB empowers the media and marketing industries to thrive in the digital economy.
Kristoffer Føllesdal @kfollesdal
7 Followers 396 Following
AnnamariaRosch @AnnamariaR63540
31 Followers 2K Following
Nikos Karagiannidis @dbfunctor
85 Followers 593 Following Senior Data Zookeeper | Lead Data Engineer @Chubb | prev. Principal Data Architect @Cosmote | I solve business problems with data solutions - Views are my own
Luigi Alfonsi @alfonsi_luigi
290 Followers 552 Following Theoretical physicist @UniofHerts | PhD @QMUL | MSc @MScQFFF | Investigating the geometry at the heart of Quantum Field Theory | 🇮🇹🇪🇺 | #FBPE
frang @frang_u99393
125 Followers 4K Following
Gremlin Morgoth @PluckersConoid
56 Followers 99 Following "They are not all accounted for, the lost stones!" - Gandalf
ThereIsNoSmartContrac... @HSethv
3K Followers 1K Following DLTs, Decentralized Computing, & Al enable society to dynamically align short-mid-long term interests by identifying, creating & balancing economic incentives
Dr. Mirman @mmirman
2K Followers 757 Following Founder of @anarchy_ai_inc | Dr of Deep Logic @the_sri_lab | radically closed development
Qlib @StatehoodStudio
2 Followers 46 Following
Vlad Patryshev 🇺�... @vpatryshev
1K Followers 712 Following Programmer. Taught logic etc at Santa Clara University. My slides and talks: https://t.co/YaBLuKh2Ir
ℚ𝖚𝖆𝖘𝖎�... @QuasiFinance
629 Followers 350 Following ᴄʜᴇᴄᴋ ᴏᴜᴛ ᴛʜᴇ ʏᴏᴜᴛᴜʙᴇ ʟɪɴᴋ ʙᴇʟᴏᴡ! ᴇᴅᴜᴄᴀᴛɪᴏɴᴀʟ *ᴠɪᴅᴇᴏꜱ* ᴏɴ ꜱᴄᴀʟᴇ ʟᴀᴡꜱ, ᴄᴏʟᴏʀ, ʀᴇꜱᴏᴜʀᴄᴇ ɢᴀᴍᴜᴛꜱ, ᴛᴀɪʟ-ᴇɴᴅ ʀɪꜱᴋ ᴇᴛᴄ.... ᴠᴏʟᴜɴᴛᴇᴇʀ ᴠᴏɪᴄᴇ ᴀᴄᴛᴏʀꜱ ᴅᴍ ᴜꜱ
The Eric Mueller Show @ericmuellershow
246 Followers 813 Following Embark on the journey of exploring what makes a successful person’s inner clock tick. Creator & Host: @ericmueller32Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
davidad 🎇 @davidad
20K Followers 9K Following Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death
Edward Kmett @kmett
16K Followers 822 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Functor Fact @FunctorFact
26K Followers 6 Following Functional programming and category theory tweets from @JohnDCook
John A De Goes @jdegoes
18K Followers 1K Following CEO @ZivergeTech, CEO @GolemCloud, Exec Producer & Creator @TheUltCoder, OSS contributor @zioscala, speaker, writer. Accelerating human dominion. ✝️
Paul Lessard @PaulRoyLessard
159 Followers 8 Following Principal Scientist - Categorical Deep Learning - @Symbolica Professional alter-ego of @quixote_dr
Symbolica @symbolica
2K Followers 0 Following Applying category theory and type theory towards enabling machine learning models capable of structured reasoning. Join us: https://t.co/ulK1QuZiry
Quiet Professionals, ... @QuietProLLC
132 Followers 158 Following Defense contractor providing professional services in Operational Mission Support, Global Intelligence Support Services, Cloud Services, and more!
Gremlin Morgoth @PluckersConoid
56 Followers 99 Following "They are not all accounted for, the lost stones!" - Gandalf
Topos Institute @ToposInstitute
3K Followers 23 Following Working on infrastructure for the future: collaborative modeling, collective intelligence, networked mathematics, and safe deployment.
Max Valiquette @maxvaliquette
5K Followers 2K Following Former Executive Director of Communications - Office of the Prime Minister of Canada; Public Speaker, Strategist, Marketer, Author, and more.
SALT @SALTConference
24K Followers 3K Following 𝗦𝗔𝗟𝗧: a knowledge + networking platform covering finance, tech & public policy. 2025 Wyoming Blockchain Symposium, Aug. 18-21: https://t.co/i0DCbYCAAf
The 🐠 BblFish @bblfish
2K Followers 3K Following Enabling cooperation of sovereign actors with #hyperApps that read/write #hyperData on the Web 👍 Cat-herding ❌ Phishing 🎣 👷 Scala 🚀 Reality Distortion Field
Leemon Baird @leemonbaird
51K Followers 3 Following Co-Founder of @Hedera and @Hashgraph and @DeRecAlliance. Inventor of #hashgraph. @CarnegieMellon PhD. Creating the trust layer of the internet. #HelloFuture
Stanford University @Stanford
1.0M Followers 585 Following Our mission of discovery and learning is energized by a spirit of optimism and possibility that dates to our founding.
Harvard University @Harvard
1.7M Followers 725 Following Official account for Harvard University. Devoted to excellence in teaching, learning, and research, and to developing leaders who make a difference globally.
CMU School of Compute... @SCSatCMU
48K Followers 765 Following The School of Computer Science at @carnegiemellon is one of the world's premier institutions for computer science research and education.
Massachusetts Institu... @MIT
1.4M Followers 569 Following The Massachusetts Institute of Technology is a world leader in research and education. Related accounts: @MITevents @MITstudents @MIT_alumni