Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
991.
Sudoku solver using Z3-Prover (github.com/awkwardbunny)
4 points
brianhong
5 years ago
1 comment
992.
Solving Differential Equations with LLVM (github.com/bluescarni)
4 points
bluescarni
5 years ago
1 comment
993.
Show HN: Slsqp4j - a JVM Wrapper around the popular SLSQP solver (github.com/skew-markets)
4 points
jamesasefa
6 years ago
1 comment
994.
Show HN: goober, a 900B CSS-in-JS solution at the cost of peanuts (github.com/cristianbote)
4 points
cristianbote
7 years ago
1 comment
995.
Show HN: Solver for the game 24 in Python (github.com/chris-kuo)
4 points
panda88888
7 years ago
1 comment
996.
A C++ library for solving second-quantized Hamiltonians (github.com/dafer45)
4 points
dafer45
8 years ago
1 comment
997.
Show HN: zVault – A new deduplicating backup solution written in Rust (github.com/dswd)
4 points
dswd
9 years ago
1 comment
998.
Ask HN: Do you use a UI layout constraint solver?
4 points
prmph
9 years ago
1 comment
999.
PsiTransfer – Simple open source self-hosted file sharing solution (github.com/psi-4ward)
4 points
PsiTrax
9 years ago
1 comment
1000.
Show HN: Watch partial solar eclipse with an iOS device and an Apple TV (github.com/melomac)
4 points
melomac
11 years ago
discuss