Rural Electrification Administration
Last edited: August 8, 2025Rural Electrification Administration create electrification throughout cities. Most of American infrastructure still 1930s.
Russel Howard
Last edited: August 8, 2025Observations from studying the comedian Russel Howard.
- Stretching analogies
- Using language/motion/figure do describe something on the opposite end of the spectrum
- Take, for instance, age: 5Y/O: “cheers mum, wasen’t on my to-do list”
- A surprisingly sentimental dog: “because when I wake up tomorrow I want to see you, and I want to go for a lovely walk”
- Large motions + deadpan after
- Endless extrapolations of a normal setup: setup: Russian hackers were controlling people’s toys; punchline: “5 men were dildo’d to death, we don’t have a recording but here are their final words — ‘oh yeaaah’, ‘oh fuck yeaaah’”
Setup: gweneth paltro Punchline: “put an egg up there, you will feel more femenine. no! you will feel like a chicken”
Rust Paper
Last edited: August 8, 2025- if paper has software isolation using Rust, sort into software isolation categories
- if the paper does not, scan for incorrect claims and then sort into either irrelevant or wrong mutability (keywords: mutable, borrow, reference, invariant)
- IM/PUI does not cause an issue because of narrow extension interface (NetBricks)
- IM/PUI does cause an issue, and is handled
- IM/PUI does cause an issue, and is deferred to future work
- IM/PUI does cause an issue, and is ignored (RedLeaf, Splinter)
- No User Language Extension/No Isolation Needs
How many papers use Rust, how many use Rust for language extensions? (a count on these would be nice if possible)
Rust Systems Index
Last edited: August 8, 2025Setting the Stage
“What does the systems research landscape change when you start writing things in Rust? What are the most important open research challenges for software written in Rust?”
- GC is now a thing if you write go
- Lots of debugging tools were shaped by pointers, etc.
Lectures
Ruth 2025
Last edited: August 8, 2025One-Liner
Governments’ security guidance lack overall consensus in both formatting as well as actual practice; we find this out using treeeeees.
Novelty
- new tree similarity mechanism similar to edit distance
- first hand-labeled ontological dataset for security guidance
Notable Methods
- download security guidance
- label guidance into multi-level controls
- tree distance metric for similarity
