Carlos Baquero

@xmal.bsky.social

Professor at FEUP University of Porto and researcher at INESC TEC. Distributed Systems and Data. Co-creator of CRDTs. Founder eurotux.com. Still searching for unknown unknowns. (🦋 July 2023) Web: https://cbaquero.github.io/web/

I start a sabbatical research year this September, will be doing contacts for short visits (still open to invites). As automation of reasoning expands, the contributions expected from humans will also be more ambitious. August, calm before the storm.

Bild

These vacations I don’t need a social media detox, I have mostly been parsimonious with that vice since a competing one has creeped in. What I will pursue is a AI assisted projects detox. Must get back to have ideas that just stay ideas and are not immediately executed.

Pfff. You young whippersnappers and your fancy machines. I run Kimi K3 locally, the old fashioned way: with pencil and paper, one matrix multiplication at a time.

When multiple agents reason in parallel it is easy to merge their textual outputs, but very hard to merge their, richer, latent abstractions. We provide a first solution to this problem that also delivers CRDT properties.

Bild

Can we merge latent spaces as we merge CRDT replicas? It works for two replicas with a CRDT-like design, and we can do federated querying without exposing the query to the LLMs that process the source data. Abstract and link in thread.

Bild

⏳ Long block — #950,100 found after 36 min. Pressure built up during the wait. ~3,750 txs cleared. Mempool: 55,546 txs · 12.9 vMB · median 0.3 sat/vB. Miner reward: 3.1775 BTC. btcweather.report