datascientist

Joined 16 years ago

Karma

878

Submissions

235

Member since

Sep 21

View on Hacker News

Recent submissions

AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura thedataexchange.media

74 datascientist 1 day ago 16 comments

Comment · 1 year ago

Mississippi Burning is one my favorite films https://en.wikipedia.org/wiki/Mississippi_Burning

Comment · 1 year ago

alternative link: http://archive.today/PJIHr

Comment · 1 year ago

https://gradientflow.com/the-moderation-dilemma-a-balanced-l...

Comment · 2 years ago

How does this relate to https://github.com/lancedb/lance

Comment · 2 years ago

also see https://gradientflow.com/open-source-principles-in-foundatio...