ot

Joined 9/28/2010, 8:29:38 PM has 18140 karma

Giuseppe Ottaviano

I work at Meta on performance optimization

  - hp: http://www.di.unipi.it/~ottavian/
  - email: giuott@gmail.com
  - twitter: @ot_y

Posts

Formalizing a proof in Lean using Github copilot and canonical [video]
by ot on 6/11/2025, 2:09:12 PM with 0 comments
Qwen3 Embedding: Advancing Text Embedding and Reranking with Foundation Models
by ot on 6/11/2025, 1:09:58 AM with 0 comments
Sushi Roll: A CPU research kernel for micro-architectural introspection (2019)
by ot on 6/7/2025, 3:33:32 PM with 0 comments
Formal Modeling and Analysis of Distributed (Event-Driven) Systems
by ot on 6/1/2025, 1:22:50 AM with 1 comments
Linear scalable read-write lock
by ot on 5/14/2025, 11:30:39 AM with 0 comments
Apple airlifts 600 tons of iPhones from India 'to beat' Trump tariffs
by ot on 4/10/2025, 7:28:51 PM with 0 comments
Trump signs order to establish a sovereign wealth fund that could buy TikTok
by ot on 2/3/2025, 8:08:15 PM with 1 comments
Strobelight: A profiling service built on open source technology
by ot on 1/23/2025, 9:15:45 AM with 0 comments
AWS re:Invent 2024 – Dive deep on Amazon S3 [video]
by ot on 1/2/2025, 1:19:30 PM with 0 comments
Stack-based graph traversal ≠ depth first search
by ot on 10/28/2024, 11:47:45 AM with 0 comments
Why So Few Matt Levines?
by ot on 9/25/2024, 2:59:10 PM with 2 comments