S★m V★rm★Holy shit you guys we just watched #Artemis go from the plane
(Edit: I posted videos in the replies, if that's of interest❤️)
Anthony Cowley
@acowley
- 594 Followers
- 376 Following
- 3.1K Posts
Functional roboticist.
Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
newpipe baby@rocq is this true??
deech
luna, friend of eggbug
Slava Pestov@joe Your scientists were so preoccupied with whether or not they couldzilla, they didn't stop to think if they shouldzilla
allisonwhen there's a little edge case that doesn't *quite* fit your abstraction, so you handle it with a little if/else to get things working. but then later a second little edge case pops up that has the same shape as the first and you're like "ohhh now i get it" and a better abstraction—the one you probably should have used in the first place—reveals itself to you
captain acab 
Expecting to see more like this, but good to really think about it: “Aver is a programming language for auditable AI-written code: verify in source, deploy with Rust, prove with Lean/Dafny”
It's not clear to me that the workflow of moving between spec, proof, deploy is really setup for iterative refinement the way I'd want here, but it's got a lot of good pieces!
Sarah Jackson
