Search: github.com/blanchette | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Lean Book: The Hitchhiker's Guide to Logical Verification [pdf] (github.com/blanchette)

177 points

6 years ago

2.

The Hitchhiker’s Guide to Logical Verification [pdf] (github.com/blanchette)

4 points

6 years ago

3.

Show HN: I built a local AI-powered Ouija board with a fine-tuned 3B model (github.com/SurceBeats)

6 points

3 months ago