🦀 engineer @tempo, prev @ithacaxyz @paradigmxyz 💻 open source, compilers, Rust, LLVM, Linux, EVM
- Tweets 149
- Following 443
- Followers 1,600
- Likes 7,333
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…
83
195
3,667
331,796
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
24
31
321
33,798
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:
648
1,292
11,352
2,108,482
DaniPopes retweeted
humans, a bipedal primate notable for early contributions to matrix multiplication
75
916
14,467
310,307
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
125
201
5,669
228,154
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.
27
29
325
168,739
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…
258
925
9,997
4,872,911
DaniPopes retweeted
just heard a youth say “on claude” instead of “on god”
581
5,205
120,706
4,222,557
DaniPopes retweeted
gm! I'm looking for gigs, DM me if you need someone with deep EVM expertise across verticals (contract dev, security & compilation) or Rust. 🫡
Ideally I'm looking for work that's symbiotic with Plank or max. 1-2 months long
2
11
85
7,852
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)
1,706
5,406
43,921
40,077,516
DaniPopes retweeted
Frontiers by @Paradigm returns to San Francisco on October 12-14, 2026!
Frontiers is our intense annual conference & hackathon for those beyond the edge.
No booths, no sponsors, curated audience, stablecoins, ai, robotics, post-quantum cryptography and more.
Apply below!
38
45
411
137,281
