HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
FStar: An ML-like language with a type system for program verification
github.com/nikswamy
discuss
12 years ago
Rexxar
6 points
2.
▲
Show HN: Dynamic Hybrid Search That Beats Pure Dense and Fixed Hybrid
github.com/nickswami
1 comment
2 months ago
nickswami
1 points