Search: github.com/sjl | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

781.

Solving the NY Times "Pips" game with F#

github.com/brianberns

8 months ago

63 points

782.

Show HN: VirtualStorageLibrary – .NET Tree solutions for items, dirs, symlinks

shimodateakira.github.io

2 years ago

63 points

783.

Buster: Captcha Solver for Humans

github.com/dessant

7 years ago

61 points

784.

Barrier = Single keyboard/mouse solution for controlling multiple machines

github.com/debauchee

6 years ago

61 points

785.

Solitaire simulator for finding the best strategy: Current record is 8.590%

github.com/dacracot

2 months ago

60 points

786.

Mongoose IM 6.2.1 – Erlang Solutions robust, scalable and efficient XMPP server

2 years ago

60 points

787.

Show HN: Flipt – an open-source feature flag solution

github.com/markphelps

7 years ago

59 points

788.

Rendertron – a dockerized, headless Chrome rendering solution

github.com/GoogleChrome

9 years ago

59 points

789.

Pydantic-resolve, a hierarchical solution for data fetching and processing

github.com/allmonday

2 years ago

58 points

790.

Simple SAT Solver in Haskell

gist.github.com

14 years ago

57 points

791.

Show HN: Python 3 TSP solver based on LKH (cross platform)

github.com/dimitrovskif

7 years ago

57 points

792.

Tell HN: OpenAI can solve Leetcode problems

4 years ago

55 points

793.

PySolFC – A collection of Solitaire games for Python

github.com/shlomif

9 years ago

55 points

794.

WASM Builds of the Z3 SMT Solver

github.com/cpitclaudel

7 years ago

55 points

795.

Ventoy – Bootable USB Solution

github.com/ventoy

2 years ago

54 points

796.

Discharging Lean goals into SMT solvers

github.com/ufmg-smite

2 years ago

52 points

797.

Exporting image assets from ethereum smart contract with solidity

github.com/dezmou

5 years ago

50 points

798.

Solving Sudoku with the Python package resolver

github.com/konstin

2 years ago

49 points

799.

Frosted Glass/Panel Effect, Cross Browser Solution, Vanilla JavaScript and CSS

github.com/cryptodescriptor

7 years ago

48 points

800.

Solving a puzzle using the Isabelle proof assistant

gist.github.com

8 years ago

48 points

801.

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

a year ago

48 points

802.

Constrain – Interactive figures using declarative constraint solving

github.com/andrewcmyers

3 years ago

48 points

803.

C++ Code for Quantum Many Body Solutions with Artificial Neural Networks

github.com/HaoZeke

9 years ago

48 points

804.

Releasing my Texas holdem solver (opensourced)

github.com/bupticybee

5 years ago

47 points

805.

Show HN: Chainloop, A Software Supply Chain Attestation solution devs won't hate

github.com/chainloop-dev

3 years ago

45 points

806.

Demos of Stream Processing Solving Real-World Problems

github.com/risingwavelabs

a year ago

45 points

807.

Tasklets: a more ergonomic solution to WebWorkers

github.com/GoogleChromeLabs

9 years ago

44 points

808.

Solitaire with text-based interface in C

github.com/jborza

6 years ago

44 points

809.

Proof-of-Work is the only solution to Byzantine Generals' problem

gist.github.com

8 years ago

41 points

810.

Show HN: Solving the ~95% legislative coverage gap using LLM's

6 months ago

41 points