Conexus @ConexusAI
Rolling out your data fabric ONCE conexus.com San Francisco, CA Joined April 2019-
Tweets1K
-
Followers509
-
Following23
-
Likes3K
@semanticbeeng @jaredq_ we agree, gotta mix symbolic AI and stochastic AI to get safe AI
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
mathematics is just the study of things invariant under change of notation
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
@TechNerdForLife @stephen_wolfram We are very much looking forward to the day when all of this is made practical on a computer and not just in theory!
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 future-proofing our children's careers. hashtag#FutureOfWork hashtag#AIRevolution
category theory in the news. theguardian.com/science/articl… cc @HighPerplexity9
@jawwwn_ Pretty sure this is why e.g. arxiv.org/pdf/2311.07509 are putting knowledge graphs (a kind of ontology) into LLM prompts
@EarningsNugget who would have thought 'data modeling' would be so useful!
@ValkBarn @alc2022 Strange that more people haven't heard about ontology, what with RDF/OWL en.wikipedia.org/wiki/Web_Ontol… and other projects that have ontology right in the name
@DSeng20 Absolutely this is possible, here are various tools for doing so, in addition to those posted above. conexus.com/ontology/
@GoodeJobs @FilipSalling @baredavid_ Lots of people have ontologies, here's a list conexus.com/ontology/
@jmartela @CuriousPejjy Lots of commercial ontology systems out there for example Cyc en.wikipedia.org/wiki/Cyc
@drmusician1 Surely the Cyc project would count as the first commercial ontology, and it is still up and running today en.wikipedia.org/wiki/Cyc
@simonseverino @ValueInvestJpn We got you covered, here are some open source ontology platforms conexus.com/ontology/
@SKaraahmetovic If you like ontologies, you'd love "ologs", which are improvement thereof. en.wikipedia.org/wiki/Olog
@JsonBasedman @Sentdex If you like ontologies, you might want to check out this list of ontology platforms conexus.com/ontology/
@PalantirMystery @hyperindexed Because ontologies are actually an old technology; consider the 'web ontology language' for example. en.wikipedia.org/wiki/Web_Ontol…
Matteo Capucci @mattecapu
6K Followers 811 Following 🇮🇹, PhD @mspstrath, mathematician @ARIA_research (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
bOb cOeCke @coecke
9K Followers 592 Following Created Quantum Picturalism, ZX-calculus, Categorical QM, Quantum NLP, DisCoCat/Circ, Quantum Guitar. Books: Quantum in Pictures & Picturing Quantum Processes.
davidad 🎇 @davidad
23K Followers 10K Following cognizing structures of information processing systems, in all their forms | category theory, perennial philosophy, Bodhitropic Alignment | cancel heat death
Edward Kmett @kmett
17K Followers 812 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 411 Following PGP: 0xED9B08618551099B 💹 🧮 💵 @ https://t.co/IHls61vyV1 ⚛️ 💫 ⚛️ @nvrlcl 🏨 🛎️ 🗂️ @napuleth 🦆
Eigil Fjeldgren Risch... @Ayegill
2K Followers 543 Following @ayegill.bsky.social (bluesky) @ayegill.schelling.pt (mastodon) Applied algebraic abstractologist. Trying to get the heavens into my head
Dr Valeria dePaiva @valeriadepaiva
4K Followers 2K Following Logician, category theorist, semanticist. Likes to understand life mathematically. She/Her
James Fairbanks @fairbanksjp
587 Followers 207 Following Assistant Professor @UF. Studying how math can help us better use computers to understand the world.
Luis 🦔 @lamg_dev
516 Followers 2K Following Logic studies and answers *what makes sense* Ideology is religion without God 🇩🇪
Andrew David Meier @andrewdmeier
122 Followers 5K Following AI reasoning solved with mathematics + type theory. Cubical Type Theory enables efficient proof reuse via defined paths
Luis Lopez @lopez_philos
630 Followers 931 Following Postdoctoral Researcher at the Munich Center for Mathematical Philosophy (MCMP) - LMU Munich.
A @perihelionparse
39 Followers 253 Following Open archivist, digital curator, word lover, world traveler, probably human, maybe not.
Mohammed Alh @harirology
306 Followers 4K Following
Stodyo.com @stodyo_com
565 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 612 Following We help clients buy and sell intuitive domain names [email protected]
shazam kipngetich @shazamkipn24625
12 Followers 169 Following
Ingo Müller @Bienline303
12 Followers 364 Following
Thishesh @Thishesh7Fc5vp
7 Followers 336 Following
Tondough @TondoughPJcXjW
77 Followers 5K Following
vaucouleur @vaucouleur
0 Followers 1K Following
Giuseppe Torre @giuseppetorre
73 Followers 2K Following Papà | Professor Ethics, AI, Management @Pontificia università Antonianum | Venture partner @Moonstone
🦉 @twistingmazum
17 Followers 471 Following
Namesayer #DotAi @ Bu... @buyaidomains
2K Followers 4K 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
699 Followers 2K Following GME x BBBY x CYDY x HOC to Uranus DD for stuff 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
100 Followers 797 Following Thus does conscience make cowards of us all.
Seautha @Seautha179793
87 Followers 7K Following A strong woman is one who is determined to do what others are determined not to do.
周彦伟(yanwei) @zhouyanwei
117 Followers 494 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
7 Followers 461 Following Wolność jest matką, nie córką ładu. Tyrania jest formą anarchii.
Alecs, B.P.Ed. @KleeneAlgebra
248 Followers 238 Following Currently working on trying to get a PhD somehow
Ramneet Singh @Ramneet_Singhh
954 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
5K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Duckki Oe @DuckkiOe
207 Followers 257 Following Software Engineer and PhD in Static Code Analysis & Formal Verification. Love Rust & Lean and zero-knowledge proof tech.
Yongwei Yuan @YuanYongwei
221 Followers 382 Following Ph.D. student in Programming Language, Purdue https://t.co/uj73YuWK0C
Lef @elefthei
1K Followers 1K Following Proofs @Rise_MSR, @MSFTResearch. Compilers, Formal Verification, Cryptography. Previous: @Penn, @Bridgewater, @MIT.
CyberCat Institute @CyberCatInst
1K Followers 104 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
20 Followers 1K Following
IAB @iab
99K Followers 3K Following #IAB empowers the media and marketing industries to thrive in the digital economy.
Kristoffer Føllesdal @kfollesdal
3 Followers 441 Following
Nikos Karayannidis @dbfunctor
75 Followers 637 Following Senior Data Zookeeper | Data Engineering Lead@Chubb | Working on the formal verification of data pipelines - Views are my own
Luigi Alfonsi @alfonsi_luigi
302 Followers 600 Following Theoretical physicist @UniofHerts | PhD @QMUL | MSc @MScQFFF | Investigating the geometry at the heart of Quantum Field Theory | 🇮🇹🇪🇺 | #FBPE
Bartosz Milewski @BartoszMilewski
36K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
davidad 🎇 @davidad
23K Followers 10K Following cognizing structures of information processing systems, in all their forms | category theory, perennial philosophy, Bodhitropic Alignment | cancel heat death
Edward Kmett @kmett
17K Followers 812 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
27K Followers 6 Following Functional programming and category theory tweets from @JohnDCook
John A De Goes @jdegoes
20K Followers 1K Following CEO @ZivergeTech, CEO @GolemCloud, Exec Producer & Creator @TheUltCoder, OSS contributor @zioscala, speaker, writer. Accelerating human dominion. ✝️
Paul Lessard @PaulRoyLessard
155 Followers 8 Following Principal Scientist - Categorical Deep Learning - @Symbolica Professional alter-ego of @quixote_dr
Endurion @EndurionHQ
141 Followers 157 Following A defense and technology company unifying advanced tech, intelligence, and elite operators for real-time mission execution.
Gremlin Morgoth @PluckersConoid
44 Followers 97 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 𝗦𝗔𝗟𝗧: knowledge + networking across finance, technology & public policy.
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
49K 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 584 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 720 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 763 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
Eric Daimler @ead
81K Followers 1K Following CEO, Conexus AI. First AI Advisor in the White House (PIF). Former Asst. Dean, Carnegie Mellon CS PhD. Commercializing the SW that proves your AI isn't lying.You might like
