d0nut 🦀
16.1K posts
d0nut 🦀
@d0nutptr
Security, software correctness, and Rust 🦀
San Francisco, CA Katılım Kasım 2013
464 Takip Edilen20.9K Takipçiler
@iteration110_ ok chief, I’m at the airport, I’ve got some time
what’s the game ID? happy to look into it.
English
The system @drewlevin and the rest of Riot have created for League is disgusting.
I just had a Zac full on throw my game, 6k dmg in 30 min, no KP, not even trying to win.
But because I was “toxic” I get a 3 day ban, but the Zac who ruined 4 other peoples game is fine.
English
d0nut 🦀 retweetledi
@drewlevin For (2), restarting the client fixes this as well. Do note that I encountered both of these issues separately, and at separate times, requiring two distinct restarts of the client.
English
@drewlevin Observation from a new (hand-leveled) account
1. When you level up and unlock a new game mode, you cannot select that new game mode until you restart the client.
2. When you update pre-selected summoners in swiftplay to use newly unlocked spells, they do not save.
English
ok bringing the pinned post meta back
if you send me something and it isn’t a reply to this, do not complain if I do not see it
no promises I’ll see or reply to all of this quickly (I try to enjoy my weekends too, I have a full time job, etc), but trying to corral a bit
English
d0nut 🦀 retweetledi
frog told the LLM "do not hallucinate"
"there," he said, "now the LLM will not make mistakes"
"but the LLM can still hallucinate" said toad
"that is true" said frog
English
d0nut 🦀 retweetledi
why: I am so tired of worrying about & spending lots of time fixing memory leaks and crashes and stability issues. it would be so nice if the language provided more powerful tools for preventing these things.
English
He could have just said “we’re lowballing them” or “this is a publicity stunt” or “we think our stocks are worth much more than the current price”
Reese Politics@ReesePolitics
That was one of the greatest displays of legacy news hit job media (CNBC) vs. new age retail pioneers (Ryan Cohen and $GME) where the old guard is so desperately trying to cling to what's left of their crumbling establishment. Cohen's indifference to Sorkin's childish repetitive questioning was an absolute mog.
English
After seeing the hilarious response to the master+ hard reset that a majority of the apex ladder asked for, this tweet came to mind.
Drew Levin@drewlevin
An important game design lesson: do not create a button that, when pressed, gives someone a worse time. People will press it (because they think they want what it outputs) and then be upset that you gave them a worse time.
English
Best thing about Rust is that compilation is so slow you have to think about what you're writing instead of tab-looping an agent
English
d0nut 🦀 retweetledi
Recently I've been spending a lot of time in the Solana ecosystem.
This led to the discovery of two critical vulnerabilities in a popular router that allowed stealing all funds from router owned token accounts.
Writeup here: atlas-it.consulting/post/solana-ro…
English
d0nut 🦀 retweetledi
@fgcman445 @FantaSenji10034 @hawolt also put fucking 2FA on your accounts in the future I don’t shill that because it’s useless I do it because it actually secures your shit
English
This is a very cool public initiative! And exactly the kind of thing that Lean is good for :)
Lean@leanprover
The Beneficial AI Foundation asks: "Can we prove that Signal's cryptography is secure — not just on paper, but in actual code?" Signal Shot, launched today in Paris, is a public moonshot to formally verify the Signal protocol and its Rust implementation using Lean. Open to contributions! 🔗 beneficialaifoundation.org/signal-shot #leanlang #leanprover #softwareverification #baif #signal
English
This name & shame behavior is incredibly irresponsible. x.com/IntCyberDigest…
English
English
@RatKingYeldarb @mimzv9 Okay, let’s invert it for a second. Make the best version of my argument that you can imagine. Really try to inhabit my mental state. Show me that you have actually considered what I’m saying.
English
Nisqy, with a tremendous amount of respect for your career: can you earnestly tell me you were trying to win after the third or fourth death? We’ll leave the chat logs out of this, but we can agree they do not make things look better.
replayit.gg/lol/match-stre…
Yasin Dincer@Nisqy
@aymeric_ren @drewlevin il ma dit merité il bannerait nimporte qui 7j pr ca askip :)
English
Nope, nevermind.
Opus 4.6 making weirdly dumb suggestions elsewhere now too.
d0nut 🦀@d0nutptr
I keep seeing people complaining about claude getting worse and worse. I can't say that I've personally seen degradation with technical work so far, but despite being on Opus 4.6 max, it is totally and completely factually wrong on league of legends.
English
