ot

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