I'm your favorite cryptographer's favorite dropout Building @StoffelMPC Cryptography R&D Consulting via @hashcloak

ANNOUNCEMENT: @HashCloakLabs is not @hashcloak. It's an impersonator. @hashcloak is a consulting company and under NO circumstances will we be launching a coin. Anyone who knows me knows that I'm pretty generally anti-shitcoin (with nuances of course). If you bought a token supposedly associated with hashcloak, you've been scammed.
4
2
30
5,615
Motorsport is made for TV I think there's a lesson in there for retail shopping vs online shopping Online shopping is more convenient and you have way more options but retail shopping is more experiential Watching motosports IRL is way more experiential than watching it on TV where you see all the action
70
I had GPT-6.1-sol do an RCA and plan on how to fix a range of issues and I'm having GLM5.3 implement it And as expected, it's taking GLM5.3 much much longer to finish it 😅 GPT-6.1 really is just overcompensating for some reason
107
8
76
3,326
What the fuck happened? I went to go make guac and Bournemouth are 2 up on Man U????
1
1
128
Okay, Man U's been playing like shit all season and I don't even feel like being a plastic fan anymore
100
Mikerah retweeted
If we increasingly rely on LLM's trained on existing words, structures and phrasing, how does language evolve? How are new words created? What's the future for slang, patois and jargon?
1
1
3
532
The amount of creative people that use threads is really high? No wonder X is missing genuinely creative people. They were all on Instagram and thus now use threads
1
170
Trying this with 6.1-sol and it can't even manage the hermes runtime to switch the model despite the fact that I've done it before but with 6.1-sol and 5.6-sol 🤣🤣🤣
Replying to @badcryptobitch
You just gotta have Astra jump in as a reviewer every now and then.
2
283
"I used to be satisfied just playing video games. Then I found I required more… unusual entertainment." "Hunting and killing live human beings?" "No. Lying about using cryptography while I'm just using TEEs instead"
7
368
Mikerah retweeted
"Why is formal verification exploding NOW?" 1. Nobody understands the code LLMs write 2. Everybody hopes for some deus ex machina
"Why is formal verification exploding NOW?" 1. Cost of proofs is going DOWN (as AI gets more capable) 2. Cost of exploits is going UP (as AI gets more dangerous) 3. Proofs exterminate exploits 4. Bonus: proof checking = perfect math/coding RL reward The rest is economics
12
43
649
17,630
Gatekeeping is a form of curation
2
5
409
I love AI
1
192
Mikerah retweeted
A few months ago I hosted a cybersecurity "Ugh Day" (a group chore day) for my friends. The format worked so well I think everyone should steal it: 1. List the accounts/devices that would be most devastating to lose… bank, email, phone, etc. 2. For each one, find its “weakest link” an attacker could use to get in. 3. Turn those into a todo list and fix them. We found things like:
- someone was using their phone without a password. and their phone had unrestricted access to email and 2fa. meaning if they lost their phone someone could steal everything. 
- someone was using as their recovery email an insecure Hotmail account made at age 10 - someone was still using as their ex lover’s email as a recovery email So much low hanging fruit to fix! I think a lot of people feel dread and avoidance around personal security, doing this together really helped.
it’s an excellent time to weave resilience into your communities, friendships, families
6
69
841
44,831
Lol, hitting the intelligence limits of GLM5.3 😅
4
7
1,252
Ngl, never watched a Serie A game before today despite getting into soccer during peak Serie A in the 2000s The quality of this Napoli v Roma game is actually pretty good? Like yeah, it's slower paced but technically the players are pretty good. The tactics and formations are not as sophisticated as EPL but still pro-level. I swear everyone just be hating on all leagues that are not EPL and don't even watch the actual games
2
1
216
35
840
18,705
240,623
"vibe proving"
Astra just found a bug in Anthropic's formal verification example, their "specification" doesn't actually check output bytes match input bytes. The irony is thick.
3
394
Why is one of my favorite brands using @clavicular as a model?
243
sits, flight, lands
1
3
279
Time to try another OSS model
215