Settings

Theme

Alifatisk

Karma
5,219
Created
3 years ago

Recent Submissions

  1. 1. ▲ MiniZinc, constraint modelling language solve discrete optimisation problems (minizinc.org) 64 points · 17 days ago · 0 comments
  2. 2. ▲ Kimi vendor verifier – verify accuracy of inference providers (kimi.com) 310 points · 21 days ago · 33 comments

All submissions on HN · View profile on HN

Keyboard Shortcuts

j
Next item
k
Previous item
o / Enter
Open selected item
?
Show this help
Esc
Close modal / clear selection