Shaun Davis

Software Engineer at @flydotio. Previously @ibm and @composeio.

[Shaun Davis @davissp14]

@zuess05 In critical software, code generation isn't the bottleneck. Verification is. Messy code is what turns a 3-hour change into a 3-day exercise in proving it's safe.

[Thomas H. Ptacek @tqbf]

Alex wrote an MCP server for Sprites, and Kurt is in his feels about it. Still, even if you're using MCP to do it, "On a new Sprite, do XYZ" is a cool feature for an agent to have. https://t.co/Q2o6fj3re7

[Shaun Davis @davissp14]

@rvivek Code generation is cheap, but validation is expensive.

[Shaun Davis @davissp14]

@mattvanswol I've been fighting with similar questions the last couple of years... The best i've come up with is: Social skills, critical thinking and being adaptable...

[Shaun Davis @davissp14]

@BrianNorgard Yep...

[Shaun Davis @davissp14]

@rasmalai The direction we are going isn't well suited for capitalism. We are going to have to transition to something new. What that will look like is the big open question.

[Shaun Davis @davissp14]

@nicbarkeragain To be fair, I never particularly enjoyed reviewing non-llm generated code either.

[Shaun Davis @davissp14]

@xoaanya We are moving toward JIT software.
Security will be the hard technical limit.
Systems thinking is the new leverage.

[Shaun Davis @davissp14]

@Coinvo Semantics. It's illogical to think that Ai will replace software, but that says nothing about the role of humans creating it.

[Shaun Davis @davissp14]

@AdvicebyAimar @paulg I don’t think it’s generally a good idea for tech leaders to insert themselves into political wars. Their leverage comes from building useful, trusted systems, not from picking sides in volatile political conflicts.

[Ryan Dahl @rough__sea]

This has been said a thousand times before, but allow me to add my own voice: the era of humans writing code is over. Disturbing for those of us who identify as SWEs, but no less true. That's not to say SWEs don't have work to do, but writing syntax directly is not it.

[Shaun Davis @davissp14]

@hayesdev_ Very cool, but this seems like a bit of a security nightmare.

[Kyle Q (the DockerSlim guy) @kcqon]

Cool follow up post about the design behind the Sprites agent sandboxes from Fly dot IO (from Thomas Ptacek himself :-)) https://t.co/Gjqj2lyVH9

[Fly.io @flydotio]

We made a thing called Sprites that lets you run AI code safely. Watch Chris create sandboxes in seconds, let agents install packages freely, then restore to checkpoints when things go sideways.

🔗 ➡️ 🧵

[Mike Hostetler // Chief Agent Officer @mikehostetler]

Agent Sandboxes with https://t.co/mJ4nDOrzG1 from @flydotio

Shot a quick video walkthrough of my first Sprite sandboxes this morning

https://t.co/T1i1aWNfky

[Shaun Davis @davissp14]

@sama Sora 2 is both incredible and deeply disconcerting. The creative potential is undeniable, but the level of realism is beginning to edge into a form of manipulation, which i'm becoming increasingly less cool with. How do we prevent this from becoming a huge problem?

[Fly.io @flydotio]

Introducing https://t.co/OIjN3Kf7zE: An AI-powered Phoenix app builder running on Fly Machines. Build Elixir apps with an AI assistant that has its own headless Chrome to test what it builds! 🏗️

🔗 ➡ 🧵

[Shaun Davis @davissp14]

@acodechef Really just comes down to what your doing.

[Shaun Davis @davissp14]

@acodechef Haha. Well, there are some circumstances where it could make sense. Like, high durability systems like Etcd will write each change to WAL and persist it to stable storage before replicating it.