karmacoma pfp

karmacoma

@karma

147 Following
8315 Followers


karmacoma pfp
karmacoma
@karma
*taps mic* if the L1 cache is so fast, why don't they make the whole memory out of that stuff?
6 replies
8 recasts
79 reactions

karmacoma pfp
karmacoma
@karma
not all heroes wear capes
9 replies
21 recasts
114 reactions

karmacoma pfp
karmacoma
@karma
finally going to merge an epic PR in halmos, completely reworking how memory works in the EVM interpreter. Instead of a big list of individual bytes, we will now handle references to chunks end to end
2 replies
2 recasts
7 reactions

karmacoma pfp
karmacoma
@karma
I hope you’re all staying hydrated out there
1 reply
1 recast
7 reactions

karmacoma pfp
karmacoma
@karma
you got to be solvermaxxing
0 reply
1 recast
4 reactions

karmacoma pfp
karmacoma
@karma
hell yeah I'm into VC (verification conditions)
0 reply
0 recast
1 reaction

karmacoma pfp
karmacoma
@karma
hell yeah I'm into VC (verification conditions)
0 reply
0 recast
3 reactions

karmacoma pfp
karmacoma
@karma
It’s time to say goodbye to my Nike Zoom Streak 6 with over 600 miles of speed workouts. You have been good boys 🫡
2 replies
0 recast
6 reactions

karmacoma pfp
karmacoma
@karma
me trying to articulate thoughts about 4337, 3074 and 7702
1 reply
2 recasts
7 reactions

karmacoma pfp
karmacoma
@karma
I don’t even care what it is, if a dish has “Bang Bang” in the name I’m ordering it
1 reply
0 recast
7 reactions

karmacoma pfp
karmacoma
@karma
my kid wanted a $6 thing from Starbucks. I asked her: what if you were to lock this into a 5% CD for a year instead? How much would you earn? “uh… 30c?” huge parenting W right there
2 replies
0 recast
7 reactions

karmacoma pfp
karmacoma
@karma
same for every SMT based systems
1 reply
0 recast
4 reactions

karmacoma pfp
karmacoma
@karma
discovered in a downtempo mix, delightful combination of ambient jazz and electro https://www.youtube.com/watch?v=Qqi_EZ0DgrA
2 replies
0 recast
6 reactions

karmacoma pfp
karmacoma
@karma
I wanted to validate some assumptions about EVM memory I/O, my intuition was not quite right: - more non aligned writes than I expected - more overwrites than I expected - I expected most overwrites to be scratch and mem pointer, but actually a long tail Has anyone done this kind of analysis at scale?
0 reply
0 recast
5 reactions

karmacoma pfp
karmacoma
@karma
TIL the pre-internet OG BASE was created by Visa BankAmericard Authorization System Experimental https://www.investopedia.com/terms/b/base-i.asp
0 reply
0 recast
0 reaction

karmacoma pfp
karmacoma
@karma
I'm a simple guy, all I want is an EVM memory profiler that looks like defrag.exe. Who is working on this?
5 replies
4 recasts
26 reactions

karmacoma pfp
karmacoma
@karma
Left shoe is 19g heavier. Keep or return?
6 replies
0 recast
6 reactions

karmacoma pfp
karmacoma
@karma
hit me up if you’re building on the EVM and are on the fence about applying, or would like to be referred or something
1 reply
1 recast
7 reactions

karmacoma pfp
karmacoma
@karma
oh geez today’s workout is something
3 replies
0 recast
6 reactions

karmacoma pfp
karmacoma
@karma
the French are really into formal verification because they have a thing for losing battles
0 reply
1 recast
7 reactions