HN Explorer

kulikov009

↗ HN profile [ 63.0 ms ] full profile
Karma
134
Created
February 28, 2021 (5y ago)
Submissions
0
  1. Toy package manager under 200 SLOC on top of SAT solver (yurichev.com)
    3 points 0
  2. Mathematical Recipes [pdf] (math.recipes)
    5 points 3
  3. Sat/SMT by Example [pdf] (sat-smt.codes)
    2 points 0
  4. Fuzzy string matching and simplest possible spellchecking and hunting for typos (yurichev.com)
    3 points 1
  5. Sat/SMT by Example [pdf] (sat-smt.codes)
    2 points 0
  6. Find CRC Utility (i-j-k.xyz)
    3 points 0
  7. Autocomplete Using Markov Chains (yurichev.com)
    1 points 0
  8. Sat/SMT by Example free eBook [pdf] (sat-smt.codes)
    1 points 0
  9. Sat/SMT by Example free eBook [pdf] (sat-smt.codes)
    1 points 0
  10. Cracking Simple LCG PRNG (yurichev.com)
    1 points 0
  11. Impact of order of files in tar archive on compressed size (yurichev.com)
    1 points 0
  12. Cracking Simple LCG PRNG (yurichev.com)
    1 points 0
  13. Impact of order of files in tar archive on compressed size (yurichev.com)
    1 points 0
  14. IEEE 754 round-off errors (yurichev.com)
    78 points 60
  15. Make shortest cables in your rack using simulated annealing (yurichev.com)
    1 points 0
  16. Solving Martin Gardner's chess problem using simulated annealing (yurichev.com)
    2 points 0
  17. Fuzzy string matching and simplest possible spellchecking and hunting for typos (yurichev.com)
    2 points 0
  18. Bayes Classifier for Your Books (yurichev.com)
    2 points 0
  19. Rolling hash; Rabin-Karp string search (yurichev.com)
    131 points 22
  20. IEEE 754 round-off errors (yurichev.com)
    2 points 0
  21. Fun with regular expressions: part I (yurichev.com)
    74 points 34
  22. Remove longest common prefix from a group of filenames, using Racket (i-j-k.xyz)
    2 points 0
  23. Deciphering Uber rating using Racket (i-j-k.xyz)
    3 points 0
  24. Sat/SMT by Example [pdf] (sat-smt.codes)
    1 points 0