luna, friend of eggbugwhat are we doing here man
Anthony Cowley
@acowley
- 594 Followers
- 375 Following
- 3.1K Posts
Functional roboticist.
Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
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
deechRE: https://mastodon.social/@danieldk/116256294767997210
ruff, uv, and ty are all really excellent so not at all surprised to see an acquisition. Turns out to make a business around developer tooling it helps to target a really popular ecosystem and do awesome work.
Daniël de KokAstral is getting bought by OpenAI 😭: https://astral.sh/blog/openai
Talked about delivery #robotics on a technology interview series. I hope it’s a decent overview of how we approach the business! https://www.youtube.com/watch?si=Ns-NbIrylR378oAa&v=cR7migPW9Fo&feature=youtu.be
