Silkenweb Example: Hackernews Clone

ot

Giuseppe Ottaviano

I work at Meta on performance optimization

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

18142 karma

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

2 points by ot 4 weeks ago | 0 comments

Qwen3 Embedding: Advancing Text Embedding and Reranking with Foundation Models

1 point by ot 4 weeks ago | 0 comments

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

3 points by ot 1 month ago | 0 comments

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

2 points by ot 1 month ago | 1 comment

Linear scalable read-write lock

3 points by ot 1 month ago | 0 comments

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

10 points by ot 2 months ago | 0 comments

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

10 points by ot 5 months ago | 1 comment

Strobelight: A profiling service built on open source technology

2 points by ot 5 months ago | 0 comments

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

2 points by ot 6 months ago | 0 comments

Stack-based graph traversal ≠ depth first search

3 points by ot 8 months ago | 0 comments

Why So Few Matt Levines?

8 points by ot 9 months ago | 2 comments