from Hacker News

ot

joined 9/28/10, 8:29 PM has 18389 karma

  - Twitter: @ot_y
  - LinkedIn: www.linkedin.com/in/giuseppe-ottaviano-497b7b3

• Meta Superintelligence – Leadership Compute, Talent, and Data

  by ot on 7/12/25, 4:06 PM, with 1 comments

• Formalizing a proof in Lean using Github copilot and canonical [video]

  by ot on 6/11/25, 2:09 PM, with 0 comments

• Qwen3 Embedding: Advancing Text Embedding and Reranking with Foundation Models

  by ot on 6/11/25, 1:09 AM, with 0 comments

• Sushi Roll: A CPU research kernel for micro-architectural introspection (2019)

  by ot on 6/7/25, 3:33 PM, with 0 comments

• Formal Modeling and Analysis of Distributed (Event-Driven) Systems

  by ot on 6/1/25, 1:22 AM, with 1 comments

• Linear scalable read-write lock

  by ot on 5/14/25, 11:30 AM, with 0 comments

• Apple airlifts 600 tons of iPhones from India 'to beat' Trump tariffs

  by ot on 4/10/25, 7:28 PM, with 0 comments

• Trump signs order to establish a sovereign wealth fund that could buy TikTok

  by ot on 2/3/25, 8:08 PM, with 1 comments

• Strobelight: A profiling service built on open source technology

  by ot on 1/23/25, 9:15 AM, with 0 comments

• AWS re:Invent 2024 – Dive deep on Amazon S3 [video]

  by ot on 1/2/25, 1:19 PM, with 0 comments

• Stack-based graph traversal ≠ depth first search

  by ot on 10/28/24, 11:47 AM, with 0 comments