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

Recent Posts

• Formalizing a proof in Lean using Github copilot and canonical [video]
  by oton 6/11/2025, 2:09:12 PM with 1 comment
• Qwen3 Embedding: Advancing Text Embedding and Reranking with Foundation Models
  by oton 6/11/2025, 1:09:58 AM with 0 comments
• Sushi Roll: A CPU research kernel for micro-architectural introspection (2019)
  by oton 6/7/2025, 3:33:32 PM with 0 comments
• Formal Modeling and Analysis of Distributed (Event-Driven) Systems
  by oton 6/1/2025, 1:22:50 AM with 1 comment
• Linear scalable read-write lock
  by oton 5/14/2025, 11:30:39 AM with 0 comments
• Apple airlifts 600 tons of iPhones from India 'to beat' Trump tariffs
  by oton 4/10/2025, 7:28:51 PM with 1 comment
• Trump signs order to establish a sovereign wealth fund that could buy TikTok
  by oton 2/3/2025, 8:08:15 PM with 2 comments
• Strobelight: A profiling service built on open source technology
  by oton 1/23/2025, 9:15:45 AM with 0 comments
• AWS re:Invent 2024 – Dive deep on Amazon S3 [video]
  by oton 1/2/2025, 1:19:30 PM with 0 comments
• Stack-based graph traversal ≠ depth first search
  by oton 10/28/2024, 11:47:45 AM with 0 comments
• Why So Few Matt Levines?
  by oton 9/25/2024, 2:59:10 PM with 3 comments
• Uv: An fast Python package and project manager, written in Rust
  by oton 8/20/2024, 10:49:54 PM with 1 comment
• Twitter Takeover Is Now the Worst Buyout for Banks Since the Financial Crisis
  by oton 8/20/2024, 12:01:18 PM with 6 comments
• The Greenwich Meridian is in the wrong place [video]
  by oton 8/16/2024, 8:46:03 PM with 0 comments
• Design doesn't have to end like this
  by oton 8/1/2024, 1:13:13 PM with 1 comment
• Meta 2Q'24 Update
  by oton 8/1/2024, 10:04:00 AM with 0 comments
• Bing Generative Search
  by oton 7/25/2024, 10:34:12 PM with 1 comment
• Phi-3 fine-tuning, new generative AI models
  by oton 7/25/2024, 8:10:24 PM with 0 comments