CU optimizations come with risks.
@_fel1x discusses a critical bug we found in p-token before mainnet, subtle enough to survive in a heavily scrutinized codebase.
New post: Code coverage for coding agents, by @NearBeteigeuze
When an agent audits your codebase, a common question is: what did it actually read and with what intent? Current tools don't answer that. We built a prototype and open-sourced it.
Our intern program is back, now with the option to work in-person in NYC or Zurich.
We're looking for security research types who are curious, skilled, and ready to work on security challenges that matter.
Apply below ↓
@Ehsan1579 Gl, the nice thing is that any deviation between two clients can be forced into a chain halt (most likely) so there probably are highs about at the least
when Kanye said "i keep it 300 like the romans", it was actually a reference to the roman numeral CCC, which stands for cartesian closed categories, whose internal logic is simply typed lambda calculus. casual listeners largely missed this
Here are the results of the @brevis_zk Audit Contest!
1. 1AutumnLeaf777 - $29,480 🥇
2. @cergyk1337 - $37,257 🥈
3. @Missdida_ - $4,134 🥉
$92,000 in rewards, bringing Sherlock's total researcher payouts to $17.1M+.
Link below for the full results 👇
@0xalpharush Anamorphism: iter.unfold()
Catamorphism: iter.fold()
So to generate recursive values that satisfy predicates we use these to generate/collapse recursive structures (like the bst) such that every iteration still satisfies the predicate
Disclaimer: I know nothing about type theory
@hdevalence Bro it's just n/3 byzantine bro we don't need to worry about liveness proofs at all bro like CAP said it's fine bro we can just work in partial synchrony bro
> be me
> Larry Ellison
> own a database empire, a sailboat, and a disdain for poor people
> OpenAI wants to build AGI
> needs compute
> *a lot* of compute
> like “$300B GPU cluster in a volcano” levels of compute
> "Hello. I own Oracle Cloud. Also, I’m rich."
> sign $300B GPU hosting deal with OpenAI
> nothing ships. no GPUs installed. no fans spinning.
> Oracle stock: skyrockets to the moon
> my net worth: +$100B
> GPUs? still imaginary
> OpenAI raises a $1 TRILLION round
> yes, with a T
> investors lining up like it's a Taylor Swift concert
> I invest
> where’d I get the money?
> from the $300B deal *I signed with them*
> yes.
> OpenAI takes my $300B investment
> uses it to pay *me*
> for the GPU deal *I offered them*
> Oracle stock: skyrockets again
> I make another $100B
> invest it back into OpenAI
> round and round we go
> I pay me to pay me to invest in me to boost me to get paid by me
> call it a "strategic whatever"
> call it “AI innovation”
> call it what it is:
> infinite money glitch
> mfw i built a recursive economy where i am the only customer and vendor
> mfw GPUs are optional
> mfw capitalism is just a well-placed loop with exit liquidity