10502
karmacoma
@karma #10502
research engineer @a16zcrypto
70984 Follower 186 Following
"karma, how old are you?" Me: this was my high school cell phone
1045847
Jeff
@jeff-xyz·2 days ago
“Jeff, how old are you?”
Me: this was my high school cell phone
Me: this was my high school cell phone
things are afoot at the ACD
in retrospect a keyword search that just gives you a list of links is a horrendous product
there is something to love about every ISA out there:
RISC-V is simple
x86 is fast
WASM is portable
eBPF
MIPS is battle tested
RISC-V is simple
x86 is fast
WASM is portable
eBPF
MIPS is battle tested
wow, everything's unintended consequences
you wouldn't, right?
imagine being a Cheesecake Factory on mother's day
if you ever hear me say "blazing fast" unironically please shoot me on sight
WASM, JVM, CLR, LLVM all have function call instructions
x86, ARM, MIPS, RISC-V just have jumps
do you notice anything? hardware ISAs don't have structured control flow. EVM bytecode is an oddball because it is a VM language that lacks this feature, but EOF fixes this
x86, ARM, MIPS, RISC-V just have jumps
do you notice anything? hardware ISAs don't have structured control flow. EVM bytecode is an oddball because it is a VM language that lacks this feature, but EOF fixes this
why did ewasm fail? is there a canonical post-mortem somewhere?
being an expert can't be good for you
according to news headlines, experts are always worried about this or that
according to news headlines, experts are always worried about this or that
I miss house parties where you could simply judge people by the CDs in their towers
normalize incredibly short jorts for middle aged men
my ratios went down in March because I didn't improve much on the lifts and my bodyweight went up 😅
switched the training to 4 days of running and 2 days of lifting a week in preparation for an upcoming 100k
switched the training to 4 days of running and 2 days of lifting a week in preparation for an upcoming 100k
10502
karmacoma
@karma·17:25 03/03/2025
some incremental progress in Feb, hit 5x300 lbs deadlift then deloaded
out with ELI5, in with ELI50
One day you’ll go for a run without realizing it’s your last
Just had this incredible business idea: a company that provides supplies for poets.
Call it Poetco.
Call it Poetco.
cooking an experimental new feature for halmos -- visualize test paths and invariant call sequences as flamegraphs
I wonder if there is anything interesting happening in the field of AI recently
the enghiblification is mysterious and important
multiplication tables are lookup tables for the mind
Saw a machine make an americano by pouring the water first and then the espresso shot.
Felt unnerving and unnatural. Unheard of and unacceptable!
Felt unnerving and unnatural. Unheard of and unacceptable!
oh no it's worst than I thought
Loading...
everything is narrative
some incremental progress in Feb, hit 5x300 lbs deadlift then deloaded
10502
karmacoma
@karma·16:57 03/02/2025
January stats: finally reached 1.0x bodyweight bench press
what if the CAPTCHAs get so hard we end up needing AIs to solve them
one has to imagine Sisyphus mewing
January stats: finally reached 1.0x bodyweight bench press
Loading...
nobody ever stops to ponder whether the devil needs an advocate
we need more of this energy
14976
sudo rm -rf --no-preserve-root /
@pcaversaccio·22:58 17/01/2025
💯 - folks have asked me why I wrote my Safe transaction script (https://github.com/pcaversaccio/safe-tx-hashes-util )as pure Bash script and not eg via Python. Minimal dependency. You have to only trust Linux (and Foundry) in this case. The current world is dominated by dependency bloat. This is bad and insecure engineering. Period.
there is an inherent tension for decentralized social media:
- its value prop is that you can't be censored
- but it also wants to give you an engaging feed free of objectionable stuff, so it requires soft censorship of others
what gives?
- its value prop is that you can't be censored
- but it also wants to give you an engaging feed free of objectionable stuff, so it requires soft censorship of others
what gives?
some new PRs in December, reached 225lbs squats
10502
karmacoma
@karma·18:56 11/12/2024
November snapshot: little progress, dealing with soreness and deloading
November snapshot: little progress, dealing with soreness and deloading
10502
karmacoma
@karma·00:28 31/10/2024
October snapshot: we're up to 200 lbs squats
October snapshot: we're up to 200 lbs squats
Loading...
the man casually dropped an L2 light client that verifies multiple chains *in your browser*
Loading...
🐐
Loading...
new snapshot, we're up to 200 lbs deadlifts
Loading...
PUSH1..PUSH32 are called the “PUSHn” instructions. Memorize them. You don’t want to be the guy at the party who’s never heard of PUSH27
To be young and part of the in-group
I started lifting and made a minimalist strength standards progress tracker in google sheets
