A leanblueprint for formalizing Hamilton's 1982 Ricci flow theorem in Lean 4 / Mathlib

Lean 4 programming language and theorem prover

An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics

The Lean Computer Science Library (CSLib)

The math library of Lean 4

Lean math proofs generated by AlphaProof Nexus and accompanying natural language prose proofs.

Readings on computational logic, interactive theorem proving and functional programming.

Ray is an AI compute engine. Ray consists of a core distributed runtime and a set of AI Libraries for accelerating ML workloads.

ML/RL talks

Unified serving layer for non-text foundation models

Examples of programs built using Modal

Cogito ergo sum

🦘 Explore multimedia datasets at scale

Machine Learning Interviews from FAANG, Snapchat, LinkedIn. I have offers from Snapchat, Coupang, Stitchfix etc. Blog: mlengineer.io.

The Julia Programming Language

A Git command and hook written in Python to manage multiple Git accounts / user identities.