Search: github.com/savashn | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

A modern microframework for web development in C (github.com/savashn)

5 points

a year ago

2.

Show HN: Spend weekend Claude tokens making your code bulletproof with Lean (github.com/savarin)

3 points

2 months ago

3.

Introduction to machine learning with pandas and scikit-learn (github.com/savarin)

3 points

12 years ago

4.

Show HN: Link proof assistant Lean to Claude, fix your code's hidden assumptions (github.com/savarin)

2 points

2 months ago

5.

Karpathy's microgpt as a book via Claude Code (github.com/savarin)

2 points

4 months ago

6.

Show HN: Minimal examples for compiling and running WebAssembly (github.com/savarin)

2 points

6 years ago

7.

Open Source Next.js Boilerplate (github.com/AliSiddique)

2 points

2 years ago

8.

Savant 0.2.4 Is Out: More Rust, Less GIL, New Samples and Features (github.com/insight-platform)

1 point

ivankudriavtsev

3 years ago

9.

Git vs. SVN: A Practice to Git-SVN GNU TeXmacs

1 point

8 years ago