PhD mathematics; scientific software architect; mountain biker / runner. Opinions are my own and do not reflect any associated entity.
Colorado
- Tweets 4,072
- Following 513
- Followers 1,339
- Likes 5,420
On May 1st, I joined @plutolabs_ with the goal of helping them bring more and more applications of cryptography to the masses.
Web Proofs will just be the start.
I want to see proof-carrying EVERYTHING.
17
2
75
5,849
My path has always been about building bridges between worlds—from mathematical proofs to production code.
In 2022, I saw a game-changing idea that planted the seed for this entire journey.
Now, I'm taking my biggest leap yet as Co-Founder & CTO of @MultifactorCOM.
I wrote the full story of why I'm convinced our tech "trifecta" will redefine security. You can read it here:
Colin Roberts, Co-Founder and CTO, shares his journey from pure mathematics to crypto-focused startups and now Multifactor, explaining why he's excited about the future of the company: multifactor.com/blog/colin-r…
12
6
80
7,932
I got tired of research paper management being a pain in the ass. There are apps like Zotero, Mendeley, and Paperpile but they always felt like they kinda suck and forced you into a weird ecosystem of sorts. So I built Learner. 1/7
5
10
54
5,640
The replies to this made me realize I’m in an X echo chamber. ZK was the number one answer here.
Nothing about robotics, aerospace, theorem provers, medical devices, … the list goes on.
There’s a LOT more out there than cryptography. Don’t get me wrong, cryptography is also fantastic, but maybe we can all branch out a bit?
6
53
5,693
Today @0xjepsen and I presented to @SpearbitDAO about Arbiter. During the presentation, we demoed a simulation that tests a volatility targeting strategy.
What we found yesterday is that with certain conditions, running this in parallel led to panics or missing data.
2
2
51
7,122
Last week, we shared Edge -- an NIVC backend for @NoirLang. If you haven't already, give it a try and let us know what you think.
Today, we strive to make it better with this bounty issue for @plutolabs_
github.com/pluto/edge/issues…
🧵1/6
6
6
47
6,069
I spent the last week or so writing up a self-contained piece that begins the dive into exposing the relationship between software and categorical diagrams. If you want more explanation, just let me know. There will be more...
Wanna read it? Go here:
autoparallel.xyz/longform/ho…
2
5
40
6,011
Stoked to launch!
The hardest part of this for me was nailing client side proving. It took a lot of work, but for this launch we got it in a great place. Let me tell you about this particular problem below...
Pluto's Alpha SDK is live on testnet for developers!
TL;DR
- we give devs tools to easily integrate Web Proofs into apps
- 3 different ways to generate Web Proofs
- simple to integrate new data sources
- code is open-source; we build in public; new features every Friday
↓
1
6
43
2,708
For the academics out there... some pretty good challenges from @Tim_Roughgarden from CESC2022 @UCBerkeley
2
3
41
Are you joking? At some point something can become so filled with jargon that it’s cumbersome to go learn it all to proceed through the content. That’s why it’s annoying and it’s worth trying to reduce it.
Jargon itself isn’t bad. Overuse of it is.
3
37
3,706
Yes. This is called the “Frechet distance”
I think this was the first code I wrote on GitHub and I believe this has a counter example in it: github.com/Autoparallel/Frec…
1
36
5,355
We’re quite lucky to be in a universe where not only do Fourier transforms exist, but they’re computable
4
4
39
2,782
I'm happy to share that our (@plutolabs_ 's) baby ronkathon has grown wings in the form of a companion book! Not to mention, some other features you should check out
Open source + open education is the way
Thank you @mrv_daybird for all the additions lately 🫡
Links below
3
7
37
3,705
Anyone want to go through some “basic” maths with me and try to prove as many missing theorems as we can for the Lean math lib?
Things like abstract and linear algebra, topology, analysis, geometry, etc?
I’d be down to stream it, just want to know who’d watch
10
2
37
2,692
Work. Life. Balance.
Grass.
Whatever you want to call it.
It’s not a joke. Take breaks. Find other interests. Make new friends.
Being completely consumed by an industry isn’t normal.
I wish we’d stop normalizing it.
Sleep. Exercise. Eat well.
Turn off bird app.
4
1
33
2,717
Why don’t we just sign the fucking data?
datatracker.ietf.org/doc/rfc…
6
1
35
2,928
What is that? Don’t you mean Hom(W*,R) \otimes Hom(V,R) where V is dim n and W is dim m?
Everyone knows what R^{m x n} is. It’s shorthand just like yours and I’m sure what I wrote is considered shorthand by others. What’s your point?
2
33
1,402
You’re exping from the Lie algebra into the group and to go from infinitesimals to actual values
2
32
3,192
Reaction advection diffusion? Physical chemistry? Molecular dynamics? Spectroscopy? Crystallography? Polymers? What did chemistry do to you?
1
28
Reed-Solomon and Reed-Muller codes are basic examples of algebraic geometry codes.
I have no idea if these generalizations ever become useful, but they're interesting frameworks at the very least. All I know is, polymomials good.
autoparallel.xyz/braindump/#…
6
2
31
2,461
🫡 the more hackers that know more math… the more better!
Jessy’s hacker house @wehack247 hosts an in-residence PhD mathematician @Autoparallel who loves teaching anyone. It’s an absolute dream 🥰
1
31
3,336
Honored to be called out by Riley. A lot of work went into this. We learned a lot.
We were not rust engineers when we started. For many of us, this was our first major project.
He alluded to me personally that us authors had a really categorical mindset
Thanks, math 😊
primitive's arbiter is both a high performance evm simulation engine and a work of art
arbiter contains universes, which contain worlds, which contain agents, which exhibit behaviors that can communicate over an mpmc messager
you can have arbitrary numbers of universes, worlds, agents, and behaviors. and they're all parallelized
worlds contain a local environment where agents share the same provider to interface with that world. think of this as a single evm instance
agents act on events, be it contract logs or other agent messages, in their respective worlds based on their defined behaviors
behaviors can range from submitting new transactions to storing local state to broadcasting messages to other agents
to define a behavior, we only have to implement the behavior trait with a type parameter representing the type of behavior to process:
the simple use case for arbiter is high performance stateful fuzzing / invariant smart contract testing (faster than foundry!!), but it can also be used for economic modeling and network chaos testing
it's also worth noting that arbiter is a great example of functional rust, both in its state enumeration and how its components are generalized
until next time :3
2
1
30
2,293
Operators/observables form a Lie algebra. For example, position and momentum operator are elements of a Lie algebra and their commutator yields an uncertainty principle
1
26
963
This has been an amazing project to work on, I’m honored! Funny enough, it was my first rust project and was initially championed at a @13yearoldvc hacker house.
We will bring you so much more in the future. This funding will go to great use!
RPGF3 @Optimism results are in and we grateful to see that Arbiter received funding as an open source security tool!
🔴 Thank you all badgeholders who voted for us!
1
1
27
2,208
I am proud to be house mommy for the best group of hackers that Jessy and @0xjepsen can wrangle up.
See you in Paris 🥖🥖🥖 with my husband @0xjepsen
Drum roll...
Introducing our July 14 - 24 @EthCC hacker house events: trustless apps, ZK, Rust, DeFi, identity, staking, restaking
Get nerdsniped by the best founders & builders in town - aka Jessy's cracked friends ☀️
Engage to get our Google Calendar with all the events!
4
26
4,317
Why read book when German ice cream man teach geometry good
piped.video/playlist?list=PL…
1
4
23
2,121
I need people new people to follow because my current TL is killing me and the general one is half porn half “fuck Kamala” and “fuck trump”. Preferably:
- Physics
-Computer science (not, I repeat, not crypto or AI)
- Mathematics
- Engineering
- Athletes
- Politics (not stupid)
6
1
24
2,180
I've wanted to build something like this for a long time. Put it all together, do some new things, provide a space for testing out novel ideas, ...
I don't know what will come of it, but you can't stop me from cooking on it!
Today we're announcing Cova.
Cova is a unified ecosystem that bridges abstract mathematics into the computational world. We're building mathematical software the way it should be: rigorous, composable, and beautiful.
1/5
1
24
1,592
Okay, it’s on then.
First stream ever, so help me work out the kinks.
twitch.tv/autoparallel today at 7pm ET
2
20
2,914
What would you want a math (or physics) streamer to stream about?🧐
I’ve always liked the style of Crust of Rust by @jonhoo
My local audience will probably be biased into rings and polynomials and what they can do for you 😁
3
1
22
2,425
Here it is! A fantastic discussion where I nearly lost my voice by the end! Thanks @DeGatchi for the invite. I love this kind of open-world math dialogues. We need more of them in the wild.
3
3
22
2,527
Anyone want to help me go deeper into client architecture? I only know the basics, but I'd like to really learn. Gonna self study reth, but I'll need help. I have some ideas that might be stupid but could help me in a project I'm working on with my team :)
4
1
23
5,866
I want to create a place where we can push the security of cryptography. We learn by doing, and learn more by breaking what we've done.
This repo: github.com/pluto/ronkathon is a new baby of mine and my team. Come break things! If it isn't there, LET'S ADD IT.
Poseidon first?
1
3
22
2,020
Do people who hate SGX because “Intel bad” roll their ICs AND silicon wafers?
I have an x-ray lithography machine in my house of course… that way I only trust myself in the ICs…but I’m nervous that my silicon might be backdoored.
4
1
22
2,032
I believe it’s this time of year again. Don’t quote me on that, I still have no idea what I’m doing here
3
21
3,170
It means so much to be to be a part of this ever growing community. Thank you to everyone who has made this vision come alive!
Special thanks of course to @13yearoldvc @0xjepsen @solidityslayer and @austingriffith
Amazing work this last year. Onto 2024 🫡
It has been almost 2 years since Jessy's Hacker House inception in EthDenver 2022.
Since then, we've organized 8 of them:
In 2022:
EthDenver
Avax Barcelona
Devconnect Amsterdam
Devcon Bogota
EthSF
In 2023:
EthDenver
EthCC Paris
Devconnect Istanbul
Here's our story 👇
1
3
20
4,326
I’d really like to get a chance to teach a course that essentially builds up a bunch of mathematics from just looking at graphs. Proofs by picture. Run into important theory and applications.
We need to show our youth that math is important and beautiful. We’re failing that.
2
19
812
If you took a linear algebra class and didn't feel power level upgrade, maybe someone didn't tell you the secrets of diagonalization.
When I taught this subject, I was sure to take it to the point of the Fourier transform to do it justice. Here you go:
autoparallel.xyz/braindump/#…
3
18
1,929
A jet is like a generalization of a Taylor approximation. So a J^nY is a bundle of nth order Taylor approximations of fields on Y
The variation \delta is like a differential operator (just the complex is forms on the jet bundle).
This is just needless formalization lol
1
18
896
This project has been a massive learning experience for me, and there’s so much more to go. The plans you see mentioned here aren’t the only ones we have in mind. Just keep watching 👀
1/🚀 Introducing the beta release of Arbiter, an innovative agent-based analysis tool for the EVM. Arbiter enables fast, precise modeling and economic fuzzing for the DeFi ecosystem, leveraging Rust for top performance.
primitive.xyz/posts/introduc…
1
19
2,045
One of the most beautiful results in math/CS is the Curry-Howard correspondence. Essentially algorithms and proofs are equivalent concepts (I am waving my hands slightly).
2
2
18
2,917
What’s your username based on?
I was really into Riemannian geometry before I got nerd sniped into DeFi by @0xjepsen
Riemannian manifolds get distances and angles via parallel translation. Geodesics flow are along their own parallel curves (i.e., they’re autoparallels).
What's your username based on?
DC are my initials and I wanted to psyop myself into building in the crypto space when I was a researcher for a couple years. Everyone kept asking what are you building and it became a great social forcing function into becoming who I wanted to be.
1
1
18
3,221
You’re reading bad books then.
Also this may be wrong and it’d be hard to tell.
Lectures are often where more intuition has been shared historically.
Your move.
1
19
983
I had a dream @functi0nZer0 told me to start writing Haskell. Fucking haunting if you ask me. What’s wrong with me?
3
18
8,265
Next one 6h
1
2
17
1,482
I was recently asked what my favorite paper is. Of course it’s not simple, but I can quickly say that Shannon’a “A Mathematical Theory of Communication” takes the spot.
3
1
17
1,388
It's been a while since I posted some content, but we're back in business!
I wanted to revisit a brain worm on group representations and the Fourier transform that was awoken again in seeing the FFT used in cryptography. Here it is 😁
autoparallel.xyz/braindump/#…
1
3
14
1,061
Got to explain Stokes’ theorem to an engineering student on a ski lift today. Peak moment in at least two ways.
1
1
16
1,119
The only certainty I have right now is that the world needs more proofs. And I mean REAL proofs. Ones we cannot argue about. Ones that are transferable and usable. The more we can generate these, the more we don’t even have to trust another, but will by proxy.
1
1
15
1,057
How much energy do you think this takes to run?
Answer: less than the parasitic draw that your homes outlets eat up just by existing.
1
14
Would suck to lecture when you have to write out long strings instead of a single Greek or alt typeface.
Writing `setOfAllMaximalIdealsOfTheAlgebraOfContinuousFunctionsOnTheManifoldM` is quite a mouthful compared to \mathcal{I}_M written by hand.
There’s a balance to be had.
1
13
663
If we want to be very particular, maybe C is. It’s closed, if a function is differentiable its analytic, you can extend functions into this domain uniquely, you get Riemann surfaces, Mobius transformations, and a lot of signal processing tooling.
There’s much more, I’m sure.
13
899
it's the weekend, do open source and learn things
github.com/pluto/ronkathon/i…
(or say fuck it and go outside if you have nice weather unlike me)
1
1
14
770
Alloy
Alloy
Alloy
Alloy
Alloy
Alloy
Join tomorrow, July 18th with the one and only @gakonst
In Rust we trust.
lu.ma/zkcafe2
1
1
15
1,524
As I've been writing this piece, I wanted to have it go along with some companion code to show how to go from theory to implementation.
Here's the set of snippets: github.com/Autoparallel/tens…
It's actually quite frustrating how limiting Rust can be on some of these things!
1
1
13
1,061
Linear equations satisfy the super position principle en.m.wikipedia.org/wiki/Supe…
Taken to the extreme, if I solve a linear diffeq with a “point source” (eg, single charge) I can add up point source solutions to get a solution for a more complicated source.
1
14
1,506
- creatine
- L-theanine
- citrulline mallate
- cordyceps/lions mane (don’t expect any feeling from these)
2
186
revm 4.0.0 came out this morning so we bumped our usage and did a refactor github.com/primitivefinance/…
Agents for DFMM also being rebuilt @PrimitiveFi
Playbook/tutorials soon
3
15
984
It seems my TL has been toxic as hell lately. Maybe grass needs touched? Maybe counseling is needed?
1
13
1,185
I’ve decided to go on a diet:
github.com/Autoparallel/shre…
I think we need some cellular sheaves or something…
1
13
922
If you ask to talk to me, turn it into an interview, then send me a random zip file as a test, you're on my shit list.
1
14
648
As a former physics major, I feel for your former classmates.
Stop gatekeeping. Get a life.
I hate to say it, but as a former physics major, if you actually want to go into physics you should be the kind of person who finds this level of material completely obvious at 9 years old.
It's absolutely worth studying -- but physics only needs people who are math freaks.
1
14
1,615
DeFi means nothing if it’s not secure. That’s why we’re building what we’re building.
Props to you all for working on this 🫡
The @PrimitiveFi team (@0xjepsen) has been working in their free time to simulate the dispute game with Arbiter. This will also be extremely impactful in terms of the level of assurance we have in the system in a post fault proofs world.
github.com/primitivefinance/…
2
1
14
1,777
So the point is to fucking vape MORE? Jesus Christ. How unbelievably stupid are you people?
If this is not the point, then surely whoever has no vapes recorded on the blockchain (stupid) is “winning”?
You realize that vaping is still horrible for you, right?
We are introducing the Puffpaw Smart Vape (PSV) – a healthier alternative with nicotine free organic tea extract flavorings. Every puff is recorded on the blockchain for transparency, gamifying the quitting process.
13
1,821
This rebuild was much needed and we'll continue to keep building!
We just released Arbiter v0.3.0! Arbiter is a tool for any EVM engineers or security researchers that want to simulate economic properties of protocols or other mechanisms with speed
Written in rust, all you need to do is install it as a library and then start building your sim!
14
762
Riemannian manifolds are pretty much the precise object you can do PDEs on. Any less structure and they don’t really make sense (not entirely true but yeah).
2
12
598
I wrote this over the last week or so:
autoparallel.xyz/longform/my…
Basically, I describe what I run at home, why it is that way, and ramble about some of the specifics. There's a bit of added advice and recommendation sprinkled in there too.
2
1
14
254
Would love to keep blasting protocols with strategic transactions. I'll continue with ours, but if you're interested in doing so for yours, feel free to reach out to any of us! 🙂
Since Arbiter's latest release we've been using it for anomaly detection in the Portfolio protocol, which has already yielded some invaluable insights. This simulation has one entity that swaps against the pools, and as you can see after ~18,000 swaps something weird happens
2
14
1,720
