Профиль

... you could prototype this *from* framework dongles, they're literally just usb-c on the back end

oh there are absolutely topical venues, but I think they'd want me to rewrite both papers myself (there are two papers now, one just on the palindrome result and one a broader theorem conditional on OVH/SETH, which is probably the more interesting result)

well, not that I expect there's anywhere I *can* publish them other than arxiv, but it's not like I'm going after tenure either

brompton, batavus, specialized, urtopia

my field linguistics class in grad school was taught by an austronesian linguist, and we each had to pick a language in the family for our term papers. I picked rukai

fur slilters

an exploit is literally a constructive existence proof of an unintended computation path

polish cavalry did in fact charge german motorized infantry during the invasion of poland, but the story about them charging tanks is a myth also they had swapped the lances for anti-tank rifles already

always nice when people can vibe with my weird metaphors, tyvm

right. you still have to get from attacker-supplied data to putting that data where it can be accessed/loaded, but there are many many techniques for this just seeing the pattern should be enough to raise the hairs on the back of any sufficiently security minded person's neck

treating vuln families as verticals also helps with the scope, especially when informed by firsthand researcher observations. no need to brute force anything

this is where the metalogic part of the proposal comes in, asking "which maps fit the territory" "all entry points are true" is indeed the first step in finding arbitrary weird machines, "which are useful?" starts narrowing it down that philosophy postdoc role is absolutely load-bearing

that's what the other grad students are for, and you're a quick study, you'll pick it up by doing :)

as such it produces exactly the raw materials this program needs, and I can see it doing so for your purposes too

meanwhile the objective of the research program I mentioned is whether we can construct intermediate representations and program logics to characterize not only intended but unintended or even adversarial behavior sophie's work basically treats implementations as semantics ore and smelts them

probably don't let enemies do it either, since fire can spread so quickly, but if your enemies won't listen to sense, ultimately that's on them

keen. see I told you I could see a big picture :) now it's just on me and sergey to get it through the department, so I'll keep on him and keep you posted

you see how that slots right in to that "logics to order" proposal I sent you, I hope

I'm only an immigrant but I love it here and I'm never leaving

"get the united states military to pay european developers to write open source software" was a fun gig for the five years we were able to keep it up