Search: github.com/probml | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

421.

GPT-Erdos – GPT 5.2 attempts to solve Erdos problems, reviewed by mathematicians

github.com/neelsomani

5 months ago

1 points

422.

Lean 4 formalization of Erdős Problem #848 – seeking review

github.com/The-Obstacle-Is-The-Way

5 months ago

vibecodermcswag

1 points

423.

AI Contributions to Erdős Problems

github.com/teorth

6 months ago

1 points

424.

React RSC Is Problematic

github.com/hviana

2 years ago

1 points

425.

PJB3005/Linux_sucks.md – Summary of all problems I have with the Linux Desktop

gist.github.com

2 years ago

betacollector64

1 points

426.

Show HN: Out of order execution in Jupyter notebooks is a solved problem

github.com/ipyflow

3 years ago

1 points

427.

Show HN: Wolf, Goat and Cabbage Problem

github.com/victorqribeiro

6 years ago

1 points

428.

Learn technology by solving real world production problem scenario

7 years ago

1 points

429.

Solving small algorithms and problems in a functional way

github.com/ashwinbhaskar

7 years ago

1 points

430.

Evoke: simple solution to the complicated problem of building software for C++

github.com/dascandy

8 years ago

1 points

431.

Show HN: Grammatical Evolution in Swift, Solving Santa Fe Trail Problem

github.com/werediver

8 years ago

1 points

432.

Show HN: Solving expression problem with bidirectional syntax translation

github.com/alehander42

11 years ago

1 points

433.

Cheryl's Murder – How to generate and solve logical deduction problems

github.com/shaungallagher

11 years ago

1 points

434.

It's not just superfish that's the problem

gist.github.com

11 years ago

1 points

435.

Solving TSP problem with ant colony optimization implemenatation in C and gtk

github.com/navidR

12 years ago

1 points

436.

Tell HN: Solving HtDP extra problem set. Hosting at Github.

17 years ago

1 points

437.

The problems with Laravel

gist.github.com

12 years ago

1 points

438.

Bitmessage has serious problems. (Lets fix them.)

github.com/Bitmessage

13 years ago

1 points

439.

idiomatic solution to this simple problem in your favorite language?

gist.github.com

13 years ago

1 points

440.

Alonso-packing: an NP-hard problem (pull request)

github.com/holmesal

13 years ago

1 points

441.

How to deal with the beginner's blank screen problem

gist.github.com

13 years ago

1 points

442.

Fix the blink problem of the anchor icon

gist.github.com

13 years ago

1 points

443.

Basic sanity checks when diagnosing server problems

github.com/BashtonLtd

14 years ago

1 points

444.

Show HN: 1pager: Fixing the AI verbosity problem

github.com/cfitzgerald-pd

6 days ago

1 points

445.

Ask HN: Are github.com previews broken on Slack?

2 months ago

1 points

446.

The AI coding config fragmentation problem nobody talks about

github.com/sampleXbro

2 months ago

1 points

447.

I solved NP‑complete problems by turning them into planets

github.com/TheAnalyticalAbsurdist

2 months ago

AbsurdityBureau

1 points

448.

Happiness is a maintenance problem, not a discovery problem

gist.github.com

3 months ago

1 points

449.

Speed-Of-Light ExecBench: A benchmark of real-world DL kernel problems

github.com/nvidia

3 months ago

1 points

450.

Show HN: Detecting problem–market drift with an OpenClaw agent

github.com/thomasbln

4 months ago

1 points