Normal Computing 🧠🌡️ @NormalComputing
We build AI systems that natively reason, so they can partner with us on our most important problems. Join us https://t.co/G90CO1W456 normalcomputing.com New York, NY Joined June 2022-
Tweets449
-
Followers4K
-
Following126
-
Likes2K
Design verification still depends on engineers manually reading hundreds of pages of JEDEC specs and translating them into testable representations. We've released DRAMBench, an open benchmark for autoformalizing DRAM specs and the paper behind it, presented at the @iclr_conf VerifAI Workshop. Our approach introduces an intermediate formal layer of timed Petri nets that capture device states, commands, and timing constraints in a compact, executable model. From that single representation, verification collateral derives automatically. By Jan Ole Ernst, Dmitri Saberi, Derek Christ, Thomas Zimmermann, Rajath Salegame, Suhaas Bhat, Stanislav Levental, Thomas Ahle, and Matthias Jung, in partnership with @FraunhoferIESE. Both DRAMBench and DRAMPyML are open source, Apache 2.0. Read it here: arxiv.org/abs/2605.00058
At @iclr_conf in Rio? Join us for the Normal Silicon Social on Sunday, April 26 from 6:30 to 8:30 PM at the Copacabana Palace. Request an invite: luma.com/3ioi64wv #ICLR2026
Chip design verification consumes up to 70% of the engineering effort on a project, and a significant chunk of that time goes to one task: reading hundreds of pages of natural language specifications and manually translating them into formal, testable representations. We have been working with @FraunhoferIESE on a better approach. Today we are releasing DRAMBench, an open benchmark that measures how well AI systems can formalize JEDEC memory chip specifications into timed Petri net models. Read more: normalcomputing.com/blog/from-spec…
Normal Computing is sponsoring @iclr_conf 2026 in Rio de Janeiro. Our research team will be on-site presenting papers spanning thermodynamic computing, Normal's physics-based computing architecture, and the AI methods underpinning Normal EDA, our platform for silicon engineering. Come talk to the researchers behind the work. We'll share a preview of what we're launching live at the conference. Follow along for real-time updates in the ICLR app. Meet us at the booth: Thursday, April 23 – Saturday, April 25 9:30 AM – 5:30 PM daily
Our homepage refresh is live. Partnered with more than half of the top 10 semiconductor companies by revenue, we're sharing more about how Normal EDA works and where we're headed. normalcomputing.com
"Normal is one of the most difficult places to work, probably in the world, frankly. You're working at the frontier of multiple fields in an effort to push and create a new field forward." In the final chapter of Inside Normal, @FarisSbahi and @zaqqwerty_ai talk about the founding conviction, the recursive loop between Normal EDA and the Carnot hardware program, and what it takes to build at this intersection.
"Why not be part of a company that's actually part of doing the changing? You get to be part of what's happening. You get to actually change the world." In Chapter 03 of Inside Normal, Craig Churchill and Johann George talk about how business and engineering work together at Normal, what the hiring bar looks like, and why the semiconductor industry's design methodology is changing.
What does it look like to build the product that changes how the world's most complex chips get designed? In Chapter 02 of Inside Normal, Hanna Yip, Max Aifer, and Adam DeHovitz talk about building Normal EDA, our purpose-built AI platform for semiconductors: customer deployments, daily product work, and why EDA innovation is required to make entirely new chip architectures possible.
We're hiring across roles careers.normalcomputing.com
What does it look like to build a new class of computing hardware and a purpose-built AI platform for silicon engineering, at the same time? In the first chapter of Inside Normal, Marc Bright, Pete Vigil, and Brandon Birchall talk about the recursive relationship between our EDA platform and our silicon program, and what it means to work on problems that don't exist in textbooks yet.
Took a stab at the Zen of Agentic Software: Explicit is better than virtual The agent should see what you see You should see what the agent sees Build systems the agent can observe, test, and repair Give the agent good tools Prefer working with text The best tool is often a CLI A CLI is just a sub-agent Tool output should be signal, not exhaust Failure should be loud enough to debug Success concrete enough to verify Leave room for surprise, not for confusion Rely on the model’s intelligence, not its knowledge Make knowledge available. Retrieve just in time Build memory so the agent does not relearn the world Memory helps. Memory lies. Design for both Garbage context in, garbage out Intent is the highest-signal context If a model can’t solve problem with perfect context, it can’t solve problem A longer prompt is not a substitute for data Prompting is always the first baseline If one agent is too slow, consider parallelism Verifiers are great, use more of them Do not sneer at glue. Enough glue, arranged well, becomes product
"In the US we're expecting to have a 49 gigawatt shortfall around 2028...2030 on a global scale". @NormalComputing Co-Founder @FarisSbahi on the future energy requirements for compute: "In the next few years we're going to hit this really hard wall when it comes to the energy requirements of compute". "We need to be thinking about next generation architecture from a somewhat radical point of view... exploring new kinds of architectures that would be considered unconventional". "Designing this kind of silicon and optimising with the level of complexity that silicon has... [is] something very difficult to do with legacy software that hasn't really changed in the last 40 years".
.@FarisSbahi and our CBO Craig Churchill joined @etnshow live to talk Normal's growing presence in Europe, our London hardware team, and what AI means for the future of silicon engineering.
At GTC, Nvidia CEO Jensen Huang highlighted a new equation: Revenue = Tokens per Watt × Total Available Gigawatts. Normal Computing CEO @FarisSbahi says this explains the industry’s push for energy-efficient and workload-specific chips: "Not that many years from now, rather than having a very small number of different chips running all of our workloads, we're going to have hundreds, if not thousands of different chips tailored to each workload and application in the data center."
The industry's answer to the AI power crunch is to find more power. Faris's view: finding more energy is not a durable strategy. The goal is to need dramatically less of it. @FarisSbahi and Craig joined @Furrier and @theCUBE at the @NYSE for their "AI Factories: Data Centers of the Future" series. youtube.com/watch?v=pStVzE…
@FarisSbahi joins @tbpn today and shares more about our purpose-built AI for semis, and our thermodynamic computing hardware targeting 1,000x energy efficiency gains. x.com/tbpn/status/20…
$2B Allergy Drug, ChatGPT Ads, Mansion Section, Directing AI Videos x.com/i/broadcasts/1…
Rethinking compute and rewiring plant immunity: Our March update is live🚀 Dive into this month’s updates, including: - The latest from ARIA, including funding, events, and RFPs - A deep-dive into @NormalComputing world-first thermodynamic computing chip - A Q&A with Philip Carella at @JohnInnesCentre, who is leading an opportunity seed project within our Programmable Plants opportunity space, working to rewire plants’ immunity to better fight pathogens - Recommended reads –from using AI systems to optimise protein production to social networks for AI Scientists Read the full piece and subscribe to get our monthly updates directly to your inbox: ariaresearch.substack.com/publish/post/1…
@FarisSbahi is live on @YahooFinance Market Domination with @joshuahlipton and @DanielHowley discussing Normal Computing and our $50M strategic funding round led by @SamsungCatalyst Fund. youtube.com/watch?v=TGwzKc…
@FortuneMagazine covers the story behind Normal Computing and our $50M strategic round led by @SamsungCatalyst Fund. "The mission of the company is to go after this so-called AI energy crisis," said @FarisSbahi. "Data centers are expected to hit an energy wall around 2030, and most of the strategy now is to find new ways to acquire more energy, but our position is to solve the problem in terms of the hardware that we're using." Thank you to @sharongoldman for the thoughtful coverage. fortune.com/2026/03/25/nor…
Normal Computing has raised $50 million in strategic funding led by @SamsungCatalyst, bringing total funding to more than $85 million. We build AI for the semiconductor industry and are developing a new class of computing hardware, using our software to design our own hardware IP. We're partnered with more than half of the top ten semiconductor companies by revenue through Normal EDA, our purpose-built AI platform. In parallel, we completed the tape-out of CN101, the world's first thermodynamic computing chip, targeting up to 1000x gains in energy efficiency for AI workloads. Investors include @GalvanizeLLC , @CelestaCapital , @drivecapital , Eric Schmidt's First Spark Ventures, Micron Ventures, Brevan Howard Macro Venture Fund, and @ArcternVC. We're hiring: careers.normalcomputing.com Full announcement: prnewswire.com/news-releases/…
Tom Boadle @TomBoadle
6K Followers 3K Following Senior News Editor @SkyNews | running the business and economics desk | tweets auto-delete
anoop pise @AnoopPise63405
1 Followers 10 Following
Al-ameen @alameenpd
929 Followers 1K Following founder @retaindb @badtheorylabs. . swe + ai/ml engineer . cracked asf
Raveesh 折図 @raveeshbhalla
3K Followers 862 Following Founder @orizuai - Continual Learning as a Service. Ex-Netflix, LinkedIn, Haptik | I tinker, therefore I am
J.T. Eger @jteger
472 Followers 2K Following Comms Leader | 2️⃣🦄, 1️⃣🔔IPO, 1️⃣VC | 4x Head of Comms | Ex 500 Global, ThousandEyes
kj @frankfootted
1 Followers 916 Following
NicoleYunger Halpern @nicoleyh11
5K Followers 755 Following Theoretical quantum physicist @NIST, @JointQuICS, @UMD_IPST, and @UMDPhysics. Author of Quantum Steampunk: The Physics of Yesterday's Tomorrow @JHUPress.
IrwanRei @irwanrei
19 Followers 1K Following Tweets or read tweets about nature, technology and valuable lessons in life.
Paula Pawlowski @ppwlwski
81 Followers 530 Following
Jonathan Rayner @JonathanJRayner
129 Followers 1K Following Picking flowers on Earth. All my activity on this app is in a personal capacity and does not reflect the view or non-public info of any employer or contract.
W. Maximillian de Joh... @WJohnsonbourg
69 Followers 4K Following
Myra Rodx @myrarealm
1 Followers 115 Following
cleveland1845 @cleveland18451
66 Followers 1K Following
tracy 💻 🦝 @tracy_codes
3K Followers 3K Following code 🦝 @anagramxyz distributed systems, cryptography, cars.
Rafail Frantzeskakis @rafail_fr
7 Followers 37 Following Research Engineer @ Quandela Demystifying GPUs' computations and Quantum Computing https://t.co/8gJgKYdchV, https://t.co/abY53pBztv Playing with sports data
Chanat Amornvasin @amornvasin12036
5 Followers 1K Following
Semi Atlas @semiatlas
0 Followers 10 Following First-principles explorations of modern silicon systems
Equis @1nenigma
5 Followers 290 Following De todo un poco, but mostly Tech, Econ y Mercados. Curiosidad sin límites
Miguel @Kaweees1
1K Followers 2K Following Prev. Roboticist @dimensionalos, Humanoids & Chip design agents @nvidia GEAR.
Jonathon Liu @Jozef_Nathaniel
45 Followers 456 Following Post-training @baseten Prev @parsedlabs @quantinuumqc @uniofoxford
(Vasya Skovoroda*) @Vasiliy73133302
357 Followers 324 Following Memes • Crypto • Sports • Updates 🎯 Sometimes I do Research🕵️ Sometimes I'm too lazy🛌 YNWA @LFC I might add something else later🪪
Luca Baggi @baggiponte
535 Followers 2K Following 📈 AI Engineer @ https://t.co/Du2lQ9AFgU 🗞 Ho scritto spiegoni @ilpost 🎓 MSc Econ & Stats @LaStatale 🎓 BA Filosofia @UniBergamo & @SorbonneParis1
AD @Desh_A123
3 Followers 340 Following
karinalfc @karinalfc1
40 Followers 1K Following
Taishi Nakamura @taishinakamura_
3K Followers 7K Following Working on scalable and efficient LLM (MoE pretraining, RL, reasoning). PhD student at @sciencetokyo_en Intern @SakanaAILabs
WiredEgo @WiredEgo
39 Followers 851 Following
kiragon kiriyo @kiriyo9302
18 Followers 1K Following
SIMÃO @simaopedrotech
857 Followers 244 Following Impulsionando a adoção da automação para aumentar a produtividade.
Michal Kozyra @michal_r_kozyra
1 Followers 71 Following
Falah @falahrajput
202 Followers 2K Following intensely curious, occasionally bombastic, longform enthusiast
jt @twnbfeeng
19 Followers 1K Following
Julia Howard @jklhoward
140 Followers 537 Following Mom & nana, Jesus follower, author, wellness/weight loss coach & writer, musician, former TX SpEd teacher, enthusiastic & avid nature fan/natural cures advocate
3nd1ess @cyanide5927
40 Followers 2K Following
Gaurav Gupta, Ph.D. M... @ggsemicon
1 Followers 649 Following Semiconductor Technology & Business Consultant https://t.co/zeXr4fOELI
Proximanus @proximanus
4 Followers 118 Following
Gia DeHart @giap3t
17 Followers 349 Following defense / deep tech comms consultant. naval academy + wharton alum. working at https://t.co/eZjF9pV34n ....go birds 🦅
etn. @etnshow
9K Followers 271 Following Europe’s technology show. Hosted by @lukeknight and @ronanchamberss and streaming live on X and Youtube at 11AM-2PM UK every Tuesday and Thursday.
ARIA @ARIA_research
17K Followers 56 Following Advanced Research + Invention Agency. Empowering scientists to reach for the edge of the possible.
Sammer @normal_sammer
4 Followers 4 Following AI for our most pressing crises in silicon. Join us! https://t.co/QgagQCBrnA
Logan G Wright @LoganGWright1
1K Followers 453 Following Physicist interested in computation, optics, neural networks and nonlinear dynamics.
Satnam Singh @satnam6502
22K Followers 3K Following Punjabi-Scottish-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Juanjo Garcia Ripoll @jjgarciaripoll
4K Followers 767 Following Quantum physicist, amateur guitar player and draftsman. Opinions are my own. RT is not endorsement.
Jeff Huber 🇺🇸 @jhuber
47K Followers 26K Following Co-founder @TriatomicCap ㅣFounding CEO @GRAILbioㅣearlier: @Google Ads, Apps, Maps & ⟦x⟧ㅣf*ckcancerㅣPer aspera ad astra. 💚🤍♥️
adam ludwin @adamludwin
23K Followers 4K Following https://t.co/R681ayyPhk and https://t.co/msNxoUzu0O
Qubit by Qubit @qubitbyqubit
4K Followers 2K Following A nonprofit initiative focused on training the future diverse quantum workforce.
Joost van Amersfoort @joost_v_amersf
2K Followers 312 Following Research Scientist @GoogleDeepMind -- PhD from @UniofOxford Scaling (Pre-)training in the Gemini team.
Amy Zhang @amyxzh
8K Followers 2K Following @axz.bsky.social 🦋 @UWCSE associate prof 👩🏻🏫 leading @SocFuturesLab to build social tech! PhD @MIT_CSAIL Prev @stanfordhci @BKCHarvard @Gates_Cambridge
Harmanpreet Kaur @harmankkaur
2K Followers 959 Following Assistant professor @UMNComputerSci. Human-centered AI, interpretable ML, hybrid intelligence systems. Now at: https://t.co/AXLR6r92j8
Sanjay Mehrotra @MicronCEO
9K Followers 60 Following Current Chairman, President & CEO of @MicronTech, an iconic semiconductor memory & storage company driving innovation & creative technology breakthroughs
Micron Technology @MicronTech
51K Followers 1K Following We're accelerating the transformation of information to intelligence.
Dan Gerlanc @dgerlanc
764 Followers 768 Following Host of the Agents and Engineers podcast. Fractional CTO for data intensive products
Andreas Wallraff @AndreasAtETH
42K Followers 8K Following Research and education in #physics with a focus on #quantum #computing, #communication and #sensing with team @qudev @ETH_en. Director of the @ETHQuantumCntr.
Sebastian Deffner @quthermo_comp
1K Followers 623 Following Father of twins, theoretical physicist, quantum thermodynamicist; Thermodynamics and control of information in complex quantum systems.
Steven Touzard @StevenTouzard
3K Followers 471 Following Quantum physicist and engineer. Presidential Young Professor and NRF Fellow at the National University of Singapore. PI @qovelab. he/him #BiInSci 🏳️🌈
Fabio Anzà @AnzaFabio
699 Followers 577 Following Science of Information || Assistant Professor & Entrepreneur @ https://t.co/VTffMoIomX || Bridging business needs and technical talk
Amira Abbas @AmiraMorphism
4K Followers 823 Following Trying to answer big questions with small devices. Quantum Research Scientist @Google Quantum AI. South African 🇿🇦
Nicolas Delfosse @nic_delfosse
5K Followers 1K Following Principal Researcher working on quantum computing, leading the quantum error correction team @IonQ_Inc.
Michael J. Biercuk @MJBiercuk
11K Followers 2K Following Founder @qctrlhq making #quantum tech useful for you. Professor. Speaker. @fondationgphg Academy member. Unabashed supporter of constitutional democracy.
Riverlane @RiverLane_io
5K Followers 701 Following Riverlane is the world leader in Quantum Error Correction (QEC), the technology that unlocks quantum computing's promise. We are hiring! https://t.co/0YhAfPbbWc
Clarice D. Aiello (sh... @ClariceDAiello
6K Followers 4K Following Quantum engineer interested in how quantum physics informs biology. Founder @QuantumBioEco, CSO @QuantumBioOrg, community builder @QuantumBioDAO. Fearless.
Quantum Computing Mem... @QuantumMemeing
12K Followers 2K Following In an age of divisive rhetoric, we're here to shitpost. Forbes 85 under 85. Views are our own (and also probably that of the quantum computing community).
Christian Weedbrook @_cweedbrook
3K Followers 667 Following Founder/CEO at @XanaduAI. Quantumpreneur. We are hiring! https://t.co/wWzCSXi4qe
Ryan LaRose @ryanmlarose
2K Followers 673 Following Assistant Professor in the Center for Quantum Computing, Science, and Engineering @michiganstateu
Giuseppe Carleo @gppcarleo
6K Followers 1K Following Associate professor of computational quantum science (@EPFL_en @cqs_lab). ML for quantum; quantum computing; growing the @NetKetOrg.
World Business Chicag... @WorldBizChicago
13K Followers 2K Following Chicago's economic development agency driving inclusive growth, job creation, and promoting #Chicago as a leading global city @ChiSisterCities @ChicagoVCSummit
Steps @steps
3K Followers 4K Following XIR | VC | @VillageCapital | @FictiveVentures | @MalaikaVentures #EcosystemCatalyst #ClimateJustice #ResponsibleAI. https://t.co/YpvVlR2lvu
mikedemarais.eth @mikedemarais
61K Followers 20K Following 🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈 cofounder of @rainbowdotme
John Nosta @JohnNosta
84K Followers 53K Following I'm a Leading Innovation Theorist and author of The Borrowed Mind—Reclaiming Human Thought in the Age of AI. https://t.co/Kt21ZywMDj
JColprim @JColprim
1K Followers 783 Following “Caminem per poder ser i volem ser per caminar”. Professor at LEQUIA, Univ Girona, CAT. Environmental biotechnology, nitrogen and nutrients. Catalonia!
Ron Shevlin @rshevlin
42K Followers 8K Following Chief Research Officer at Cornerstone Advisors. Senior Contributor at Forbes where I publish the Fintech Snark Tank blog.
Quim Comas @quim_comas
1K Followers 1K Following Wastewater management, nature-based solutions, environmental decision support systems; ICRA and LEQUIA-UdG
Aryeh Kontorovich @aryehazan
12K Followers 677 Following probability, statistics, metric spaces, Markov chains, freedom (social & academic), Israel, Jew stuff. opinions represent my employer & all other groups I'm in
Ruqi Zhang @ruqi_zhang
1K Followers 388 Following Assistant Professor @PurdueCS | PhD @Cornell | Probabilistic machine learning, Trustworthy AI, Monte Carlo sampling
Eric Wieser @EricWieser
380 Followers 180 Following Maintainer for #leanprover's Mathlib, @numpy, and #cocotb. Roboticist. PhD.
Wormwood @dirWormwood
1K Followers 903 Following
Neil Band @neilbband
1K Followers 796 Following PhD student @StanfordAILab @StanfordNLP @Stanford advised by Tatsunori Hashimoto and Tengyu Ma. Prev: @OATML_Oxford @CompSciOxford
























