Camilo Aguilar

Moved to BlueSky

[Camilo Aguilar @c4milo]

For those unable to attend, here is the video of my talk about the rsync algorithm: https://t.co/FhUAphHrfp #rsync @paperswelovenyc

[Camilo Aguilar @c4milo]

@pradeep24 @antirez Does it implement speculative decoding or not yet?

[Camilo Aguilar @c4milo]

@davidcrawshaw @jessfraz Congrats!

[Camilo Aguilar @c4milo]

@mytechceoo @albertadevs @getaxal TIP: Token Improvement Plan! LOL

[Camilo Aguilar @c4milo]

@lukOlejnik “Elegantly” LOL

[Camilo Aguilar @c4milo]

@yenkel @clairevo Meanwhile, people are still being interviewed ala leetcode

[Camilo Aguilar @c4milo]

@atmoio I had to rewatch it 😂, "my toaster doesn't wonder if you love it..."

[Mo @atmoio]

Claude Mythos is Delusional

[Fabian Gloeckle @FabianGloeckle]

A new milestone in automatic formalization:
We translated an entire graduate math textbook into Lean using 30K LLM agents.
Open-source, large-scale multi-agent inference that actually works
> Blueprint+Lean: https://t.co/YkhG2g1cWp
> Codebase+preprint: https://t.co/EH3IphOKZ3
1/7

[Pietro Monticone @PietroMonticone]

AI is increasingly changing how we do mathematics.

Erdős Problem #650, open for over 60 years, was solved a few weeks ago through a collaboration between human mathematicians, an informal reasoning model (GPT 5.4 Pro @OpenAI) and a formal one (Aristotle @HarmonicMath). 🧵

[Camilo Aguilar @c4milo]

@atmoio LOL

[Camilo Aguilar @c4milo]

@lennysan Hold my beer says https://t.co/JgSAnVx7Nx

[Camilo Aguilar @c4milo]

@benjitaylor Great UX.

[Camilo Aguilar @c4milo]

@leerob same, I’m writing a hypervisor type 2 like firecracker in Go without CGO, and with support also for MacOS VZ. I’m almost done and it has been probably 3 weeks since I started.

[Camilo Aguilar @c4milo]

MCP’s spec glancing over identity binding to sessions leaves me with a bad taste.

[Camilo Aguilar @c4milo]

We wrote a bit about how we responded to the #gcp outage at @redpandadata https://t.co/5kRgWmFLfx

[Camilo Aguilar @c4milo]

@MarcJBrooker There are 2 rules, no?
1. Multiply SLOs for serial deps
2. Multiply error budgets for parallel deps

[Camilo Aguilar @c4milo]

@c3l3si4n It seems non functional at the moment but it worked a couple of days ago, nice work!

[Camilo Aguilar @c4milo]

@Siggis_Man @craigkerstiens Thanks for adding more light. I guess then their approach to architecture isn’t as cellular as AWS’.

[Camilo Aguilar @c4milo]

@StartupArchive_ This is such as biased advice. It actually hurts quality and productivity: https://t.co/L7sodAdxED

[Camilo Aguilar @c4milo]

@craigkerstiens We all thought that until that outage.