Systems software and first order logic. PhD from @SystemsGroupETH, then @vmwareresearch, MPI-SWS. Now eng @turbopuffer
Zürich, Switzerland
Joined September 2010
- Tweets1.2K
- Following471
- Followers548
- Likes1.3K
Andrea Lattuada retweeted
An incredible year for turbopuffer is closing. We now manage trillions of vectors and tens of petabytes. We’ve puffed up revenue 10x and headcount 5x.
We’ve helped Anthropic, Cursor, Notion and others connect every petabyte to AI to ship the most ambitious version of their product.
This week we doubled down with Lachy Groom and added Thrive Capital to the team. They have both proven themselves repeatedly to us over the past 2 years.
In 2025, we’ve proved the puffer architecture is capable of state-of-the-art vector and text search. Next year, we’ll continue to optimize the core and widen our surface area, to make it effortless to search every byte.
Papers We Love is back in Zürich! Join us for the first event of this new series on Thursday November 20th at ETH: Abhi will talk about the elegance and magic of Automatic Differentiation of programs (and how it's a generalization of backprop). meetup.com/papers-we-love-zu…
Andrea Lattuada retweeted
Xudong (@xu_dong_sun) will soon be on the job market. He is very determined to and well prepared for fundamental systems research on software correctness and reliability. If your department is hiring, give him a chance to show you his work and future plans.
#ILLINOIS CS students Xudong Sun, Wenjie Ma, Jiawei Tyler Gu, Zicheng Ma, professor Tianyin Xu, and their collaborators received the USENIX OSDI ‘24 Jay Lepreau Best Paper Award.
▶️ bit.ly/3YQgNKZ
ALT Xudong Sun giving a speech
Andrea Lattuada retweeted
Two best paper awards at OSDI for projects using the Rust verification tool Verus!
Co-leader of the Verus project Andrea Lattuada (@utaal) will be joining @mpi_sws_ as a research group leader in September, and is actively looking for strong students & postdocs to work on Verus!
Andrea Lattuada retweeted
Shout out to my AWESOME colleagues Wenjie Ma, @tylergu_jiawei , Zicheng Ma, @tchajed , Jon Howell, @utaal , Oded Padon, @_lalithsuresh , Adriana Szekeres, and @tianyin_xu !
Andrea Lattuada retweeted
you’ve heard of permaban, shadowban, etc, what if there’s a type of ban that makes all your messages show up at least 30 min later. i call it deutsche ban.
Andrea Lattuada retweeted
Optimist: The glass is ½ full.
Pessimist: The glass is ½ empty.
Excel: The glass is January 2nd.
Andrea Lattuada retweeted
it is a common misconception that the name “C++” is a joke implying that C++ is “one better than C”. in fact it implies that C++’s existence makes C seem better in comparison, due to its use of the post-increment operator.
Andrea Lattuada retweeted
🦀 Do you have an Option<String>, but need an Option<&str>?
Or do you have an Option<Vec<T>>, but want an Option<&[T]>?
Or do you have an Option<Box<T>>, but require an Option<&T>?
There's a method for that: Option::as_deref()! ✨
Works on everything that implements Deref. ✨
![// Box:
let a: Option<Box<Thing>> = Some(Box::new(Thing));
let b: Option<&Thing> = a.as_deref();
// Vec:
let a: Option<Vec<i32>> = Some(vec![1, 2, 3]);
let b: Option<&[i32]> = a.as_deref();
// String:
let a: Option<String> = Some(format!("{b:?}"));
let b: Option<&str> = a.as_deref();](https://pbs.twimg.com/media/FO9LE3VXsAM6CgI.jpg?name=orig)
ALT // Box: let a: Option<Box<Thing>> = Some(Box::new(Thing)); let b: Option<&Thing> = a.as_deref(); // Vec: let a: Option<Vec<i32>> = Some(vec![1, 2, 3]); let b: Option<&[i32]> = a.as_deref(); // String: let a: Option<String> = Some(format!("{b:?}")); let b: Option<&str> = a.as_deref();
Andrea Lattuada retweeted
Quando vi capita di rileggere la Costituzione, e volete avere un esempio, lampante, di cosa significhi “I cittadini cui sono affidate funzioni pubbliche hanno il dovere di adempierle con disciplina ed onore”, potete riguardare questo video. Grazie, signor Presidente.
la dichiarazione del Presidente #Mattarella dopo la comunicazione dell'esito della votazione da parte dei Presidenti di Senato e Camera
Andrea Lattuada retweeted
+++ MATTARELLA SI GIOCA L'ULTIMA CARTA: "OGGI HO CALCETTO" +++
[@leomorabito]
Andrea Lattuada retweeted
I just accidentally typed "unsafe" as "unsage" and now I'm wondering if my subconscious is trying to warn me
Andrea Lattuada retweeted
a popular myth is that people who are Very Computer have computers that work. nothing could be further from the truth. the Very Computer are capable of generating much more novel and fascinating ways to make computers not fucking work and exercise this capability wantonly
Andrea Lattuada retweeted
The challenge I’m doing this month is called October and it’s where I just try to get through every day of October
Andrea Lattuada retweeted
I have a lot more confidence in the reliability of services whose engineers say “I constantly worry that what happened at FB today could happen to us” than those who say “This could never happen to us."
Andrea Lattuada retweeted
![$ cargo +stable run
Compiling yolo-rustc-bootstrap v1.0.2
Compiling nightly-crimes v1.0.1
Hijacking this rustc process
Abusing proc macros
Enabling the forbidden environment variable
Tricking rustc 1.53.0
Recompiling nightly-crimes v1.0.1
Destroying stability guarantees
Finished the dirty work
Hiding all the evidence
Continuing as if nothing happened
Compiling scratchpad v0.1.0
Finished dev [unoptimized + debuginfo] target(s) in 0.98s
Running `target/debug/scratchpad`
Hello World!](https://pbs.twimg.com/media/E5XrVuRXwAAx4EA.jpg?name=orig)
ALT $ cargo +stable run Compiling yolo-rustc-bootstrap v1.0.2 Compiling nightly-crimes v1.0.1 Hijacking this rustc process Abusing proc macros Enabling the forbidden environment variable Tricking rustc 1.53.0 Recompiling nightly-crimes v1.0.1 Destroying stability guarantees Finished the dirty work Hiding all the evidence Continuing as if nothing happened Compiling scratchpad v0.1.0 Finished dev [unoptimized + debuginfo] target(s) in 0.98s Running `target/debug/scratchpad` Hello World!