chief (mad) scientist @baincapcrypto alt: @tarunchitra
- Tweets 27,869
- Following 954
- Followers 11,787
- Likes 62,480
Pinned Tweet
Math is just tautologies and I still haven’t made my mind up on whether that’s based or cringe
27
11
211
What an intro
ALT Introduction to a paper that reads “Since the dawn of time, human beings have asked some fundamental questions: who are we? why are we here? is there life after death? Unable to answer any of these, in this paper we will consider cohomology classes on a compact projective manifold that have a property analogous to the Hard-Lefschetz Theorem and Hodge-Riemann bilinear relations.”
24
517
3,248
If you’re so smart, why haven’t you found someone who deeply loves you and then dedicated your life to making them happy
79
101
1,428
115,885
math is literally a ploy to keep vaguely smart, but mostly insane people off the streets and occupied
25
100
984
i mean when done “correctly” python is just a mini DSL for hand written low level kernels but “done correctly” is doing a lot of work here
6
3
831
79,096
holy shit they did it
github.com/NVIDIA/open-gpu-k…
18
64
508
looks familiar !
Pure math Q relevant for LLMs:
Unrelated tokens (like "dog" and "sun") should roughly correspond to orthogonal vectors in embedding space.
So, In ℝ^k, what’s the max no. of pairwise orthogonal vectors? what about if they're only "nearly" orthogonal, so ∣vi⋅vj∣<ε, ∀ i≠j?
9
29
498
69,038
someone on the street just came up to me and asked: “hi, are you friendly?”
and like
wtf does someone respond to this
121
2
377
41,297
there is so much deep theory in that asymmetry that it makes me mad every time I think about it
4
2
283
14,680
Insane that our phones are just so powerful that I can run a perfectly responsive Jupyter notebook and integrate random shit while on the beach
15
10
286
modern personal computers are simply not fast enough to run python
— microsoft, probably
2
1
233
15,383
"game theory" is insane because it appears to be one of the most legitimately dangerous fields w/ the potential to gigafry your brain but is exclusively taken by literal turbonormies who unironically want to like "find a good strategy for play" and basically get oneshotted by it
21
10
232
15,598
I remember first seeing this as a short presentation someone gave in a summer camp and I stg I lost my shit for days
3
200
34,732
Imagine learning about synthetic assets and your first reaction not being
“Wow wait this is absolutely sick, how does it work?”
But instead the reaction being to write a poorly-thought-out article about how “it’s all fake stonks”
15
19
206
Today, I am pleased to announce that @ks_kulk , @alexhevans, @tarunchitra, and I are going to start an MEV prop shop. From now on we will remove all of our public papers and stop all future paper writing. We look forward to sandwiching your trades using convex optimization!
10
4
196
if you know a little bit of math and would like to understand the basics of MPC protocols
well
have I got a video (or two) for you
introducing the first of the BCC whiteboard sessions ! (w/ the legendary @cryptodavidw)
17
30
204
26,175
In which @tarunchitra, @AnnaRRose, @bfarmer and I proceed to drink and talk about math for an hour and a half
zeroknowledge.fm/228a/
10
28
159
what's incredibly entertaining is that I'm sure they really tried to keep it out of the training data and yet
there's clearly enough context elsewhere to impute what's going on here which is fascinating
2
168
14,925
anon, what if I told you that you can prove the correctness of the largest celestia block in <200ms on a single core of an mba
16
20
174
91,563
New paper with @theo_diamandis, @tarunchitra, @ks_kulk, and @alexhevans on the geometry of constant function market makers is (finally) out! It’s even got pretty pictures and everything!
Check it out at: angeris.github.io/papers/cfm…
7
37
164
52,289
looks like Lean is popular today, so here's a little post on how/why it works and implementing a mini version of it in Julia
4
19
158
14,032
It is nothing less than an honor to be welcoming Kobi, Wei Jie, Andrija, Grjte, and Nico to the team at BCC, who bring an incredible depth in cryptography, zero knowledge, and software engineering to the firm!
baincapitalcrypto.com/expand…
17
16
153
34,493
Honestly, what a time it's been! Happy to announce the new fund we've been working on for a hot bit :)
Welcome to Bain Capital Crypto – backing renegades and pioneers building the next generation of open internet infrastructure. We’re excited to share what we’ve been building. baincapitalcrypto.com/
12
3
145
"why do you like math so much?"
because it's literally a crappy video game you can play in your head, all the time
and nobody can stop you
4
16
141
today we have an effortpost about AI and automated theorem proving (and some cool projects!)
10
12
146
19,260
Well, here's our first (official) forage into the Unknown™ Lands™ of ZK™ ! (Work done with @alexhevans)
angeris.github.io/papers/zk-…
7
26
140
58,790
Releasing our newest paper on blockchain resource pricing!
Work done with @theo_diamandis and @ciamac
PDF here: angeris.github.io/papers/oco…
6
24
126
21,483
also, if anyone is bored and needs something to do:
the homework for the 1st "Succinct Proofs and Linear Algebra" lecture is out and it would be great if anyone wants to pull request solutions to it!
(this is an attempt at teaching a fully-open course)
angeris.github.io/other/spla…
7
16
125
20,003
We have ELI5 and ELI10 but what is the equivalent of "explain-it-like-I-know-a-lot-of-math-but-I-still-have-no-idea-what-any-of-this-is-talking-about"
11
4
113
Thanks to @BalancerLabs for their research grant! I am really looking forward to working this summer on (hopefully!) improving smart order routing for Balancer v2. :)
2
10
114
Aight I was told by @tarunchitra that, since we had kind of a crazy year, I had to do a quick tweet thread about our ~ paper a month cadence with @alexhevans
1 tweet/paper let’s go
4
22
109
a reminder:
you can just git gud at whatever you want
you really don't need anyone's permission
7
15
108
8,231
type of guy who will literally publish nearly 1500 papers with 500 coauthors after a bitter dispute, instead of going to therapy
7
9
103
I still have an irrational fear of saving files with spaces in their names after being burned so many times in my past
7
3
105
theo (@theo_diamandis) presenting our latest paper on the optimality of multidimensional fees at homework club !
5
5
97
17,385
Here I am, the zk peasant drinking coffee out of my zk mug begging the zk gods to make my proofs work
8
4
96
8,167
machine learning people will be like noooo look im a rotator i used math
the math in quesiton:
y = Ax + b
6
8
97
a weird set of takes on this paper w/ @alexhevans
The Accidental Computer with @angeris on prover acceleration via DA encodings
In short, proofs-of-encoding (such as ZODA) perform much of the work of a code-based PCS, making it cheap to “embed” verifiable computations over data posted to a DA layer
3
11
97
19,351
now also up on eprint for your viewing pleasure
eprint.iacr.org/2023/1478
Well, here's our first (official) forage into the Unknown™ Lands™ of ZK™ ! (Work done with @alexhevans)
angeris.github.io/papers/zk-…
2
8
89
16,818
the paper is also now up on arXiv for all of your archiving needs !
arxiv.org/abs/2310.07865
4
14
92
15,098
ok if I wanted to commission someone for a digital art piece as my background
how would I go about doing that? Does anyone have (digital) artist friends they’re willing to rec?
69
79
4,016
a shocking amount of problems could be solved by just hosting people over for a lovely evening and cooking them dinner every once in a while
8
82
9,795
this is so wild to me
having a leaderboard is like an instant shut-off valve for my brain
literally just "nopes" out, doesn't even process
5
2
85
5,505
so, fun fact, turns out you can fit exponentially many (normalized) vectors in a list such that the pairwise inner product of any two distinct vectors is ≤ eps
9
11
85
35,789
not gonna lie coding cryptography research in julia is infinitely more fun than in rust and it's not even close
15
2
81
6,325
just a little note on linear algebra over field extensions (of course, with applications to encoding and succinct proofs)
5
6
82
15,463
ok time to put my thesis together
(i.e., staple five papers and search-and-replace "paper" with "chapter")
7
75
did cultures ever have a disdain for papers as “offloading thought”? For example, did oral cultures (ancient Greeks, e.g.) ever criticize paper-as-memory as making people lazy, e.g., and are there documented versions of this?
20
2
76
15,079
excited to release this Julia (!?) succinct proof/math library which was a bit of a labour of love
some Thoughts™ below
1/9 Happy to open-source joint work with @angeris—
CryptoUtilities.jl, a set of Julia packages that brings fast and easy support for binary extension fields, Merkle trees, Reed-Solomon codes over binary extensions, and many more.
4
12
80
10,686
it's funny, for a long time, i assumed that computation was this very sacred, brittle, difficult thing: so many things need to work "exactly" right
but i’ve realized that it’s actually much *harder* to make a thing that doesn't accidentally enable ~ arbitrary compute!
8
4
78
7,534
Just a silly reminder that this paper is kinda fun (and is now on arXiv!)
Essentially, it shows just how much you can do without using oracles: any (capped) monotonic payoff can be replicated without the use of an oracle!
arxiv.org/abs/2111.13740
1
12
76
this thing has been possibly one of the biggest nerd snipes we’ve had in a while
ZODA
Joint work with @nico_mnbl and @angeris (with help from @NashQueue, @sanaz2016, and @jadler0)
A minor tweak to the encoding procedure makes data squares like @CelestiaOrg’s provably correct, opening a path to both higher data throughput and lower-latency light nodes
2
11
73
32,294
I love crypto bc a relatively formal presentation has some complicated data and a reference at the bottom will be some dune dashboard from "thiccythot"
2
71
5,688
Katie just made this "website" and honestly it's incredible
ALT Website with block letters and common gradients for crypto websites, reading: "Shitcoin reinvented."
ALT Website with common crypto gradients and background reading "Bullshit: It doesn't really matter what you put here as long as you have the right gradients and hacker vibes" with a button that says "click on me"
5
5
66
