0xdapper

@llamaonthebrink @0xngmi I think this assumes that kelp doesn't do anything and let all the rsETH be what it is. And that doesn't seem likely, its not in their interest to care about the lending protocol users more than their own users?

@0xngmi I don’t think the bad debt from option 2 could exceed the $290M headline value of the exploit. The value of rsETH supplied to Aave on L2s (in excess of $290M) is stolen *rebridged* rsETH. That rsETH is technically backed. So it shouldn’t create an additional shortfall.

Let's run the numbers on potential scenarios Imo there's 3 potential actions for kelpDAO to take: - Socialize losses among all users - Rug rsETH holders on L2s - Try to return to holders before hack by using a pre-hack snapshot (very hard to do) If they socialize losses among users, that's a 18.5% haircut. There is 666k rsETH across all aave deployments and for the mainnet one all the positions are close to max looping so we'll assume they are at liquidation LTV (95%) for all chains If socialized, all the equity in these positions would be wiped out and 13.5% of their value would become bad debt, meaning around 216m Then umbrella ETH would cover 55m, and aave could cover an extra 85m using it's treasury, leaving 76m. They could take a loan to cover the remainder or sell the AAVE tokens in treasury (rn worth $51m). If they rug rsETH holders on L2s, aave has $359m (assuming at par price currently in use by oracle) of rsETH supplied there, and if we make the assumption of all looped at max ltv, that would create 341m of bad debt None of it would be covered with umbrella, so aave would need to cover all losses themselves and they might choose to save some markets with their treasury/loans and let others fail (arbitrum, mantle and base would be the ones with largest losses) Third option would be quite complicated since money has been moving a lot since then and protocols are pools that cant really separate depositors, but hacker borrowed $124m from aave mainnet and $18m on arbitrum, so maybe theres a way to only repay that? would be a $91m loss after umbrella coverage

@devjoshstevens @Polymarket Bruh why is everyone only hiring in nyc

Excited to join @Polymarket as VP of Engineering. I haven’t seen a hungrier team in my career, the talent density here is insane. We’re building the future of how people understand the world. What should we build next? What’s broken? What’s missing? Drop it below. P.s we are hiring world class people in NYC DMs open

@Wonderland Remote participation?

Wonderland CTF prizes are in: $30,000 on the line. $15k, $10k & $5k for the top 3. Plus a few surprises. May the best teams win.

@real_philogy @0xz80 e.g. github.com/foundry-rs/fou…

@real_philogy @0xz80 i think you can do a little of that with #[global_allocator]? (i dont have experience using it)

idk who needs to hear this but I promise you your app does not need to be memory safe it’s ok to pick another language that doesn’t make you fight the borrow checker

@real_philogy @0xz80 zig also needs you to think about memory alloc/delloc though. And yes, rust has great dev tooling.

I personally go back and forth. Rust has so many nice things (amazing LSP, great packages, nice stdlib) but the borrow checker is persistently annoying yes. You get better at managing it but it never fully goes away. The main contender I see is Zig but playing with their stuff the stdlib, language, ecosystem & specifically LSP really aren't of the same caliber, it's a non-trivial trade off.

@greypixel_ @Mudit__Gupta Use yazi in a dedicated terminal window behind a keybind

@Mudit__Gupta When it comes to laptops and small form factors I think this has been the case for a while. The only small downside is that some parts of macOS are annoying (finder, I’m looking at you).

I've been using Linux as my daily driver since I started coding. Never felt that I'm missing out on anything. However, things are changing fast. For the first time in my life, I'm feeling like even the best linux/windows are significantly behind mid range Apple devices.

@0xcuriousapple Hearing they are closing down the border. Do you know if anyone made it past it today or will be able to?

FWIW, I left Dubai and am in Muscat right now, with a flight scheduled soon. Still there weren’t any issues on ground. Everything was going well, but the U.S. releasing an advisory today tipped the risk toward a rush in case of escalation, without any reward to staying.

@z0r0zzz LPs love losing money

@0xdapper_ thicc

i still cant over this existing in decentralized finance

@z0r0zzz Lol what

@0xdapper_ the weth eth pair. The pinnacle perhaps.

@thdxr @IshakSebsib @opencode Can this be made composable in a Unix way so I can review diffs and pass comments to other coding agents too?

@IshakSebsib @opencode very nice - could you open a PR? we had something like this planned and i'm wondering if we should start from scracth or build off this

Real ones don’t even leave @opencode to review their code.

@vaxryy @df00z GitHub is also very slow. Unironically sr.ht is as fast as it gets.

@df00z gitlab is fuckin slow asl tho

youtrack is paid, jira is paid, plane is not even a bug tracker, github issues kinda suck, redmine... redmine is actually quite neat. Should we though

@0xBeirao @radk @zerosnacks @0xMablr the --account is backed by keystores that i was referring to

@radk @0xdapper_ @zerosnacks @0xMablr I mean the encrypted keys.

Private Key in .env era is officially over. Thanks to @zerosnacks and @0xMablr, you will soon be able use your browser wallet to sign Forge scripts. forge script script/Counter.s.sol --broadcast --browser Massive win for smart contract operational security.

@apoorveth i think foundry uses relative paths

⚠️ When you verify contracts on Etherscan or Sourcify, you might unknowingly leak your device info! This is for the USDC contract deployer:

@dcbuilder i am looking

btw if any of you are looking for jobs, this will be very helpful, I also want to make a site for job applicants with an anonimized description of your profile and have companies hiring be able to send me a message to connect you if they are interested. if you're looking lmk too

@kepano @thekitze i cant recall tbh, i stopped using it after this, my notes are a bit of a mess between some in obsidian and some in zk

@0xdapper_ @thekitze I think adding settings search is one of the most important issues we need to address because half of people's problems are things Obsidian already has a setting for (c.f. thread) although I wonder if you would have searched for settings in this case? x.com/kepano/status/…

I love markdown but obsidian is not it

@kepano @thekitze wow, classic pebkac

@0xdapper_ @thekitze this is easy to change, just go to Settings → Editor Strict line breaks = on Indent using tabs = off

@kepano @thekitze which makes it difficult to use the obsidian vault interchangeably and just as a backend with obsidian as one of the frontends

@kepano @thekitze a little demonstration of rendered markdown in obsidian vs github. while i believe this might be by design and probably not be considered a bug to fix,it is something that forces you to use either obsidian or vim to write your markdown files to get a coherent view in both of them