Moved to BlueSky https://xitter.cf/t.co/99G8nxnqVm
New York, USA
Joined May 2009
- Tweets15.8K
- Following2.7K
- Followers2.1K
- Likes77.8K
Pinned Tweet
For those unable to attend, here is the video of my talk about the rsync algorithm: paperswelove.org/2017/video/… #rsync @paperswelovenyc
Camilo Aguilar retweeted
Claude Mythos is Delusional
Introducing Project Glasswing: an urgent initiative to help secure the world’s most critical software.
It’s powered by our newest frontier model, Claude Mythos Preview, which can find software vulnerabilities better than all but the most skilled humans.
anthropic.com/glasswing
Camilo Aguilar retweeted
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: faabian.github.io/algebraic-…
> Codebase+preprint: github.com/facebookresearch/…
1/7
Camilo Aguilar retweeted
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). 🧵
We wrote a bit about how we responded to the #gcp outage at @redpandadata redpanda.com/blog/gcp-outage…
Preparing my exit from X and into Bluesky. I can’t take the spam anymore, and of course, the new owner.
3 types of child-locks for sliding deck doors, and they all assume the child can’t reach the lock 🤦🏻♂️ #greatdesigns
I heard someone call “Merchants of complexity” to some folks who love to add complexity to solve simple problems, instead of solving from first principles. I couldn’t have thought of a better title.
1/2 Traditionally, we all have had to isolate workloads by type, so they don't affect each other SLOs, which can and do conflict. Redpanda One allows teams to meet different and conflicting non-functional requirements, with the same Redpanda cluster.
redpanda.com/blog/redpanda-o…
There is probably a very healthy business in helping Azure customers migrate to AWS or GCP because they can’t really grow their business with @Azure’s crappy capacity planning .
AI models are not going to replace people, they are going to enhance them. Execs without full understanding of true model capabilities should stop spreading FUD.
Camilo Aguilar retweeted
✨ With great power comes great simplicity ✨
If there's one thing that distinguishes Redpanda's #BYOC offering from the rest, it's "data plane atomicity." Simply put, it means that even if your data plane goes down, your application stays up 🤘
That's what true BYOC is all about — better security and reliability for #streamingdata apps, and architectural simplicity for #engineers.
Read the full write-up from our Founding Panda @emaxerrno on the #data principles our BYOC is built on and how we're shaping a simpler #cloud-first future👇
redpanda.com/blog/byoc-data-…
Do you want to try
@redpandadata
serverless for free? Create a cluster in seconds here: cloud.redpanda.com/sign-up
#kafka #serverless
Worst mistake a startup can make is to focus on trends or pleasing VCs instead of adding true value to its customers. Usually, what adds true value is not what’s trendy.
I’m not sure you can compare what TCP/IP is to Linux with what k8s is to datacenters. K8s isn’t general purpose. Its design is heavily biased towards running stateless services. Statefulsets are not even close to being useful at running stateful workloads reliably at scale.
I’ve been deeply into Azure the last 4 months. It feels much better than GCP but still below AWS. The only complain is the single Entra ID per tenant, shared across all subscriptions. A single point of failure. In this regard, I prefer the decentralized approach AWS took.
Camilo Aguilar retweeted
“It’s the only product at a technical level that can be deployed from edge devices, all the way to the largest cloud workloads.”
@emaxerrno shares details on @RedpandaData's acquisition of Benthos and delivering an end-to-end streaming data platform — tcrn.ch/4bEpL1z