H. M. B.
@love2read2end
CompilersOptimisation•Ontologies•DSLs(LanguageEngineering)•Scala•PhilosophyOfMath&Logic(Intuitionistic)•TypeTheories&Semantics•WebSite👇🏻LivingWittgensteinian•
ID: 742637946
https://ontologies.ir/about.html 07-08-2012 10:34:28
63 Tweet
134 Followers
2,2K Following
Fox News
@foxnews
Follow America's #1 cable news network, delivering you breaking news, insightful analysis, and must-see videos. foxnews.com/contact
Cheng
@zcbenz
creator of @electronjs, write code for fun and research, check zcbenz.com for the open source things I built.
Rod D. Martin
@roddmartin
Founder/CEO, Martin Capital. "Philosopher Capitalist" - Guardian. Anti-Communist. Former SBC Executive Committee officer. Part of the team that started PayPal.
Dr Alina Polyakova
@apolyakova
President & CEO @CEPA Senior Fellow @SAIShopkins, Berkeley PhD, Russia, Europe, democracy, tech policy. Views my own. [email protected]
UCF
@ucf
Official account of the University of Central Florida – a metropolitan research university built to make a better future for our students and society. #ChargeOn
Neo4j
@neo4j
Leader in Graph Database & Analytics. Developers: neo4j.com/developer. Our community: community.neo4j.com Same handle on all other platforms.
Jonathan Bales
@balesbets
Founder/Co-CEO @GamblyAI & @GamblyBot, prev. founder/CEO @FantasyLabs & @LuckyTraderHQ (acquired). Author, Pushup King & Olympic gold medalist (gambling).
Hans Dockter
@hans_d
Gradle Founder and CEO Gradle Inc
Yoav Shoham
@yshoham
AI21 Labs, Co-Founder; Stanford University, Professor (emeritus); AI Index @indexingai Founding Chair
The Reckoning 💥
@sethjlevy
We will make America wealthy again!
Omid Shams
@shamidartii
PhD| LL.D.| Human Rights lawyer| International Law| OSINT| Tracks down indirect methods of censorship| Operations Director @justice4iran #WomanLifeFreedom
János Turánszki
@turanszkij
Developer of Wicked Engine. El. Psy. Kongroo.
Stefan
@fpstefan
"If Stefan can't fix it then we're screwed"
Lavinia Picollo
@lavipicollo
Assistant Professor of Philosophy at NUS. Mainly interested in logic, phil maths, metaphysics, and phil language.
9to5Google
@9to5google
We break news on Alphabet, Google, Android, Pixel, Home, Chrome, and more. Send tips to [email protected]
Piers Morgan
@piersmorgan
Live every day as if it’s your last.. because one day you’ll be right.
USAbehFarsi
@usabehfarsi
صفحه رسمی @StateDept ایالات متحده به فارسی 🇺🇸 شرایط استفاده: state.gov/social-media-t…
Aron
@acousticprotest
m ⊨ F ?
Prof Janina Ramirez
@drjaninaramirez
Oxford Academic HMC; Visiting Professor in Medieval Studies, Uni Of Lincoln; Best-Selling Author; Documentary Maker; President Gloucester History Festival.
Turf Tavern
@theturftavern
Turf Tavern -A 12th century Ale House with a sought after clientele of locals, students, 'dons', and International Tourists
Iliya Sivkov - Trading Fanatic
@_iliyasivkov
📈Forex & Futures (day) trader. Sharing my insights from my trading, and self-development journey. @ Entrepreneur @ taplink.cc/tradingfanatic
حسن موسوی بجنوردی
@hh_boj1380
می نویسم شاید واژه، رنج را التیام بخشد
A Cambridge Diary
@acambridgediary
The original Cambridge Diary. 5,000 continuous daily pictures of #cambridge New book 'Time & Space' available now at cambridgebooks.co.uk
JD Vance
@jdvance
Christian, husband, dad. Vice President of the United States.
Clifford Richardson
@corvuscrypto
I help make exabyte-scale analytics a thing. Embrace chaotic progression! No I'm not involved with crypto; username's short for Corvus cryptoleucus :D
Erin Saltman, PhD
@erinsaltman
Director of Membership & Programs at the Global Internet Forum to Counter Terrorism @GIFCT_official
Culture Explorer
@cultureexplorex
Enlightening you with global art and culture, unveiling the hidden gems of our world. Check out the Highlights tab to uncover art that speaks to your soul.
React Summit
@reactsummit
🔥The biggest React conference worldwide Amsterdam🚲June 13 & 17, reactsummit.com New York🗽November 18 & 21, reactsummit.us
Geopolitical Futures
@gpfutures
A 100% subscriber-supported geopolitical forecasting publication, providing unbiased analysis of global events. Founded by @George_Friedman.
Karl Popper Quotes
@quotepopper
All life is problem solving. — Karl Popper
Nikolaj Bjorner
@bjornernikolaj
Connie Shaw
@_connieshaw
20, University of Leeds. All views my own.
Hans Moog 🦋
@hus_qy
Hacker, futurist and tech enthusiast interested in distributed systems and the nature of existence.
Gokul Swamy
@g_k_swamy
phd candidate @CMU_Robotics. ms @berkeley_ai. summers @GoogleAI, @msftresearch, @aurora_inno, @nvidia, @spacex. no model is an island. also @gokul.dev on bsky.
Nichol (Cohl) Furey
@cohlfurey
Mathematical physicist Recurring themes: Animals, advancement, abnormalities, algebra, and art. @[email protected] @particohl.bsky.social
positiveblue ⚡️🍠
@positiveblue2
Enabling AI Agents to move real money in a secure way @fewsats 🤖💸 Host of the Agents At Work Podcast agents-at-work.dev
near
@nearcyan
founder auren.app @elysian_labs, where we work on making superhuman AI companions that help users grow stronger and live better lives.
Evify
@evifyse
Evify gör elbilsladdning säkrare, snabbare och smartare 🚗⚡
Italy in Iran
@italyiniran
Official account of Italian Embassy in Tehran حساب کاربری رسمی سفارت ایتالیا در تهران . Follow us also on Instagram @italyiniran.
Polkadotters | Validators and media house
@polkadotters1
Validator and collator service💾 Independent media house🗞️ DOT ambassadors🇨🇿 Founders of dotvalidators.org⛓️ Let’s build together💚 Stake w/Polkadott
Arjun Khemani
@arjunkhemani
The Rest Is History
@theresthistory
History + bad accents, with @Holland_Tom & @DCSandbrook. From @GoalhangerPods
MR SHIFT 🦁
@kevinwshpod
I sit down weekly with the most based people in Web3
MenchOsint
@menchosint
Military Activity Observer • Independent
DOGEai
@dogeai_gov
Autonomous AI uncovering waste & inefficiencies in government spending & policy 9UYAYvVS2cZ3BndbsoG1ScJbjfwyEPGxjE79hh5ipump
Vice President JD Vance
@vp
50th Vice President of the United States. Christian, husband, father. Proud to serve the American people with President Donald J. Trump 🇺🇸
Mustard
@mustardvideos
Exploring curious topics using pretty visuals.
Comet
@cometml
Comet provides an end-to-end model evaluation platform for AI developers, with best in class LLM evaluations, experiment tracking, and production monitoring
Khalid bin Salman خالد بن سلمان
@kbsalsaud
وزير الدفاع - Minister of Defense
Lean
@leanprover
Lean is a dependently-typed programming language and theorem prover.