Dan Connolly

## error: you need to load the kernel first failure mode: when I boot from the hard disk, a UEFI shell starts but doesn't pass control to the next step....

## in-memory representation: protobuf? cap'n proto? Protobuf interop would be really nice; for cosmos explorers and such. But I suspect we'd grind our gears trying to fit object references in...

## Spritely / Oaken connection? I wonder to what extent the parsing-to-instructions approach applies to use in guile scheme? see also: - [jessie in scheme macros](https://github.com/dckc/rockit/blob/dc-james-macros/james-to-scheme.scm) - [Announcing Spritely Oaken...

## verified parse a la proof-carrying code? To save consumers from parsing without reducing trust, I wonder if a proof-of-correct parse would be economical. using idris? lean? There's that lean...

## Patterns and Schemas protobuf and cap'n proto tend to use structs with numbered fields where any names for the fields are not carried with the data. In end/Agoric, JSON...

## OCaps for AI: Dependencies The AI crank in this meme does a great job of expressing my concerns about the destabilizing impact of AI. But just like the Rust...

## rust : Hardened JS :: Formal Verification : Capability Security Capability security and formal verification are the best tools I see for managing the complexity in modern digital infrastructure....

feeling like this falls under "I need another project like I need a hole in the head."

> ... recall that thee snapshot capability of xsnap and Compartments are mutually exclusive at the moment. Interesting. I had certainly forgotten that, if I ever knew it.

Looks like this is a dup of https://github.com/Agoric/agoric-sdk/issues/2480 ; I was pretty sure we already had an issue for this. Maybe I'll close the one in agoric-sdk in favor of...