Camilo Aguilar

For those unable to attend, here is the video of my talk about the rsync algorithm: paperswelove.org/2017/video/cam… #rsync @paperswelovenyc

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

tested out @antirez' ds4.c this morning. so impressive and delivers. on a M3 max, 128GB, stock ds4 settings: - 14–15 t/s at 62K pre-filled actual coding conversation - memory usage was flat during gen ~85GB res - disk cache is ~8GB for a full 100K context window - thermals were normal, light fan activity - inference server is rock solid so far biggest constraint: anytime there's a compact, we pay the wait-time price of a fresh prefill (~1min per 10k context) before we are back in action. sequential inference + multiple agents in parallel performance is unclear, will report back. I'm so amped.

@davidcrawshaw @jessfraz Congrats!

We raised a Series A for exe.dev. We are going to build a new cloud. blog.exe.dev/series-a

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

CEO obsessed with token maxxing

@lukOlejnik “Elegantly” LOL

Physicist has written a fascinating big beautiful paper.Let’s not be afraid to call it what it is - groundbreaking. For hundreds of years, mathematics had dozens of “basic” functions: sine, cosine, logarithm, square root, exponential. You know these from school. Everyone does. Now it turns out that all of it is one single operator: E(x, y) = exp(x) - ln(y), and the constant 1. Sin, cos, π - everything follows from this neatly , just nest it properly. Nature hid the simplest possible description of reality. And it was just been found. The whole thing is beautiful and remarkable, here the word “groundbreaking” is not a marketing buzzword. For instance, instead of writing π or 3.14, one can now elegantly write E(E(E(1,E(E(1,E(1,E(E(1,E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(E(E(E(E(1,E(E(1,E(1,E(E(1,E(E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(E(1,E(E(1,E(E(1,E(E(1,1),1)),E(E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(1,1)),1))),1)),1)),1)),1))),1)),E(E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(E(1,E(E(1,E(1,E(E(1,E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(1,1))),1))),1)),1)),1)),1),1),1))),1))),1)),E(E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(E(1,E(E(1,E(1,E(E(1,E(E(1,E(E(1,E(1,E(E(1,1),1))),1)),E(1,1))),1))),1)),1)),1)),1) arxiv.org/abs/2603.21852

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

@clairevo almost as if speed was important to stay alive... x.com/yenkel/status/…

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

Claude Mythos is Delusional

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-comb… > Codebase+preprint: github.com/facebookresear… 1/7

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). 🧵

@atmoio LOL

AI is making CEOs delusional

@lennysan Hold my beer says carbonrobotics.com/laserweeder-g2

tl;dr Gardening is about to become the hottest new major

Can't stop staring at this image and thinking about what it means for the future

@benjitaylor Great UX.

Readout is free to use and I have no plans to monetize it. It's a fun product to work on, so if anyone has feedback/feature requests, I'm all ears. Enjoy! readout.org

Readout is a fully native macOS app I’ve been building for myself. It provides a real-time overview of your dev environment and Claude Code config. All local, no account required. It's still very much a beta, but now available to try: readout.org

@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.

I built a Rust-based image compressor, WASM binary, and SvelteKit app! I wanted to see how far I could go using only coding agents. I did not write any code by hand. After 520 agents, 350M tokens, and $287 I can now say… extremely far. leerob.com/pixo

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

We wrote a bit about how we responded to the #gcp outage at @redpandadata redpanda.com/blog/gcp-outag…

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

Availability intuition quiz! I have an architecture with N redundant components, each available 99% of time time, and one non-redundant component available 99.999% of the time. Sketch, on the provided axes, the end-to-end availability curve versus N.

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

In the past few months, I've been making a subdomains database containing 1.6 billion subdomains scrapped from multiple public (and private) sources. This database is now public and FREE and can be queried on the following website. dash.pugrecon.celes.in Enjoy!

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

@c4milo @craigkerstiens Looks like it was a bug in their internal database's replication configuration (a quorum was in the affected building) based on the incident report: status.cloud.google.com/incidents/dS9p… They do claim to have 3 separate buildings in the region that went unavailable

Single most confusing thing about AWS ever, my AZ us-east-1d may or may not be the same as your us-east-1d

@StartupArchive_ This is such as biased advice. It actually hurts quality and productivity: increment.com/teams/the-epis…

Elon Musk on what it means to work “super hard” “Depending on how well you want to do—particularly if you’re starting a company—you need to work super hard. What does ‘super hard’ mean? Well, when my brother and I were starting our first company, instead of getting an apartment we just rented a small office and slept on the couch. We showered at the YMCA. And we had just one computer so the website was up during the day and I was coding at night—seven days a week, all the time.” Elon recalls briefly having a girlfriend at the time who also had to sleep at the office if she wanted to be with him. And he frames the math of it as follows if you’re starting a company: “If somebody else is working 50 hours a week and you’re working 100, you’ll get twice as much done in the course of the year as the other company.” Video source: @USC (2014)

@craigkerstiens We all thought that until that outage.

@c4milo Oh that’s a new one, I was pretty sure AZ was always separate building, my understanding of us-east-1 was 5 AZs, but 13 or so datacenters