Moved to BlueSky https://xitter.cf/t.co/99G8nxnqVm
New York, USA
Joined May 2009
- Tweets15.8K
- Following2.7K
- Followers2.1K
- Likes77.8K
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). 🧵
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-…
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
Camilo Aguilar retweeted
The Amazon rainforest doesn't just remove ~2 billions tons of CO2 every year. It also moves ~20 billions tons of water through evotranspiration, the so-called "flying rivers", critical for planetary balance.
I wish more people knew this.
Camilo Aguilar retweeted
I spent a week 3 years ago learning Kafka. Made the mistake of trying to run it locally, then spent hours "failing slowly" on MSK.
@redpandadata gives you access to serverless Kafka in ~10 seconds, no config. What a world.
Camilo Aguilar retweeted
📣 ANNOUNCEMENT: Redpanda Serverless is now on the menu!
Redpanda Serverless is the easiest and fastest way to begin streaming data with Redpanda. Start small and iterate on a budget. Absorb spikes and scale to zero! 🚀
From signup to #streamingdata in seconds — Redpanda Serverless delivers the #Kafka® API as an instantly available managed service. No infrastructure to manage. No unexpected costs. No long-term commitments.
Simplicity is the name of the game, so you can start fast and stay flexible with:
⚡ One-click cluster creation
📊 Predictable performance that automatically scales
🎉 Usage-based pricing, no fixed cost
Redpanda Serverless is currently released as Limited Availability on #AWS. Sign up for Serverless and see for yourself!👇
redpanda.com/blog/announcing…
Camilo Aguilar retweeted
This gorgeous new BBC chart shows how the coldest days on Earth now are warmer than the hottest days before the 1980s.
You know who predicted this would happen with near-perfect precision? Exxon Mobil scientists, in an internal report in 1982. Two versions of the same chart:
Camilo Aguilar retweeted
It was an unbelievable year for global climate.
As data is released in the first two weeks of January, you are going to be hearing all about these new climate change records. Apologies for all my graphs in advance!! 😬
Spiral below produced by @NASAViz: svs.gsfc.nasa.gov/5190/
Camilo Aguilar retweeted
Ever wondered what it feels like to destroy a Mars mission? This is my Mars Rover failure story.
chrislewicki.com/articles/fa…
Camilo Aguilar retweeted
There is a massive hole in the Ozone again, allowing cosmic rays to zap DNA, genetically modifying to #extinction any higher organism living within thousands of sq miles of this hole. Without the ozone layer, life would never exist on Earth
#ecology
Camilo Aguilar retweeted
How BYOC fits into your cloud governance framework redpanda.com/blog/fully-mana… via @redpandadata by @c4milo
Camilo Aguilar retweeted
If global temperature reaches +2°C, more than 2 billion people will experience periods of unsurvivable heat and humidity. With global temperature currently fast approaching 1.5°C, that catastrophe is potentially just 10 years away. Two parliaments.
phys.org/news/2023-10-climat…
Camilo Aguilar retweeted
☁️ Fully managed #cloud was unthinkable if you valued #compliance, data privacy, and data sovereignty.
With Bring Your Own Cloud (BYOC), you can have it all. But how does BYOC fit into your cloud #governance framework? Find all the answers in this post👇
redpanda.com/blog/fully-mana…
Camilo Aguilar retweeted
Climate change threshold is strikingly illustrated. The urgent call to tackle climate change has never been more palpable. Remember, we don't have a backup planet and time is of the essence.
At present, the global average temperature stands approximately at 1.26°C. It's remarkable to witness the profound impact that even a minor shift in this figure can exert. The reality of #ClimateChange is no longer theoretical, but an actual force that's transforming our world.
Camilo Aguilar retweeted
Is #fsync truly critical for #data consistency and durability? In this #techblog we prove that running #kafka without fsync can cause global data loss in a replicated non-byzantine system…
redpanda.com/blog/why-fsync-…
Camilo Aguilar retweeted
Two brain cells having a chat:
#neuroscience
Camilo Aguilar retweeted
CO2 traps heat, and human emissions have increased the amount of CO2 in the atmosphere by 50% since the industrial revolution.
But most folks don't know that we are not relying on models for this; we can directly measure the trapping of heat by CO2: nature.com/articles/nature14…
