Normal Computing 🧠🌡️ (@NormalComputing) / X

Normal Computing 🧠🌡️

451 posts

Normal Computing 🧠🌡️

@NormalComputing

We build AI systems that natively reason, so they can partner with us on our most important problems. Join us careers.normalcomputing.com

New York, NY

Joined June 2022

Pinned
Normal Computing 🧠🌡️
@NormalComputing
Dec 19, 2025
In June, we taped out CN101, the world’s first thermodynamic computing chip. We’re now sharing early bring-up results from the first thermodynamic ASIC, showing how a physics-based approach can enable stochastic, stateful, and asynchronous computation directly in silicon.
00:00
48K
Normal Computing 🧠🌡️
@NormalComputing
Jun 25
Solving AI's energy demand is a complex challenge that spans the entire stack, from generation and grid connection to power delivery, cooling, and how efficiently the compute itself runs. Normal is focused on the compute layer: how much intelligence each watt buys. At the
252
Normal Computing 🧠🌡️ reposted
Thomas Ahle
@thomasahle
Jun 16
Beautiful morning with @MLStreetTalk in Zurich!
1.2K
Normal Computing 🧠🌡️
@NormalComputing
May 4
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
arxiv.org
Autoformalizing Memory Specifications with Agents
The primary goal of Design Verification (DV) is to ensure that a proposed chip design implementation (either in code, or physical form) exactly matches its specification and is free of functional...
2.1K
Normal Computing 🧠🌡️
@NormalComputing
Apr 26
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
729
Normal Computing 🧠🌡️
@NormalComputing
Apr 23
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
From Specifications to Formal Models: Autoformalizing Memory Chips with DRAMBench - Normal Computing
From normalcomputing.com
937
Normal Computing 🧠🌡️
@NormalComputing
Apr 22
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
785
Normal Computing 🧠🌡️
@NormalComputing
Apr 20
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.
Home
From normalcomputing.com
376
Normal Computing 🧠🌡️
@NormalComputing
Apr 17
"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
00:00
423
Normal Computing 🧠🌡️
@NormalComputing
Apr 16
"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
00:00
270
Normal Computing 🧠🌡️
@NormalComputing
Apr 15
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
00:00
931
Normal Computing 🧠🌡️
@NormalComputing
Apr 14
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
00:00
437
Normal Computing 🧠🌡️
@NormalComputing
Apr 14
We're hiring across roles
jobs.ashbyhq.com
Normal Computing Corporation Jobs
Normal Computing Corporation Jobs
207
Normal Computing 🧠🌡️ reposted
Thomas Ahle
@thomasahle
Apr 13
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
5.2K