🦀 engineer @tempo, prev @ithacaxyz @paradigmxyz 💻 open source, compilers, Rust, LLVM, Linux, EVM
Joined June 2018
- Tweets155
- Following443
- Followers1.6K
- Likes7.5K
DaniPopes retweeted
SOLAR: 100x FASTER SOLIDITY
Solar is the future of Solidity and the EVM.
It's >100x faster than Solc.
It has faster bytecode than Solady with no assembly.
Its bytecode is faster to interpret by the EVM.
Solar fixes Stack Too Deep!
foundryup
forge --use solar
Blog below.
DaniPopes retweeted
How is the internet less private than in 2006, when the whole family shared one computer?
Back then, the internet was weird, personal, and all of ours.
So, we got your favorite meme legends back together to say it louder: What happened to the internet? 1/3
DaniPopes retweeted
Sadly, I have lost the chain of custody of this meme as it passed through someone in my discord. But, it checks out. support.arm.com/documentatio…
DaniPopes retweeted
Solar by @paradigm is a Solidity compiler we've been quietly building which will eliminate unsafe Solidity - we have started finally being able to produce more gas optimized assembly free code than the legendary @optimizoor Solady
claude please port solc line-by-line to zig, make no mistakes
new solidity compiler dropped
firefly.social/post/x/210344…
DaniPopes retweeted
Bend 2 is here!
It is a new programming language that blocks AI mistakes via *proof checking* - the same technique big AI labs used to solve open math problems, like Navier-Stokes.
It is also very fast, and runs on GPUs.
Watch the video. Link in the comments.
RELEASE DAY
After almost 10 years of hard work, tireless research, and a dive deep into the kernels of computer science, I finally realized a dream: running a high-level language on GPUs. And I'm giving it to the world!
Bend compiles modern programming features, including:
- Lambdas with full closure support
- Unrestricted recursion and loops
- Fast object allocations of all kinds
- Folds, ADTs, continuations and much more
To HVM2, a new runtime capable of spreading that workload across 1000's of cores, in a thread-safe, low-overhead fashion. As a result, we finally have a true high-level language that runs natively on GPUs!
Here's a quick demo:
DaniPopes retweeted
my favorite AI slop must be coding agents adding backward compatibility and legacy fallbacks for an app that isn't even deployed yet
DaniPopes retweeted
Announcing the @Paradigm Frontiers 2026 speakers!
Some of my favorite people on Crypto x AI x Robotics x Devtools.
@rauchg / Vercel
@LegNeato / VectorWare
@fat / Pierre Computer Company
@sqs / Amp
@SurajNair_1 / Physical Intelligence
@0xKitsune / Tempo
@danrobinson / Paradigm+Tempo
Oct 12-14 - Fort Mason, San Francisco
Apply by Aug 20th below.
DaniPopes retweeted
Dinitz-Garg-Goemans conjecture is false. This graph theory problem was open for ~30 years.
The graph below has fractional flow cost 58. Any unsplittable flow (with capacity violation <=15) has cost at least 60.
Chat with GPT 5.6 Pro where this was found: chatgpt.com/share/6a60b2eb-0…
DaniPopes retweeted
hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final
((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3, has jacobian determinant -2, and sends (0, 0, -1/4), (1, -3/2, 13/2), and (-1, 3/2, 13/2) to (-1/4, 0, 0)
