Search: github.com/probml | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

451.

Cvxpy: A Python-embedded modeling language for convex optimization problems (github.com/cvxpy)

1 point

6 months ago

452.

MAPF-GPT – a deep learning-based model for solving MAPF problems (github.com/CognitiveAISystems)

1 point

6 months ago

453.

Show HN: Dancing Links (DLX) algorithm to solve Exact Cover problems (github.com/sc546)

1 point

9 months ago

454.

Show HN: A Discord bot that help users keep their problem-solving streaks (github.com/mohyware)

1 point

9 months ago

455.

7:05 AM PST Github down - investigating database problems

1 point

14 years ago

456.

Ocean SDK is D-Wave's suite of tools for solving hard problems with OCs (github.com/dwavesystems)

1 point

a year ago

457.

C++/Rust Interoperability Problem Statement (github.com/rustfoundation)

1 point

a year ago

458.

Flyby11 (FlybyScript) Windows 11 for All – No Specs, No Problem (github.com/builtbybel)

1 point

a year ago

459.

React Scan v0.2.0: A new way to debug React performance problems (github.com/aidenybai)

1 point

a year ago

460.

Show HN: Solving the Millionaires' Problem in Rust (github.com/vaktibabat)

1 point

a year ago

461.

Raetsel: Challenging abstract problems/puzzles and solutions in Ruby (github.com/dunkelziffer)

1 point

a year ago

462.

Up: Troubleshoot problems with your Internet connection (github.com/jesusprubio)

1 point

2 years ago

463.

Poly. Solving the Expression Problem in C++11 (github.com/pyrtsa)

1 point

14 years ago

464.

CLI Tool to Solve Module import problems in C (github.com/OUIsolutions)

1 point

2 years ago

465.

An attempt at solving the factorization problem using LLL [pdf] (github.com/Big-polar-bear)

1 point

2 years ago

466.

LongWriter solves the problem of LLM having inconsistent context or information (github.com/THUDM)

1 point

2 years ago

467.

Bitbucket Has Problems – The Deployment History View (gist.github.com)

1 point

2 years ago

468.

Monty Hall Problem Simulation (github.com/MichaelBagnasco)

1 point

2 years ago

469.

Pricing AI is a unit based problem (github.com/getlago)

1 point

2 years ago

470.

Show HN: Work on a cssbattle.dev Problem Together (github.com/ebanner)

1 point

2 years ago

471.

A Git user's guide to SVN (because at least 10 of us have that problem) (github.com/garethrees)

1 point

14 years ago

472.

Show HN: Algorithm Problems Upsolver Test Helper Suite (github.com/kaashmonee)

1 point

2 years ago

473.

Finite-WASM: Cheating a little to solve the halting problem at scale (github.com/near)

1 point

3 years ago

474.

Vulkan Problem Statement (github.com/KhronosGroup)

1 point

3 years ago

475.

Zama Bounty Program: write tutorials, solve crypto problems and get $ (github.com/zama-ai)

1 point

3 years ago

476.

Generative Problem Solving with Large Language Models (github.com/norvig)

1 point

3 years ago

477.

Highly optimized solution for Word Chains problem (gist.github.com)

1 point

14 years ago

478.

Cutting Stock Problem 1D (github.com/emadehsan)

1 point

4 years ago

479.

Solving the Mouselook Problem in JavaScript with Scroll (ejones.github.com)

1 point

15 years ago

480.

Show HN: The parametric FizzBuzz problem is more interesting than the original (github.com/mobiledatabooks)

1 point

4 years ago