Conexus @ConexusAI
Rolling out your data fabric ONCE conexus.com San Francisco, CA Joined April 2019-
Tweets1K
-
Followers515
-
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
The formula's wrong
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
Accurate
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…
Just added a few more papers to this list github.com/bgavran/Catego… If I'm counting correctly, there have been three CT publications at machine learning conferences this year. (Two at ICML, one at ICLR)
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…
Terry Tao on AI and Lean in mathematics:
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 820 Following 🇮🇹, PhD @mspstrath, mathematician @ARIA_research (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
Bruno Gavranović @bgavran3
9K Followers 923 Following Building structured neural networks using principles from category theory.
bOb cOeCke @coecke
9K Followers 602 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 824 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 257 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 373 Following PGP: 0xED9B08618551099B 💹 🧮 💵 @ https://t.co/IHls61vyV1 ⚛️ 💫 ⚛️ @nvrlcl 🏨 🛎️ 🗂️ @napuleth 🦆
Eigil Fjeldgren Risch... @Ayegill
2K Followers 542 Following @ayegill.bsky.social (bluesky) @ayegill.schelling.pt (mastodon) Applied algebraic abstractologist. Trying to get the heavens into my head
James Fairbanks @fairbanksjp
597 Followers 210 Following Assistant Professor @UF. Studying how math can help us better use computers to understand the world.
Heneli @henelidotdev
133 Followers 925 Following Haskeller, Alum @recursecenter Sp2'17, alt: @anthrolawnmower
🦅 @01Diriyah
0 Followers 131 Following
فيصل آل هلا�... @alhilalfaisal14
186 Followers 184 Following أطلب العلم والمعالي. أجمع بين التصميم والتقنية والمحتوى الإبداعي في @MyNusuk.
Mohammed Alh @harirology
307 Followers 4K Following
Stodyo.com @stodyo_com
611 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 601 Following We help clients buy and sell intuitive domain names [email protected]
shazam kipngetich @shazamkipn24625
14 Followers 124 Following
Ingo Müller @Bienline303
6 Followers 239 Following
Thishesh @Thishesh7Fc5vp
11 Followers 354 Following
Tondough @TondoughPJcXjW
94 Followers 5K Following
vaucouleur @vaucouleur
0 Followers 1K Following
Giuseppe Torre @giuseppetorre
80 Followers 2K Following Papà | Professor Ethics, AI, Management @Pontificia università Antonianum | Venture partner @Moonstone
Gimei Alex @AlexisGimmy
323 Followers 7K Following AI Engineer || Software Engineer || FOUNDER @Techstride96633 || Building Agentic systems || Research Fellow @Cohere_Labs @cohere
🦉 @twistingmazum
17 Followers 457 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
710 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 810 Following Thus does conscience make cowards of us all.
Seautha @Seautha179793
91 Followers 7K Following A strong woman is one who is determined to do what others are determined not to do.
周彦伟(yanwei) @zhouyanwei
118 Followers 496 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 459 Following Wolność jest matką, nie córką ładu. Tyrania jest formą anarchii.
Ramneet Singh @Ramneet_Singhh
847 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
220 Followers 240 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 386 Following Ph.D. student in Programming Language, Purdue https://t.co/uj73YuWK0C
Lef @elefthei
1K Followers 1K Following PhD candidate @Penn, Compilers, Formal Verification, Cryptography. Previous: @AWS, @MIT, @Apple.
CyberCat Institute @CyberCatInst
1K Followers 109 Following Institute for Categorical Cybernetics - applied category theory for social good in economics, machine learning and software engineering
Lord Welt Meister @Welt__Meister__
2K Followers 7K Following Staunchly anti-Hindi. Dasyu Dravidian Sepoy. Macaulayist. Disciple of Lord Macaulay. Anti Decolonization.
Andrew Estrella @AndrewEstrella6
0 Followers 144 Following
Sang Dao @SangDao811932
104 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 395 Following
AnnamariaRosch @AnnamariaR63540
30 Followers 2K Following
Nikos Karagiannidis @dbfunctor
85 Followers 591 Following Senior Data Zookeeper | Lead Data Engineer @Chubb | prev. Principal Data Architect @Cosmote | I solve business problems with data solutions - Views are my own
Rudolf Carnap @CarnapSpeaks
4K Followers 1K Following
Luigi Alfonsi @alfonsi_luigi
289 Followers 553 Following Theoretical physicist @UniofHerts | PhD @QMUL | MSc @MScQFFF | Investigating the geometry at the heart of Quantum Field Theory | 🇮🇹🇪🇺 | #FBPE
frang @frang_u99393
120 Followers 4K Following
Gremlin Morgoth @PluckersConoid
58 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 756 Following Founder of @anarchy_ai_inc | Dr of Deep Logic @the_sri_lab | radically closed development
Qlib @StatehoodStudio
1 Followers 47 Following
Bartosz 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 824 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Topos Institute @ToposInstitute
3K Followers 23 Following Working on infrastructure for the future: collaborative modeling, collective intelligence, networked mathematics, and safe deployment.
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
156 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
134 Followers 158 Following Defense contractor providing professional services in Operational Mission Support, Global Intelligence Support Services, Cloud Services, and more!
Gremlin Morgoth @PluckersConoid
58 Followers 99 Following "They are not all accounted for, the lost stones!" - Gandalf
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 727 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 570 Following The Massachusetts Institute of Technology is a world leader in research and education. Related accounts: @MITevents @MITstudents @MIT_alumni
Eric Daimler @ead
82K Followers 1K Following Fast & Safe AI scaled by Category Theory; Working to have everyone on the field for our digital future; Fmr CS Prof. @CarnegieMellon; Obama Admin AlumTrends for United States
You might like
