rusowsky

aspiring crypto dev + eng @tempo

[rusowsky @0xrusowsky]

during the last 2 weeks i've been working on my first open-source project, an attempt to start giving back a little while still learning!

meet https://t.co/25Z0I8WJCu, a rust-powered toolkit that aims to help make ethereum development easier.

[Leo Alt @leonardoalt]

A smart contract's formal spec, readable like high-level code, and provably tied to the raw EVM bytecode.

That is the new evm-smith experiment.

Here is the whole behavioural spec of a WETH contract that an auditor reads:

(More and full write-up below)

[banteg @banteg]

loved this post, well articulated

[Lars Andersen @LarsAnders1620]

Police go directly for the circuit breaker panel to avoid being filmed

This post will be in English, because there apparently is a lot of interest in what happened to me yesterday.

I'm a libertarian danish privacy activist and former police officer and I have been doing activism for about 15 years.

I have had a bit of time to think about my arrest and the actions of the masked police that broke down my door - with no prior warning.

The prefece to the story is, that I in a kind of roundabout and (I think) humorous way published "my two favorite numbers" by spelling out a 10 diget and a 8 diget number with letters. I didn't tell what they ment, but they where prime minister Mette Frederiksen's social security and phone number.

I also published a screenshot of me trying to interview Mette Frederiksen on what app, asking her about her wanting to ban encryption (CSA) and introducing mass surveillance via granting the police intelligence services access to all sorts of information (medical journals, social media posts, DNA registers ment for research and so on).

That resulted in me being arrested by armed and masked police breaking down my door without me having any chance of opening it for them.

When the two civilian dressed masked men entered the apparentment one of them immediately went for the circuit breaker panel to shut off the power to my router. They then removed my Google Nest cameras - because they knew that the cameras contains local storage.

That way they could avoid having video of the (in my view) illegal arrest. Only the few moments before the power is cut was filmed. There is video of me asking them for the charges - and them refusing to tell me (which is illegal). But I can't access it, because they took the cameras.

I'm not even sure if that is legal. In Denmark it is (nominally) totally legal to film the police. That way it is possible to know what happened and it's not just your word against there's.

Denmark and the West are moving in the wrong direction, and it makes me sad.

[Proton Mail @ProtonMail]

If you use Gmail, you need to read this.

Google’s AI, Gemini, can read your emails, attachments, bank statements, etc.

For many, this feature was switched on without consent.

Here's how to turn it off 🧵

1/

[zooko🛡🦓🦓🦓 ⓩ @zooko]

I think a lot of the disagreement in the Mythos/Fable showdown stems from two different mental models of how cybersecurity works. ⤵️

[Georgios Konstantopoulos @gakonst]

Funny you called it EVM 2 because we recently open sourced such a repo https://t.co/LtnSLi560j which we're sprinting on

As for the other notes:
1. Lt Hash https://t.co/REYK0EPYsD + opt-in MPT for provable state we wanna mirror (e.g. TIP403 policies) https://t.co/Roc6FZgZcH
2. Not quite, but https://t.co/b5yP5yX61k here's something relevant
3. https://t.co/bomqBo5SJp https://t.co/nZwxCrFL5o expiring nonces (we're gonna bump to 5 minute duration) (similar to Solana) and classic 1D/2D nonces represent the durable nonce pattern w/ better DX
4. Ethereum-style BALs for validation (+ optimizations possible thru LtHash change) + Block STM WIP for building (easy w/ payments)
5. If you mean for storage format yes we're working on that, not sure if you mean something else.

[Reclaim The Net @ReclaimTheNetHQ]

13 years ago this month, the Guardian broke the Snowden story...the biggest mass surveillance exposé in history.

Today it calls your concern about ID-linked browsing, spyware in your photos and messages, and broken encryption, "fake outrage" while Starmer's government demands backdoors into your iCloud and calls for people to be arrested for tweets.

The watchdog became the lapdog.

[antirez @antirez]

I believe what Anthropic is doing, gating the ability to do certain harmless things like LLM research, and with incredibly sensitive filters that even medical questions are often blocked, is *deeply* wrong. They got open research, the Transformer, GPT2, ...

[Péter Szilágyi @peter_szilagyi]

The scary part about Anthorpic's Fable nerf is not that it refuses to answer biology or cryptography. It's that it foreshadows what's coming. A world where a couple companies decide what you can and cannot do. They're building a new ruling class and you're not in it...

[Signal @signalapp]

Our statement on the UK government’s demand that all content on all devices sold or used in the country be scanned, on the presumption of nudity, using a dystopian combination of age verification and content scanning. This proposal will not safeguard children. It endangers us all.

https://t.co/VdWe9uhi8p

[rusowsky @0xrusowsky]

@tunahorse21 just use https://t.co/WpcVxu2dl5

[Georgios Konstantopoulos @gakonst]

You can link your X Account to Tip Bot here!

You can fund your Tempo Wallet with the 'Verify with X' flow if you hit the Deposit button on https://t.co/u8Hs9zbE8J

https://t.co/5777x4w0K3

[awkweb @awkweb]

really fun to use in slack via emoji reactions too

https://t.co/w3gboEgJrp

[mrs kzg.eth née kassandra @kassandraETH]

I want to get a bit more public about the work we at the Kohaku Initiative inside the EF are doing

I notice there's hype but there's also confusion. Best way to clarify things is to speak candidly and openly about what I'm working on day-to-day

🧵time (bc i dont pay twitter $)

[Dankrad Feist @dankrad]

The way to save Ethereum: The community needs to create an organization that's economically aligned with Ethereum and accountable to it.

The EF now holds less than 0.1% of all ETH. There is no flow of Ethereum staking or fee revenues to it.

If we want to get Ethereum back to winning:
- create an organisation with credible funding, minimum $1b as a start. That's very reasonable for an ecosystem with $250b market cap
- find a leader who is competent and wants to fight
- make it accountable: a board of people who want ETH to go up, and a charter that holds the org accountable to it
- fund it permanently: A significant amount of staking revenue needs to go to it. A governance mechanism that can adjust it (also part of accountability).

Very hard to imagine now, but I think this is the only way (and it will probably happen, but it might take a long time before it is consensus).

[banteg @banteg]

introducing evm compiler bench

i generated a matrix of solidity and vyper versions, their optimizer settings, codegen backends. then i added 62 equivalent benchmarks that include hand written contracts, generated scaling tests, and real equivalent ports of production contracts to both languages from projects like yearn, curve, uniswap.

i ended up with over 7,000 measurements you can explore interactively. the report includes an interactive head-to-head explorer, version-over-time charts, scale curves, compiler failure grouping, and methodology notes.

compiler tradeoffs are now trivial to inspect: gas, bytecode size, deploy cost, compile time, version drift, optimizer/codegen choices, and compiler limitations.

the headline result: vyper gas profile beats solc legacy optimizer on runtime gas, and vyper venom beats solc viaIR on both gas and bytecode size.

report: https://t.co/ytBSZPJiUX

repo: https://t.co/hva3r7KZ00

[Georgios Konstantopoulos @gakonst]

Open Sourcing Centaur: Multiplayer, self-hosted, secure agents for Slack.

Centaur has been transforming how @paradigm and @tempo invest, build and research.

Now you can run it yourself on infrastructure you control. Instructions below.

[fucory @FUCORY]

Introducing npx claude-p

A dropin replacement for claude -p

[Mario Zechner @badlogicgames]

People of https://t.co/oUoqqL9hAp. Do not https://t.co/dQsm09RJ6y via any method other than what's shown on the website and in the docs.

E.g. we do not publish to brew and never will. Someone else did. We have zero control over what goes into the brew release.

[banteg @banteg]

argot was spun out of ethereum foundation with a mandate to maintain ethereum's core programming languages and developer tooling.

then it immediately begins to launder research as if it was core infrastructure maintenance.

if you read their blog, they spend a lot of resources on fe, a language that has been "emerging" for over 5 years. they have long plans for fe, while the language itself has seen zero adoption and zero production use. their long term goal is "non-trivial contracts in production-like setting".

meanwhile vyper is actual production infrastructure. it secures real protocols, with real users and tvl, and real audit surface. curve, lido, yearn, frax, velodrome all use vyper.

yet vyper lives grant-to-grant, while argot started with a $16.6m check, about as much as ethereum started with.

argot doesn't disclose how much time and energy it spends on the fe fantasy versus solidity, sourcify, hevm, or other genuinely core tooling. but clearly this pet project abuses and stretches the mandate. even though it's a programming language, by no serious measure it's "core". it should spin out and try to survive and prove demand independently.

production compiler maintenance should get baseline funding before speculative language incubation gets considererd.

vyper is in good shape today despite the ecosystem, not because of it. and it still does not sit right with me that resources keep getting misallocated away from the compiler people actually use.

ethereum keeps saying "public goods", then funds the toy compiler like infrastructure and makes the production compiler pass the hat. that is not stewardship.