technovision99

what's blockchain || security engineer @asymmetric_re || prev @trailofbits || views my own (obviously)

[Cobie @cobie]

If the market gets any worse I am reinstalling League of Legends after a 4 year hiatus

[asymmetric research @asymmetric_re]

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.

[asymmetric research @asymmetric_re]

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.

[Daniel Keller @dnlklr]

yeah im ngl the 3/3 3:33am Blood Moon Fire Horse Purim Lunar Eclipse WWIII AGI moment is frying me a lil bit

[asymmetric research @asymmetric_re]

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 ↓

[technovision99 @technovision99]

@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

[alco ⊢ ꙮ @qualiascript]

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

[technovision99 @technovision99]

@GalloDaSballo https://t.co/SBBtgA3vFO

[technovision99 @technovision99]

👀

[SHERLOCK @sherlockdefi]

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 👇

[technovision99 @technovision99]

@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

[technovision99 @technovision99]

@0xalpharush You know AFL isn't giving you enough exploration when the goat posts bangers like this

[technovision99 @technovision99]

@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

[technovision99 @technovision99]

@_Z561 @muellerberndt Elliptic curves aren't necessarily defined over GFs they're just doubly periodic functions in C
We can define them over any field

[technovision99 @technovision99]

@muellerberndt Are you a baez enjoyer as well? If not it might be time to get topospilled

[technovision99 @technovision99]

@Montyly There aren't enough words in the English language to recommend this man enough

[JT @jiratickets]

how it feels to be 25 and not a decamillionaire

[technovision99 @technovision99]

@Jeyffre Just draw a square inside a square lol

[Ahmad @TheAhmadOsman]

> 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

[thiccy @thiccyth0t]

https://t.co/eEzuNK85rh