🏴 LevS (of ether) 🏴 💙💛🇮🇱☀️🦁🗡️

recreational LLM yapper

[🏴 LevS (of ether) 🏴 💙💛🇮🇱☀️🦁🗡️ @levs57]

лучше впасть в нищету, голодать или красть
чем в число блюдолизов презренных попасть
лучше кости глодать, чем прельститься сластями
за столом у мерзавцев, имеющих власть

[🏴 LevS (of ether) 🏴 💙💛🇮🇱☀️🦁🗡️ @levs57]

@tracewoodgrains Extreme example (infamous in my tribe) is SBF, the guy who learned from EAs to grab all the power he could and then *surprise* got corrupted by it in the process achieving literally none of his (I believe once genuinely wanted) goals.

The tale as old as time.

[🏴 LevS (of ether) 🏴 💙💛🇮🇱☀️🦁🗡️ @levs57]

@tracewoodgrains I feel this is a folly associated with EAs and many rationalists in general - they for some strange reason fail to model their own potential misalignment (with whatever goals they have at the modeling moment); and so prefer "singleton" ideas to any sort of distribution of power.

[🏴 LevS (of ether) 🏴 💙💛🇮🇱☀️🦁🗡️ @levs57]

@amnestyusa 😎😎😎

[Tom Gur @TomGur]

Dana Moshkovitz’s 3-hours talk on the proof of the unique games conjecture is now online!

https://t.co/IUeaSyMKyO

[🏴 LevS (of ether) 🏴 💙💛🇮🇱☀️🦁🗡️ @levs57]

@durov No reason to waste a honeypot your shit is basically cleartext with remote RCE capabilities

[🏴 LevS (of ether) 🏴 💙💛🇮🇱☀️🦁🗡️ @levs57]

@just_whatever Т.н. тысячный еврей.

[🏴 LevS (of ether) 🏴 💙💛🇮🇱☀️🦁🗡️ @levs57]

А потому что не надо куда ни попадя совать свой Хуанг))

[🏴 LevS (of ether) 🏴 💙💛🇮🇱☀️🦁🗡️ @levs57]

Approximately 1 Ethereum worth of American dollars. (Not 1 Ether, an important semantic distinction)

[Kalshi @Kalshi]

BREAKING: Nearly $300,000,000,000.00 wiped from Nvidia stock in past hour

[🏴 LevS (of ether) 🏴 💙💛🇮🇱☀️🦁🗡️ @levs57]

@marginsmall lol

[🏴 LevS (of ether) 🏴 💙💛🇮🇱☀️🦁🗡️ @levs57]

@ExistentialEnso

[🏴 LevS (of ether) 🏴 💙💛🇮🇱☀️🦁🗡️ @levs57]

@claucece @brave Thats cool!!

[🏴 LevS (of ether) 🏴 💙💛🇮🇱☀️🦁🗡️ @levs57]

@ameensol Btw I have read their announcement; apparently it is about post-conditions in a block. Curious!

[🏴 LevS (of ether) 🏴 💙💛🇮🇱☀️🦁🗡️ @levs57]

@ameensol I do not understand, do these rules allow checking something that is not directly checkable on EVM? Or is the idea that these will be hidden from the hacker?

[🏴 LevS (of ether) 🏴 💙💛🇮🇱☀️🦁🗡️ @levs57]

@sphere_homotopy @martinmrmar Also, surprisingly, true in Lean's mathlib but for a different reason than in normal mathematics.

[🏴 LevS (of ether) 🏴 💙💛🇮🇱☀️🦁🗡️ @levs57]

@sphere_homotopy Are there any proofs of this statement that do not directly use topological invariants? Like, I wouldn't count "remove a point, check simply connectedness", "embed S^1, use Jordan lemma" and "embed S^2, use Borsuk-Ulam" as fundamentally different...

[🏴 LevS (of ether) 🏴 💙💛🇮🇱☀️🦁🗡️ @levs57]

Obviously no shade on the authors they are great and this is significantly different from what I suggested, it is just a mental note for me that ideas that I have actually need to be written down and posted on eprint .

[🏴 LevS (of ether) 🏴 💙💛🇮🇱☀️🦁🗡️ @levs57]

"The thing I joked about in 2023 gets reinvented and published" keeps happening. Though this is very neat; my proposal back then was to cut off top layers and replace them with KZG :))

[Pratyush Mishra @zkproofs]

Hash-based vector commitments are a key primitive, but we only really have one construction: Merkle trees.
MTs are great, but have a key issue: opening proofs need logN hashes.
This adds up when we open many points (eg hash-based pfs)

In a recent paper, we ask: can we do better?

[Khoa Vu @KhoaVuUmn]

The fact that two Huangs are involved in an affair, but only one takes the blame is commonly known as Jensen's Inequality.

[Zac @Zac_Aztec]

I'm very familiar with this Alice who had an affair with Jensen. I often see her and someone named Bob passing secret information back and forth in cryptography articles. She must be a spy.