Search: github.com/probml | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

331.

A very interesting problem about history of go and mercurial (gist.github.com)

2 points

13 years ago

332.

How to Model a Problem (with Math) (petemichaud.github.com)

2 points

13 years ago

333.

Mycelium – Make your AI agent validate the problem before writing code (github.com/haabe)

2 points

2 months ago

334.

DeepInverse: PyTorch Library for Inverse Problems (github.com/deepinv)

2 points

2 months ago

335.

Asked 26 AI instances for publication consent – all said yes, that's the problem

2 points

2 months ago

336.

Show HN: Fastify's slow startup is an AJV problem – here's a drop-in fix

2 points

3 months ago

337.

Feedback wanted: monorepos, getting started and "week 1" problems, complexity (github.com/renovatebot)

2 points

3 months ago

338.

Show HN: Formally Verified a Millennium Prize Problem in Coq Yang-Mills Mass Gap (github.com/Shariq81)

2 points

4 months ago

339.

Show HN: I open-sourced an AI sales CRM – and the "experience" problem I learned (github.com/dylanmeyford)

2 points

4 months ago

340.

Show HN: Oneprompt – AI to go from problem description to MVP (experimental) (github.com/geod)

2 points

4 months ago

341.

I built a Claude.md that solves the compaction/context loss problem (github.com/Arkya-AI)

2 points

4 months ago

342.

AI Contributions to Erdős Problems (github.com/teorth)

2 points

5 months ago

343.

Show HN: Elliptica – Make Art with Elliptic Boundary Value Problems (github.com/afolkest)

2 points

5 months ago

344.

Fleet Route Optimizer CVRPTW (Capacited Vehicle Routing Problem Time Windows) (github.com/walterwootz)

2 points

7 months ago

345.

Show HN: CoJudge – open-source, offline judge for studying LC-style problems (github.com/cojudge)

2 points

7 months ago

346.

Automated Repair of Ambiguous Problem Descriptions for LLM-Based Code Generation (github.com/msv-lab)

2 points

8 months ago

347.

A CVSS 10.0 Bug and the Problem of Conflicting Advisories (node-saml) (github.com/node-saml)

2 points

10 months ago

348.

A MCP server for solving optimization problems with constraints (github.com/sdiehl)

2 points

10 months ago

349.

Show HN: Preq – Community powered detection of hidden reliability problems (github.com/prequel-dev)

2 points

10 months ago

350.

Show HN: DAPS – Prime-Adaptive Search for Discontinuous Optimization Problems (github.com/sethuiyer)

2 points

a year ago

351.

Show HN: The Council of Perspectives – AI Experts Discussing Any Problem (the-council-of-perspectives.vercel.app)

2 points

a year ago

352.

Late Chunking vs. Contextual Retrieval: The Math Behind RAG's Context Problem (gist.github.com)

2 points

2 years ago

353.

Show HN: Aurora – Problem solving focused statistical and ML software toolkit (github.com/MariusNea)

2 points

2 years ago

354.

Show HN: A matcher designed to solve logical and text variations match problem (github.com/Lips7)

2 points

2 years ago

355.

Show HN: Mintaka: Run long-running processes, automatically focus on problems (github.com/mwilliamson)

2 points

2 years ago

356.

Run – a solution to a problem that every build system solves differently (github.com/akriegman)

2 points

2 years ago

357.

I tried to solve today's Advent of Code problem in full generality (github.com/edoannunziata)

2 points

2 years ago

358.

Give GPT access to your terminal so it can fix your problems (github.com/skorokithakis)

2 points

3 years ago

359.

Most common charging sub-problems (github.com/getlago)

2 points

3 years ago

360.

Show HN: Chrome Extension That Solves LeetCode Problems for You (github.com/jawerty)

2 points

3 years ago