Search: github.com/nikswamy | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

FStar: An ML-like language with a type system for program verification (github.com/nikswamy)

6 points

12 years ago

2.

Show HN: Faster more accurate multimodal vector search (github.com/nickswami)

3 points

2 months ago

3.

Show HN: Dynamic Hybrid Search That Beats Pure Dense and Fixed Hybrid (github.com/nickswami)

1 point

a month ago