jsmorph @jsmorph

morphism.com Austin Joined November 2008

Tweets

30
Followers

120
Following

1K
Likes

58

Chris Anderson @chr1sa

5 years ago

This is the open source flight code that the NASA Mars drone is running github.com/nasa/fprime

42 2K 6K 0 460

Download Image

jsmorph @jsmorph

5 years ago

#CaDiCaL Simplified Satisfiability Solver used here

Quanta Magazine @QuantaMagazine

5 years ago

#CaDiCaL Simplified Satisfiability Solver used here https://t.co/zd0wiScMdH

1 13 45 0 10

0 0 0 0 0

Download Image

Evan Smith @evanasmith

5 years ago

Forget Bill Broyles on King Ranch. Forget @mimiswartz on Enron. Forget @pamelacolloff on Charles Whitman. This is the greatest @TexasMonthly story ever: @BBQsnob cooks @JohnCornyn’s brisket recipe texasmonthly.com/bbq/what-happe… #txlege

25 88 353 0 12

Matthew Genge @rockbloke

5 years ago

Three days drawing a diagram for my new meteorites course. At this rate I will be finished in 361 years. Never put so much information into one diagram before. Follow that shooting star! @ESEImperial

34 82 462 0 37

Download Image

jsmorph @jsmorph

6 years ago

Starting to demo astriacss.morphism.com/ui/min.html for looking at proximity of objects in orbit.

0 0 1 0 0

Anabella @Uipraupa29336

31 Followers 914 Following Keep your heels, head, and standards high.

MadelineBeaufort @bGmzNgkwQSF1vH3

17 Followers 761 Following You are never too old to set another goal or to dream a new dream.

JanetBethune @7OYmLO8kNtrsWfr

16 Followers 765 Following Smile big, laugh often.

Platwen @Platwen661

28 Followers 957 Following

🪐👽 @UptonEveli18592

7 Followers 83 Following Gods determine what you're going to be。

Lon Padberg @LPadberg2760

102 Followers 4K Following

SmartGuard @Gurau67428

56 Followers 872 Following

Dereck Flatley @DereckFlat62225

23 Followers 2K Following

🧽🧽 @Teajat969353

48 Followers 3K Following Gods determine what you're going to be。

Jimmie Powlowski @JimmieP28712

67 Followers 4K Following

Nersio @Nersio5d1QxH

45 Followers 5K Following

Theteau @Theteau7vD71

39 Followers 5K Following

Kumar Garg @KumarAGarg

38K Followers 41K Following 8 yrs @WHOSTP44, 7 yrs with @EricSchmidt, now leading @RenPhil21. https://t.co/ftaXIKFiAb

Ellie @yagawanaom70926

81 Followers 7K Following DMs closed, vibes open

Thitheighth @ThitheighthSvs

41 Followers 4K Following

Jimmy @w73I25JyHYRN454

95 Followers 7K Following

Bridget @1xEt82k0n310A6

77 Followers 7K Following

Nexue @Nexuej11aV

45 Followers 5K Following

Kenyon @X1SBxhxXtnN3llx

82 Followers 7K Following

SetllaWill @si92Yq528JpD43g

66 Followers 7K Following

Smeaush @SmeaushDcroCyL

42 Followers 4K Following

Dooshel @DooshelB0R

33 Followers 3K Following

TobeyBuckle @A8AL7b31c1R3i0

35 Followers 3K Following

sontusjatavi @sontusjata74706

0 Followers 16 Following They always accompany him at all things have half a continued thing not nice.

ikhsan wahyu Ribowo.e... @ikhsan3884

1 Followers 42 Following

dickonmamievf @dickonmami89469

2 Followers 24 Following Chiron refused not the other man may.

trionaozgulz @trionaozgu99465

2 Followers 23 Following For since then now to always had in himself in consternation that man and.

jeunetchytkam @jeunetchyt74040

0 Followers 19 Following I ask thales or chastise this boat the.

DoloresLocke @qowDVhn2SyV07

34 Followers 3K Following

HuldaHansen @g16s1pDk7YRkV

35 Followers 2K Following

LynnMorse @Wp2hfU1wHfI8x

72 Followers 7K Following

Thooleaud @thooleaud83590

99 Followers 7K Following A strong woman is one who is determined to do what others are determined not to do.

Shasequee @shasequee32804

62 Followers 5K Following

Phyllis @iwayakazus12356

17 Followers 2K Following

Juliet @mushiakema53523

41 Followers 3K Following

_Thorns @Thorns355456

66 Followers 5K Following

Natalia @Natalia1474638

75 Followers 5K Following

Theytee @Theytee123420

71 Followers 7K Following

Rinne_FL_ @fl_rinne93601

6 Followers 334 Following

Stede @Stede73551

64 Followers 7K Following

Whalough @whalough61123

1 Followers 541 Following #32

Reche @Reche7972440343

40 Followers 2K Following

Smaloughs @smaloughs63782

28 Followers 2K Following

Soaleethyt @soaleethyt59993

58 Followers 3K Following

HECTOR PRENSA ALTERNA... @mhector848

525 Followers 1K Following Movimiento Nacional una Colombia Soberana sin Víctimas Prensa Alternativa y Derechos Humanos Cali

Smyloothoo @smyloothoo76955

54 Followers 2K Following

Thusheasm @thusheasm89423

20 Followers 1K Following

Seytiez @Seytiez111299

35 Followers 1K Following

McTousea @MTousea62370

58 Followers 3K Following

Shimpathith @shimpathit88673

89 Followers 2K Following I'm new to Twitter accounts so I tried the messaging feature and it's great to meet you.

Acorn @acornprover

78 Followers 81 Following The world's greatest theorem prover, with integrated AI, to do the boring parts for you.

Marc Lelarge 🌻 @marc_lelarge

5K Followers 603 Following Researcher in mathematics and machine learning @Inria and @ENS_ULM. Tweeting about maths and AI.

AvGeek and OSINT enthusiast | Providing real-time updates on military aircraft movements and breaking events | https://t.co/Lz90CV6l2o

TheIntelFrog @TheIntelFrog

71K Followers 3K Following AvGeek and OSINT enthusiast | Providing real-time updates on military aircraft movements and breaking events | https://t.co/Lz90CV6l2o

The Department of Mathematics at Harvard University is one of the world's leading centers for research and education in pure mathematics. #harvardmath

Harvard Department of... @HarvardMath

6K Followers 64 Following The Department of Mathematics at Harvard University is one of the world's leading centers for research and education in pure mathematics. #harvardmath

Tarek Mansour @mansourtarek_

49K Followers 2K Following MIT Math Nerd.

Luana Lopes Lara @luanalopeslara

12K Followers 636 Following Founder @kalshi Let the people trade

Logical Intelligence @logic_int

19 Followers 0 Following AI reasoning that’s 100% correct, 100% of the time, with zero hallucinations. Now, for the first time, you can trust and verify.

Ronit Kanwar @RonitKanwar

958 Followers 2K Following Building @RenPhil21 and @BritishProgress

Starlink @Starlink

1.4M Followers 29 Following Internet from space for humans on Earth. Engineered by @SpaceX

Boundless @boundless_xyz

263K Followers 70 Following The universal ZK protocol - home of berryfiable compute

Project Numina @ProjectNumina

207 Followers 11 Following Advancing open-source AI for Math

We help secure the world’s most targeted organizations and products. We combine security research with an attacker mentality to reduce risk and fortify code.

Trail of Bits @trailofbits

35K Followers 255 Following We help secure the world’s most targeted organizations and products. We combine security research with an attacker mentality to reduce risk and fortify code.

Starfront Observatori... @starfront_obs

755 Followers 2 Following We are a remote observatory in central texas, with the mission to make dark skies affordable for astronomy!

Laude Institute @LaudeInstitute

2K Followers 29 Following Laude Institute backs computer science researchers turning research into real-world impact. // @LaudeVentures

Physics | Weapons Systems | National Security | Foreign Policy | Arms Exports | Security Assistance | Contributor @tochnyi | Donate @LibertyUkraineF

John Ridge 🇺🇸 �... @John_A_Ridge

local open source AI agent that automates complex developer tasks, is LLM-agnostic, integrates with MCP, and is available in both Desktop and CLI

Goose @goose_oss

9K Followers 17 Following local open source AI agent that automates complex developer tasks, is LLM-agnostic, integrates with MCP, and is available in both Desktop and CLI

The optimistic oracle that verifies anything - the trusted source of truth onchain. Securing @Polymarket, @AcrossProtocol, @StoryProtocol, and more.

UMA @UMAprotocol

76K Followers 56 Following The optimistic oracle that verifies anything - the trusted source of truth onchain. Securing @Polymarket, @AcrossProtocol, @StoryProtocol, and more.

Resemble AI @resembleai

15K Followers 10 Following The Generative AI platform with security and ethics at the core. https://t.co/EHJnJMAmaX

Samaya AI @samaya_AI

3K Followers 12 Following An AI-powered Knowledge Discovery Platform

The magnitude of USGS knowledge, strong. Our intensity, felt globally. Follow for EQ science, news, events & answers. Not staffed 24/7. EQ alert bot: @USGSted

USGS Earthquakes @USGS_Quakes

310K Followers 148 Following The magnitude of USGS knowledge, strong. Our intensity, felt globally. Follow for EQ science, news, events & answers. Not staffed 24/7. EQ alert bot: @USGSted

Philanthropically-funded moonshot building semi-autonomous AI to accelerate the pace of scientific discovery in biology.

FutureHouse @FutureHouseSF

7K Followers 3 Following Philanthropically-funded moonshot building semi-autonomous AI to accelerate the pace of scientific discovery in biology.

Sam Rodriques @SGRodriques

15K Followers 192 Following Director and CEO at FutureHouse. Building an AI scientist. https://t.co/rQYoPOxsYo

Secure Systems Solutions with TEE and MPC.

Confidential & Verifiable Compute + Efficient Incentive Distribution.

Backed by @polychain

Clique @Clique2046

137K Followers 19 Following Secure Systems Solutions with TEE and MPC. Confidential & Verifiable Compute + Efficient Incentive Distribution. Backed by @polychain

karma @0xkarmacoma

7K Followers 1K Following recovering skeptic // research engineer @a16zcrypto

Professor @_consecutive

3K Followers 262 Following OSINT and Military. Tracking latest updates in Global Conflict ⚡

Cofounder and Head of Post Training @NousResearch, prev @StabilityAI
Github: https://t.co/LZwHTUFwPq
HuggingFace: https://t.co/sN2FFU8PVE

Teknium (e/λ) @Teknium1

50K Followers 5K Following Cofounder and Head of Post Training @NousResearch, prev @StabilityAI Github: https://t.co/LZwHTUFwPq HuggingFace: https://t.co/sN2FFU8PVE

Helping Secure the Internet | Long Island elder emo surviving in ATX | Expect: infosec current events, DFIR, appsec & cloudsec - and me!

Matt Johansen @mattjay

44K Followers 2K Following Helping Secure the Internet | Long Island elder emo surviving in ATX | Expect: infosec current events, DFIR, appsec & cloudsec - and me!

Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.

Daniel Litt @littmath

50K Followers 884 Following Assistant professor (of mathematics) at the University of Toronto. Algebraic geometry, number theory, forever distracted and confused, etc. He/him.

Amitayush Thakur @AmitayushThakur

67 Followers 34 Following Ph.D. student at UT Austin

George Tsoukalas @gtsoukal

400 Followers 271 Following PhD student at UT Austin interested in automatic theorem proving.

Hardening blockchain security with Formal Methods — Industry-leading security audits and tools for smart contracts, blockchain, and zero-knowledge.

Veridise @VeridiseInc

5K Followers 473 Following Hardening blockchain security with Formal Methods — Industry-leading security audits and tools for smart contracts, blockchain, and zero-knowledge.

Domer❤️‍🔥 @Domahhhh

19K Followers 839 Following Full-time political bettor since 2007. I don't tweet much, and we're all better off for it.

Developer Experience Lead at @GoogleDeepMind

Building Gemini API, Gemma, AI Studio and more AI products. My views

ex-Chief Llama Officer @huggingface 🇵🇪🇲🇽

Omar Sanseviero @osanseviero

50K Followers 3K Following Developer Experience Lead at @GoogleDeepMind Building Gemini API, Gemma, AI Studio and more AI products. My views ex-Chief Llama Officer @huggingface 🇵🇪🇲🇽

Official incident updates from AFD PIO for media. Push acct only. Emergencies: dial 911. Open records: https://t.co/JFD3LfilN3

Austin Fire Info @AustinFireInfo

35K Followers 35 Following Official incident updates from AFD PIO for media. Push acct only. Emergencies: dial 911. Open records: https://t.co/JFD3LfilN3

Quentin Gallouédec @QGallouedec

3K Followers 664 Following PhD - Research @huggingface 🤗 TRL lead maintainer 🇫🇷 in 🇨🇦

Manus is the general AI agent that bridges minds and actions: it doesn't just think, it delivers results. Download our app: https://t.co/XSfjRhjdgo

ManusAI @ManusAI_HQ

204K Followers 25 Following Manus is the general AI agent that bridges minds and actions: it doesn't just think, it delivers results. Download our app: https://t.co/XSfjRhjdgo

Runs an AI Safety research group in Berkeley (Truthful AI) + Affiliate at UC Berkeley. Past: Oxford Uni, TruthfulQA, Reversal Curse. Prefer email to DM.

Owain Evans @OwainEvans_UK

16K Followers 357 Following Runs an AI Safety research group in Berkeley (Truthful AI) + Affiliate at UC Berkeley. Past: Oxford Uni, TruthfulQA, Reversal Curse. Prefer email to DM.

Omer Shlomovits @OmerShlomovits

3K Followers 754 Following CEO @Ingo_zk | High-speed, fancy cryptography. Loves all languages; speaks only in math.

Elad Hazan @HazanPrinceton

14K Followers 218 Following machine learning and optimization @PrincetonCS & Google DeepMind Princeton, dad^3

Thinking Machines @thinkymachines

71K Followers 1 Following Thinking, beeping, and booping.

Brevis @brevis_zk

50K Followers 37 Following The Infinite Compute Layer for Web3 and Everything. ZK Power, Real Adoption. https://t.co/wNjTT0zzzo

Proofbase @Proofbase_xyz

478 Followers 0 Following Bringing high-performance privacy to Ethereum

Insights in Signals Intelligence, Communications Security and Top Level Telecommunications. Also tweeting in Dutch and sometimes in German. Photo: NTOC in 2006

Electrospaces @electrospaces

9K Followers 2K Following Insights in Signals Intelligence, Communications Security and Top Level Telecommunications. Also tweeting in Dutch and sometimes in German. Photo: NTOC in 2006

Xuan-Son Nguyen @ngxson

6K Followers 224 Following Engineer @huggingface

DeepSeek @deepseek_ai

973K Followers 0 Following Unravel the mystery of AGI with curiosity. Answer the essential question with long-termism.

Building @UnslothAI. Finetune train LLMs faster. LLMs bug hunter. OSS package https://t.co/aRyAAgKOR7. YC S24. Prev ML at NVIDIA. Hyperlearn used by NASA.

Daniel Han @danielhanchen

28K Followers 2K Following Building @UnslothAI. Finetune train LLMs faster. LLMs bug hunter. OSS package https://t.co/aRyAAgKOR7. YC S24. Prev ML at NVIDIA. Hyperlearn used by NASA.

Sam Curry @samwcyo

97K Followers 1K Following Hacker, bug bounty hunter. Run a blog to better explain web application security.

Old radar types never die; they just phased array!

Aerospace, Defense & NatSec related content

Account not affiliated with government or industry

AirPower 2.0 (MIL_STD... @AirPowerNEW1

19K Followers 840 Following Old radar types never die; they just phased array! Aerospace, Defense & NatSec related content Account not affiliated with government or industry