Search: github.com/solvingj | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

S.A.R.C.A.S.M: Slightly Annoying Rubik's Cube Automatic Solving Machine (github.com/vindar)

278 points

7 months ago

32.

Solving Advent of Code with jq (github.com/odnoletkov)

216 points

3 years ago

33.

Solving the first 100 Project Euler problems using 100 languages (github.com/jaredkrinke)

184 points

a year ago

34.

Optimize CSS with SAT Solving (github.com/matthewhague)

163 points

2 years ago

35.

Snabb Switch – A toolkit for solving novel problems in networking (github.com/SnabbCo)

137 points

12 years ago

36.

Solving a Dungeons and Dragons riddle using Prolog (gist.github.com)

127 points

3 years ago

37.

Problem Solving and Clojure 1.9 (2018) (github.com/matthiasn)

95 points

7 years ago

38.

Solving a physics problem symbolically with C# (gist.github.com)

87 points

11 years ago

39.

A Common Lisp library for solving linear programming problems (github.com/neil-lindquist)

86 points

7 years ago

40.

Solving State Explosion with Petri-Nets and Vector Clocks (github.com/bitwrap)

86 points

9 years ago

41.

Solving the NY Times "Pips" game with F# (github.com/brianberns)

63 points

7 months ago

42.

Solving Sudoku with the Python package resolver (github.com/konstin)

49 points

2 years ago

43.

Solving a puzzle using the Isabelle proof assistant (gist.github.com)

48 points

8 years ago

44.

Show HN: System Prompt Learning – LLMs Learn Problem-Solving from Experience

48 points

a year ago

45.

Constrain – Interactive figures using declarative constraint solving (github.com/andrewcmyers)

48 points

3 years ago

46.

Demos of Stream Processing Solving Real-World Problems (github.com/risingwavelabs)

45 points

a year ago

47.

Show HN: Solving the ~95% legislative coverage gap using LLM's (lustra.news)

41 points

6 months ago

48.

Show HN: IEEE Micromouse simulator – write and test maze-solving code (github.com/mackorone)

38 points

7 years ago

49.

Solving the KAYAK crossword puzzle with code (github.com/stepanbujnak)

34 points

11 years ago

50.

CompactLog – Solving CT Scalability with LSM-Trees (github.com/Barre)

30 points

a year ago

51.

Qbsolv – Solving QUBO Problems in D-Wave (github.com/dwavesystems)

23 points

9 years ago

52.

Show HN: Unicaps - a Python package for CAPTCHA solving (github.com/sergey-scat)

17 points

4 years ago

53.

A generic dependency solving tool in Ruby (github.com/CocoaPods)

15 points

11 years ago

54.

Lightning Flash: A collection of tasks for solving problems with deep learning (github.com/PyTorchLightning)

14 points

5 years ago

55.

Show HN: Solving complex optimization problems with Google OR-Tools in browser (github.com/Axelwickm)

12 points

2 days ago

56.

Solving the local optima problem – NQueens (github.com/Dpbm)

11 points

a year ago

57.

Atomic Display Switching: Solving (github.com/piot5)

9 points

2 months ago

58.

Solving the “N+1 Selects Problem” with Muse (github.com/kachayev)

9 points

11 years ago

59.

Solving the ESM in Node.js Odyssey (gist.github.com)

9 points

8 years ago

60.

Show HN: Solving Sudoku using PHP. (gist.github.com)

8 points

15 years ago