heartpunk (sophie!!)

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.)

Abstract—Due to a limited learning budget, a reinforcement learning agent can only explore the most probable scenarios out of a potentially rich and complex environment dynamics. This may result in a limited understanding of the context and low robustness of the learned policy. A possible approach to address this problem is to explore the interactions between an autonomous agent and environment in rare but important situations. We propose SymSeed, a method for initializing learning episodes for the class of reinforcement learning problems for which a simulation environment (model) is available. This increases the chance of exposing the agent to interesting states during learning. Inspired by techniques for increasing coverage in testing of software, we analyze the simulator implementation using symbolic execution. Then we generate initial states that ensure that the agent explores the simulator dynamics well during learning. We evaluate SymSeed by feeding the generated states into well-known reinforcement learning algorithms, both tabular and approximating methods, including vanilla QLearning, DQN, PPO, A3C, SAC, TD3, and CAT-RL. In all test cases, the combination of SymSeed with uniform sampling from the entire state space enables all algorithms to achieve faster convergence and higher success rates than the baseline. The effect is particularly strong in presence of sparse rewards or local optima.Index Terms—Reinforcement Learning, Symbolic Execution, Initialization

y'all ai ppls this paper from one of the ppl who's part of one of the best symbolic execution papers i've seen did something about... symbolically executing the fucking reinforcement learning gym jflkdsafjklasdfjkldasfasdkl;

to construct inputs in new unexplored areas of state space?????

that's really cool!!!

omg i wanna do such absurd thigns in my terminal emulator lol

meeeee tooooooo

have fun!!

YES

PLEASE

(Bad Chemistry™ always reminds me of two books:

Zodiac by Neal Stephenson

and

Ignition, which is a history of rocketry and jet fuel in particular, by someone who was there, and,,, wow the stories

(also a foreward by asimov!))

i really need to make that manim to lean thinger at some point but i have to stop obsessing about this one proof first!