heartpunk (sophie!!)

oh wait this metaphor really doesn't work see also this is great evidence for why sleep

(i haven't in about two full days now, i am about to)

as a treat!

(insert chart of perf against dpeth into the context window here)

in this ted talk i will make a case for never sleeping again...

"sorry it's illegal to get that information in private, that is an illegal conversation
only i am allowed to discuss that idea
but only if you pay me
this is safety btw"

bills like this are oppression disguised as safety

tapping the sign again

ime yes

we do not think we're, like, amazing or anything, either

just, not full of shit

and clearly unusually good in some weird lil niches too

has felt like really losing *all* grip on reality lots of the time

being able to finally pull something together of substance in a domain we care about and have had a big intuition around for a long time?

that feels like, oh, ok, maybe we were not full of shit entirely

like *actively* and intentionally around this stuff by a lot of ppl, most ppl

which we've found ways to understand and like that's ok we get it it's a lot a lot a lot to be around in many ways emotionally and otherwise

but anyway it's been hard to keep any faith in self

was actually thinking this morning how like

we've been thinking about this idea for about ten years in different forms and we've had a bit of encouragement and struggled through some VERY poor attempts at parts of it before (and learned a lot from it! it was valuable!!)

but overall, feel ignored

it has gotten ppl v mad at us bcz we didn't know how to communicate it well and it made them feel like we didn't respect them or their skill (we did and still wish we'd learned more from them faster!!!)

just wanted to say had different sorta goals ourself 😔

seen as such an attack on their ego 😭

it made time in industry really painful for a long time because of this

but part of us always knew, like, nahhh, we care about so much of this, but not all of *that*

it is a v weird and discontiguous slice tbqh!!!

genuinely kinda don't think of self as programmer anymore, kinda haven't for a while in a way

nor sre for a bit now too

not that i'm unskilled or incapable in those domains; have done the work w/at least mid competence

idek quite what consider self but something about complex systems navigator???

yes yes but important to at least gesture at not making mean or otherwise unkind etc comparisons!!

or at least feels so to autist who used to being misunderstood and and fadjs;lfdkjls;fadjkls; ok lol yea maybe not need to fjldaksfjkl;df;djlks

think we're maybe hopefully near a similar thing now

less time and less fully shut out but also selectively mute (just context not trying to compare at all lol)

v glad ur getting this and hopeful for myself

The universe has experienced itself, and it wants a refund

My expectation is “true zero days will be massively scarier due to ease of scaling, but most typical security flaws will be massively less common.”

Net result will be security moving to a “black swan” pattern where script kiddie stuff basically doesn’t work anymore but threat actors are terrifying.

u do not always gotta throw an llm at it

liblisa does sorta similar stuff, could probs be adapted

having used claude extensively for the past couple of months, i think there is still a lot of value to understanding your code and steering it intentionally. the amount of incidental complexity claude accumulates otherwise (which mostly results in bugs that it can't ever fix reliably) is staggering.

Astronaut gun meme: Wait, it's all proxies and heuristics? Close enough

proof getting so close

closing in on actually lifting an industrial IR into the system to start tying the proof to tests over actual data a bit

but gosh it's gonna take a while longer and a bitch does have to sleep unfort

(not yet tho, i literally couldn't if i tried hard as i wanted rn)

… i remember i REALLY wanted to be able to make text arbitrarily small so i could take the limit of unicode art…

like i sorta wanted to write a device driver for this specifically??????

i have always been absurdly ambitious

(i had not yet wrote a fizzbuzz even (i had done hello world!!))

Hypothesis | The #1 Social Annotation Tool for Higher Education Hypothesis is the leading social annotation platform trusted by 300+ institutions to boost student engagement, comprehension, and critical thinking — seamlessly integrated into your LMS.

i wanna be able to do webannotation slash @margin.at slash hypothes.is style annotation and highlight and structured reference w/in a TUI kinda thing

and also refer to it OUTSIDE OF the session and have it make sense ambiently

... i am reminded of some shenanigans w/mplayer's unicode ascii art mode and some viewings of benny benassi's "satisfaction" when i was a youngin,,,

(the purely symbolic execution paper that i previously had found is this one! on compositional symbolic execution semantics formally specified in rocq.)