Leo 🏴‍☠️

engineering & agents @cloudflare · typed actor maxxing since 2018 · ex @spotify @klarna · street photographer 📸

[Leo 🏴‍☠️ @leostera]

rushes to develop photos

[Leo 🏴‍☠️ @leostera]

oh well i’m 56 years too late

[Leo 🏴‍☠️ @leostera]

@RozenMD like getting shoes that fit _just right_

[Leo 🏴‍☠️ @leostera]

working with DOs is so interesting. there's so much stuff that the operating constraints rule out, that in a world of containers you'd just said "eh, O(n) works" and it'd work fine for large n's — but here your n's can only go so far before you start hitting time/space limits!

[Leo 🏴‍☠️ @leostera]

@mattzcarey imma start booking things so my adhd ass doesn’t forget! haha

[Leo 🏴‍☠️ @leostera]

it’s never been a better time to rebuild from first principles. hillclimbing with oracles, o11y, and evals is where it’s at.

[Leo 🏴‍☠️ @leostera]

@avenceslau @imluisduarte i may have something for you 👀

[Leo 🏴‍☠️ @leostera]

team monorepo needs today include

* copy-on-write worktrees
* full incremental graph builds/tests
* shared caches

and like most tooling was built for small repos!

so we are not there yet

[Matt Carey @mattzcarey]

hot take: unless you are willing to reimplement git / github (like anthropic), I think monorepos are an antipattern in an age of agents

the alternative is to keep things light and make a lovely cli/mcp for agents to do search over your org's code and docs without a checkout

[Leo 🏴‍☠️ @leostera]

@imluisduarte hah yeah the convincing everyone is NP hard++

[brandon @burcs]

for some reason my conference talk, "the truth behind cloudflare's edge network" keeps getting rejected...

[Leo 🏴‍☠️ @leostera]

@Shreyassanthu77 this is great! i think the best path to impact on the ecosystem would be to figure out how to integrate it in setup-dune/setup-ocaml/opam-ci — make CI faster and cross-compilation accessible to everyone

[Talia Ringer 🕊🪬 @TaliaRinger]

All of the people who hated on verification and type theory, and who called our research useless for years, should probably admit they were wrong now and maybe apologize for being mean while also being wrong

[zack @zack_overflow]

i’ve seen many people say “ai is bad at teaching and explaining concepts”

this is the biggest cope and skill issue ever

it literally gives you access to 99% of the world’s knowledge and you can ask it for infinite follow up questions, explanations, visuals, videos, analogies

[Leo 🏴‍☠️ @leostera]

back in london baby!

[Leo 🏴‍☠️ @leostera]

@hawkinsw i'm open to proposals! i'd recommend youopen an RFD PR first and we can discuss it there :)

[Leo 🏴‍☠️ @leostera]

@Shreyassanthu77 @sabine_s_ hey been touching grass in prague will get back to this this week 🙏

[Leo 🏴‍☠️ @leostera]

@threepointone @inababi @AnthropicAI @katelyn_lesse @angjiang 🤩🤩🤩

[Leo 🏴‍☠️ @leostera]

pi never lets down

[Leo 🏴‍☠️ @leostera]

@zebassembly hey i was just making an clonable, unpoppable stack!