jsmorph @jsmorph

morphism.com Austin Joined November 2008

Tweets

30
Followers

123
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 461

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 12 44 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 352 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 461 0 38

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

🧂🍳 @Ynirvu6820

43 Followers 2K Following Collect moments, not things.

MysticLilyClark @Kleraxoom31294

20 Followers 2K Following Living life on my own terms Making magic happen

GoddessAmeliaCarter @Eanoujoo532822

8 Followers 1K Following Work hard play harder Finding joy in the little things

LovelyNora @Ausoxi2614179

29 Followers 2K Following In medicine, every patient is a story waiting to be written—one I’m honored to be a part of.

Selene Castiglione @Keadir129495

3 Followers 465 Following

Anabella @Uipraupa29336

53 Followers 2K Following Keep your heels, head, and standards high.

JanetBethune @7OYmLO8kNtrsWfr

39 Followers 2K Following Smile big, laugh often.

Platwen @Platwen661

38 Followers 1K Following

🪐👽 @UptonEveli18592

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

Lon Padberg @LPadberg2760

133 Followers 4K Following

SmartGuard @Gurau67428

59 Followers 856 Following

Dereck Flatley @DereckFlat62225

23 Followers 2K Following

🧽🧽 @Teajat969353

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

Nersio @Nersio5d1QxH

41 Followers 5K Following

Theteau @Theteau7vD71

40 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

79 Followers 7K Following DMs closed, vibes open

Thitheighth @ThitheighthSvs

41 Followers 4K Following

Jimmy @w73I25JyHYRN454

96 Followers 7K Following

Bridget @1xEt82k0n310A6

79 Followers 7K Following

Nexue @Nexuej11aV

43 Followers 5K Following

Kenyon @X1SBxhxXtnN3llx

83 Followers 7K Following

SetllaWill @si92Yq528JpD43g

61 Followers 7K Following

Smeaush @SmeaushDcroCyL

41 Followers 4K Following

Dooshel @DooshelB0R

36 Followers 3K Following

TobeyBuckle @A8AL7b31c1R3i0

33 Followers 3K Following

sontusjatavi @sontusjata74706

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

ikhsan wahyu Ribowo.e... @ikhsan3884

1 Followers 41 Following

dickonmamievf @dickonmami89469

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

trionaozgulz @trionaozgu99465

1 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

32 Followers 3K Following

HuldaHansen @g16s1pDk7YRkV

31 Followers 2K Following

LynnMorse @Wp2hfU1wHfI8x

70 Followers 7K Following

Thooleaud @thooleaud83590

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

Shasequee @shasequee32804

63 Followers 5K Following

Phyllis @iwayakazus12356

25 Followers 2K Following

Juliet @mushiakema53523

45 Followers 3K Following

_Thorns @Thorns355456

65 Followers 5K Following

Natalia @Natalia1474638

76 Followers 5K Following

Theytee @Theytee123420

72 Followers 7K Following

Rinne_FL_ @fl_rinne93601

4 Followers 332 Following

Stede @Stede73551

61 Followers 7K Following

Whalough @whalough61123

2 Followers 539 Following #32

Reche @Reche7972440343

35 Followers 2K Following

Smaloughs @smaloughs63782

24 Followers 2K Following

Soaleethyt @soaleethyt59993

69 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

53 Followers 2K Following

The Fastest, Flawless AI Code Edits.
Better coding agents in 8 lines. 10,500 tok/sec on NVIDIA.
https://t.co/6R3uBeyZ10 | https://t.co/dBQjovGya3

Morph @morphllm

443 Followers 112 Following The Fastest, Flawless AI Code Edits. Better coding agents in 8 lines. 10,500 tok/sec on NVIDIA. https://t.co/6R3uBeyZ10 | https://t.co/dBQjovGya3

Tracking Pentagon-area pizza + OSINT to inform prediction markets. Alt-data for @polymarket traders & researchers. API coming. https://t.co/ZY0M0t4QgH

Pentagon Pizza Watch @pizzintwatch

3K Followers 860 Following Tracking Pentagon-area pizza + OSINT to inform prediction markets. Alt-data for @polymarket traders & researchers. API coming. https://t.co/ZY0M0t4QgH

Verso @VersoTrading

2K Followers 135 Following Building the Bloomberg for Prediction Markets

Former CIA Officer, amateur horologist. -will do this until it stops being fun, then disappear.
-W.O.E.
#watchesofespionage

Watches of Espionage @watchesofespion

27K Followers 117 Following Former CIA Officer, amateur horologist. -will do this until it stops being fun, then disappear. -W.O.E. #watchesofespionage

Championing @Kalshi’s builders, traders, and creators.

Your go-to source for updates and insights from the frontier of prediction markets.

Kalshi Ecosystem @KalshiEco

3K Followers 68 Following Championing @Kalshi’s builders, traders, and creators. Your go-to source for updates and insights from the frontier of prediction markets.

Your official source for updates, news, & events for the @Polymarket Builders program. Featuring the best community projects built on top of Polymarket.

Polymarket Builders @PolymarketBuild

5K Followers 97 Following Your official source for updates, news, & events for the @Polymarket Builders program. Featuring the best community projects built on top of Polymarket.

Jasper Dekoninck @j_dekoninck

497 Followers 103 Following PhD Student at ETH Zurich, working on LLM evaluation

Jared Duker Lichtman @jdlichtman

932 Followers 0 Following number theorist, szegő assistant professor of mathematics at @Stanford

Math, Inc. @mathematics_inc

6K Followers 0 Following A new company dedicated to autoformalization and the creation of verified superintelligence.

Christian Szegedy @ChrSzegedy

42K Followers 3K Following #deeplearning, #ai research scientist. Opinions are mine.

Politics @Kalshi | Ex-Bain | Gov @Harvard | Politics, tech, fashion, & SoCal enthusiast | Personal opinions only, not trading advice

Jaron Zhou @ZhouJaron

833 Followers 442 Following Politics @Kalshi | Ex-Bain | Gov @Harvard | Politics, tech, fashion, & SoCal enthusiast | Personal opinions only, not trading advice

Predictive intelligence fusing AI, big data, and maritime expertise to enable future forward decisions.

Follow us for the latest maritime insights & data⚓️

Windward @WindwardAI

3K Followers 900 Following Predictive intelligence fusing AI, big data, and maritime expertise to enable future forward decisions. Follow us for the latest maritime insights & data⚓️

Acorn @acornprover

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

Marc Lelarge 🌻 @marc_lelarge

5K Followers 605 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 departments 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 departments for research and education in pure mathematics. #harvardmath

Tarek Mansour @mansourtarek_

51K Followers 2K Following MIT Math Nerd.

Luana Lopes Lara @luanalopeslara

13K Followers 658 Following Founder @kalshi Let the people trade

Logical Intelligence @logic_int

223 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

961 Followers 2K Following Building @RenPhil21 and @BritishProgress

Starlink @Starlink

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

Project Numina @ProjectNumina

214 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 256 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

768 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 61 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.

USGS Earthquakes @USGS_Quakes

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

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 194 Following Director and CEO at FutureHouse. Building an AI scientist. https://t.co/rQYoPOxsYo

The Gold Standard for Token Solutions.

Bespoke Airdrops, Vesting, and Staking Dashboards for top protocols.

Backed by @polychain.

Clique @Clique2046

136K Followers 19 Following The Gold Standard for Token Solutions. Bespoke Airdrops, Vesting, and Staking Dashboards for top protocols. Backed by @polychain.

karma @0xkarmacoma

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

Professor @_consecutive

3K Followers 261 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 880 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 35 Following Ph.D. student at UT Austin

George Tsoukalas @gtsoukal

401 Followers 272 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 480 Following Hardening blockchain security with Formal Methods — Industry-leading security audits and tools for smart contracts, blockchain, and zero-knowledge.

Domer❤️‍🔥 @Domahhhh

20K Followers 802 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

51K 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 675 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 26 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 364 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.