Cody Johnson @codercodyj
On a quest to obtain zero knowledge // ex-@jumptrading, ex-@citadel // fraud prevention, automated proof verification, ZK/crypto, recommender systems Chicago, IL Joined March 2017-
Tweets82
-
Followers75
-
Following713
-
Likes2K
1/ Jolt just got a 6× speedup. We now prove over 1,000,000 RISC-V cycles/sec on a 32-core CPU and over 500,000 cycles/sec on a MacBook, with proofs of about 50 KB. Here’s what’s new 🧵
This false nomenclature of “researcher” and “engineer”, which is a thinly-masked way of describing a two-tier engineering system, is being deleted from @xai today. There are only engineers. Researcher is a relic term from academia.
This false nomenclature of “researcher” and “engineer”, which is a thinly-masked way of describing a two-tier engineering system, is being deleted from @xai today. There are only engineers. Researcher is a relic term from academia.
Give me one good reason to ever use args instead of kwargs. I'm waiting
My browser tabs go from least important in the center to most important on either end, thanks to cmd+1, cmd+9, cmd+←, cmd+→
The Apple Calculator “20+5%” notation fills me with rage
If a mathematician is a machine for converting coffee into theorems, then I'm a machine for converting System of a Down into code
Changing one line of code on cursor is the same experience as moving an image a tiny bit in MS Word
Yes, when go across the diagonal it’s shorter than going along the edges No, that’s not because of the Pythagorean theorem It’s because of the triangle inequality
Today I learned the hard way about the old saying: an ounce of sunscreen is worth a pound of aloe vera
Ever since @bryan_johnson decided to smear my beloved Chick-fil-A, I have completely reversed my position on him and will be launching a counter movement: the Die campaign
Ever since @bryan_johnson decided to smear my beloved Chick-fil-A, I have completely reversed my position on him and will be launching a counter movement: the Die campaign
So you’re saying the inventor of LLMs just kept hitting next suggested word on the iPhone keyboard and said wait a second we might be on to something
When you’re 2 hours into a podcast you downloaded beforehand on YouTube to not use data and it starts buffering 🥶
Kids these days will never know that Pluto used to be a planet and main used to be called master
Surely new Date(2024, 8, 16) refers to Aug 16, 2024 in #JavaScript right? Wrong. Apparently months are 0 indexed so it's actually Sep 16, 2024.

Ygieorkawd @Ygieorkawd7088
31 Followers 1K Following
RaeWashington @d12oHET7MLkb1
1 Followers 341 Following
REITsCashflow🇺🇸 @Isalcau6108
63 Followers 2K Following 15-30% Monthly | 2 High-Conviction Stocks.Short-Term Gains: 15-20% in Days/Weeks.DM "JOIN" for WhatsApp Alerts. Live Trade Signals • Market Analysis
Adrien Lemercier @adri_lemercier
197 Followers 664 Following Building. Prev quant @jumptrading, CS&math @Stanford, 3x IMO medalist.
Ethan Gruman @ethgruman
3 Followers 6 Following
Markos @georghiades_
57 Followers 173 Following Building fast and accessible cryptography @a16zcrypto
EmpressAvaHernandez @Tucui2256
5 Followers 937 Following Turning dreams into reality In love with my journey
Umalwar @Umalwar040
48 Followers 307 Following
Maybell Nader @MaybellNad19453
155 Followers 7K Following
Touvien @Touvien519916
16 Followers 786 Following
石井惠子 @Ramo386096
9 Followers 1K Following
Bobby Te @BobbyTe0129
0 Followers 2 Following
gabe @ggetzie
333 Followers 525 Following We don't have to listen to the lunatic ravings of this paranoid hippie.
Nortorti @NortortihrNdbb
56 Followers 5K Following
Sessaseeth @Sessaseethh739
50 Followers 5K Following
Serpent @hanakadase90330
87 Followers 7K Following
Lairssey @LairsseyAlGvGl
47 Followers 4K Following
Rose @Thawse7vo
59 Followers 4K Following
JudyNathaniei @4c6RAwagsad4ziZ
73 Followers 7K Following
Crethear @CrethearSv5
40 Followers 4K Following
Drysceigh @DrysceighA6fur
40 Followers 4K Following
Precious @LUA7W0WagSESKb
71 Followers 7K Following
Chauslash @ChauslashSMOzP
38 Followers 4K Following
Shou Zi Chew @JoeWilliam79860
139 Followers 697 Following A Singaporean business executive, the chief executive officer of TIKTOK.
Echo @amiyukie140706
50 Followers 5K Following
Tarun Kathuria @TarunKathuria94
349 Followers 509 Following Research Scientist @GoogleResearch . PhD CS UC Berkeley. Optimization, Reinforcement Learning, Stochastic Processes, Random Matrix Theory.
IngridVictor @w2Z8RxpqvM06I7
68 Followers 7K Following
JoyceMeg @gTdfWXOvJ280rT
54 Followers 7K Following
Shasleighth @shasleight10465
97 Followers 7K Following
The Entrepreneur's Pl... @EntrePlaybook
69 Followers 831 Following Quotes from Leonard Green's Book More than 100 Proven Strategies, Tips, and Techniques to Build a Radically Successful Business
Bianca @kishoumari26331
38 Followers 2K Following
Henry Chauca @HenryChauc23510
0 Followers 1 Following
AndreaScott @fbYO3MQm42Sjj6
19 Followers 2K Following
Víctor Martín @en_baq
2 Followers 48 Following
Sepehr Rafiei @EulSepter
0 Followers 24 Following
Toni_US_ @ToniUS568719
5 Followers 267 Following
Crispo Cerrillo @cr15751
52 Followers 1K Following
Ajay kumar Satapathy @AjaykumarS40199
0 Followers 29 Following
Rebecca @cantey64rebecca
274 Followers 3K Following
Darlene @darlenevanduzer
247 Followers 3K Following
DeshBhakt @desbhkt
18 Followers 472 Following #eCommerce #DigitalMarketing #SupplyChain #HighScalability #DistributedComputing #DataEngineering #AI #ML … views are my own
Neel Nanda @NeelNanda5
30K Followers 123 Following Mechanistic Interpretability lead DeepMind. Formerly @AnthropicAI, independent. In this to reduce AI X-risk. Neural networks can be understood, let's go do it!
Midjourney @midjourney
401K Followers 0 Following A community supported research lab - exploring new mediums of thought and amplifying the imaginative powers of the human species.
Johnny Ho @randomjohnnyh
5K Followers 232 Following Cofounder, CSO @perplexity_ai. Former high frequency trader, competitive programmer. Think fast, build faster.
Internal Tech Emails @TechEmails
584K Followers 886 Following Internal tech industry emails that surface in public records. 🔍
Pontus Wellgraf @Wellgraf
2K Followers 71 Following Product Design Lead @ Freelance – Co-Founder & Head of Design @unplugwithroots – I create experiences beyond the ordinary – Masterclass, Netflix, Samsung, Ford
Ozan Öztaskiran @ozanoz
11K Followers 426 Following ✢ Product Designer ✢ Co-founder @fountndesign ✢ Previously @ar_io_network, @BetssonGroup.
Paulina @PJadeszko
1K Followers 769 Following Crafting websites and apps that solve business challenges and fuel revenue growth. /product design /framer /webflow
Dominik Tyka @tyka_dominik
3K Followers 1K Following product designer • motion lover ✌🏻 Co-founder & Design Lead https://t.co/Pdrg0GOiG0 Open for work → [email protected]
Tom Koszyk @tomkoszyk
1K Followers 509 Following Founder at Hologram Design Agency • We help startups ship & grow faster through purposeful design
Muharrem @msenyil
4K Followers 1K Following ➀ Product designer ➁ Building @deckgallery ➂ Designed for @meta @f_i @character_ai @scale_AI @microsoft @ubs @hsbc
rauno @raunofreiberg
74K Followers 359 Following staff design engineer @vercel · https://t.co/sb9hkVsY6r
Dave W Plummer @davepl1968
88K Followers 74 Following Hi! I'm Dave Plummer. You might remember me from such Windows components as Task Manager, Windows Pinball, Calc, ZIPFolders, Product Activation, etc. Cheers!
Richard Song @XingyouSong
3K Followers 135 Following Research Scientist @GoogleDeepmind working on Gemini thinking and AutoML. Ex: @OpenAI, @citsecurities, @MSFTResearch.
Denislav Jeliazkov @DenisJeliazkov
38K Followers 693 Following Designer & maker ✦ I help founders build products people love ✦ Built 60+ products for high-growth startups. See work → https://t.co/TgoHSKsCPN | Book a call ↓
Sebastian Raschka @rasbt
355K Followers 1K Following ML/AI researcher & former stats professor turned LLM research engineer. Author of "Build a Large Language Model From Scratch" (https://t.co/O8LAAMRzzW).
Michael McGuiness @mikemcg0
14K Followers 4K Following Co-founder of @perchdotapp. Creator of @startuparchive_ & @foundertribune
Startup Archive @StartupArchive_
96K Followers 2 Following Archiving the world's best startup advice for future generations of founders | New project: @foundertribune
Trapit Bansal @TrapitBansal
32K Followers 247 Following AI Research @Meta | Co-Creator of OpenAI o1 | Previously @OpenAI, @MSFTResearch, @GoogleAI, @facebook, @iiscbangalore, and undergrad @IITKanpur
David Sinclair @davidasinclair
499K Followers 1K Following Professor @Harvard researching why we age & how to reverse it. Author & host of Lifespan. Mission: Extend healthy life for all. Views are entirely his own 🙏✌️
Shuchao Bi @shuchaobi
13K Followers 688 Following Research @Meta Superintelligence Labs, RL/post-training/agents; Previously Research @OpenAI on multimodal and RL; Opinions are my own.
Hongyu Ren @ren_hongyu
23K Followers 692 Following research @meta superintelligence. CS PhD @stanford. prev @openai, led the development of o3-mini and o1-mini.
Jiahui Yu @jhyuxm
18K Followers 929 Following Perception @OpenAI; previously co-led Gemini Multimodal @GoogleDeepMind. opinions are my own.
Shengjia Zhao @shengjia_zhao
52K Followers 231 Following Chief Scientist @ Meta MSL. Formerly MTS @ OpenAI, PhD @ Stanford. I train models. All opinions my own.
Google Research @GoogleResearch
20K Followers 5 Following Impossible? Let’s see. From algorithms to neuroscience to AI, Google Research strives to progress science, advance society & improve billions of people’s lives.
TANSTACK @tan_stack
38K Followers 83 Following 🌎 Open Source Software for the Web👨🏽💻TypeScript 👻 Headless ⚒️ Start, Router, Query, Table, DB, Form, Virtual, Pacer, Store
Better Auth @better_auth
12K Followers 0 Following The most comprehensive authentication framework for TypeScript.
Pierre Burgy - Strapi... @pierre_burgy
3K Followers 480 Following Co-founder & CEO @strapijs - The Open-Source Headless CMS 🚀 Open-Source. Remote. Windsurfing.
World of Engineering @engineers_feed
3.5M Followers 69 Following The most fun way to learn something new everyday. Brother page of @stats_feed YouTube https://t.co/rAUIl0V1xC
Adrien Lemercier @adri_lemercier
197 Followers 664 Following Building. Prev quant @jumptrading, CS&math @Stanford, 3x IMO medalist.
Omer Aplak @omerfarukaplak
1K Followers 387 Following CEO @voltagent_dev⚡ Building the next big JS framework | Ex-CTO & Founder @refine_dev | YC S23
Pushmeet Kohli @pushmeet
17K Followers 90 Following Computer Scientist, Leading Science and Strategic Initiatives @ Google DeepMind.
Philippe Laffont @plaffont
46K Followers 519 Following Investor, founder of Coatue Management, from seed to public, lifecycle investing, 7 year predictions. Anything outdoors. No investment advice. Views are my own.
Treasury Secretary Sc... @SecScottBessent
636K Followers 24 Following 79th United States Secretary of the Treasury
Aman Ibrahim @amanmibra
2K Followers 815 Following founder ䷼ @deeptrustAI // prev mli @cruise, cs @dukeu // ggmu 🇾🇪
Chinmay Nirkhe @somechinanigans
1K Followers 491 Following I tweet about the math and theoretical cs I don't understand and urban transport. I am an assistant professor at @uw @uwcse.
Andrew Ng @AndrewYNg
1.3M Followers 1K Following Co-Founder of Coursera; Stanford CS adjunct faculty. Former head of Baidu AI Group/Google Brain. #ai #machinelearning, #deeplearning #MOOCs
gabe @ggetzie
333 Followers 525 Following We don't have to listen to the lunatic ravings of this paranoid hippie.
Gavin Baker @GavinSBaker
185K Followers 5K Following Managing Partner & CIO, @atreidesmgmt. Husband, @l3eckyy. No investment advice, views my own. https://t.co/pFe9KmNu9U