Search: github.com/Theo- | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

391.

Show HN: Sostactic – polynomial inequalities using sums-of-squares in Lean (github.com/mmaaz-git)

14 points

2 months ago

392.

Show HN: SpongeCake – open-source SDK for OpenAI computer use agents (github.com/aditya-nadkarni)

13 points

a year ago

393.

Show HN: Learning to (Learn at Test Time)

13 points

2 years ago

394.

Show HN: WFGY – A reasoning engine that repairs LLM logic without retraining (github.com/onestardao)

11 points

a year ago

395.

Show HN: LLM Aided Transcription Improvement (github.com/Dicklesworthstone)

11 points

2 years ago

396.

Ask HN: What's the prerequisite to become an exploit developer?

10 points

9 years ago

397.

Show HN: Inception: Automatic Rust Trait Implementation by Induction (github.com/nicksenger)

10 points

9 months ago

398.

Show HN: Logos of Aether – Rebuilding Physics Without Zero or Empty Space (github.com/chrisnchips42-blip)

10 points

5 months ago

399.

Show HN: An open-source Operator that can use computers (github.com/aditya-nadkarni)

9 points

a year ago

400.

Terraform requires a DAG. AWS allows cycles. Here's how I map the difference.

9 points

4 months ago

401.

Show HN: The Thiele Machine – Coq-Verified Computational Model Beyond Turing (github.com/sethirus)

9 points

5 months ago

402.

Show HN: Forensic evidence of iOS mesh networking bypassing Airplane Mode (github.com/JGoyd)

8 points

5 months ago

403.

Show HN: Coderive – Iterating through 1 Quintillion Inside a Loop in just 50ms (github.com/DanexCodr)

8 points

5 months ago

404.

Show HN: The Atlas – I Built a 3D Universe Simulation with Python and Three.js (github.com/SurceBeats)

8 points

9 months ago

405.

Show HN: Pathetic – Java pathfinding: 10k concurrent paths in ~7ms (github.com/bsommerfeld)

8 points

a month ago

406.

Show HN: Open-Source Visual Wiki Your Coding Agent Writes for You (docs.davia.ai)

8 points

7 months ago

407.

Show HN: Open-source editable wiki with whiteboards for your codebase (davia.ai)

8 points

7 months ago

408.

Show HN: Connect any Open Data to Claude (and soon, any other LLMs) (github.com/OpenDataMCP)

8 points

2 years ago

409.

Show HN: Are the Riemann Hypothesis and Navier-Stokes the Same Problem? (academia.edu)

7 points

5 months ago

410.

Ask HN: How will NLP models affect online discussion?

7 points

6 years ago

411.

Ask HN: starter books for learning about grammars, parsers and compilers?

7 points

michaelsbradley

13 years ago

412.

Show HN: Crystalline Protocol – A blockchain with a built-in "Logic Firewall" (github.com/deramazesaa-web)

7 points

5 months ago

413.

Show HN: Micro – apps without ads, algorithms or tracking (micro.mu)

6 points

2 months ago

414.

Ask HN: Why dead code detection in Python is harder than most tools admit

6 points

4 months ago

415.

Open-Source, Language-Agnostic Mutation Testing Tool Using LLM Agents

6 points

2 years ago

416.

Show HN: Cognee – Turn RAG and GraphRAG into custom dynamic semantic memory (github.com/topoteretes)

6 points

a year ago

417.

Bibliography of Recent BFT Algorithms (github.com/hellas-ai)

6 points

a year ago

418.

Announcing Flink-HTM – Anomaly Detection for Apache Flink

6 points

10 years ago

419.

Show HN: It's been nearly 50 years. Is SQL outdated? (github.com/SPLWare)

5 points

3 years ago

420.

Ask HN: How to Implement Ideas and when to leave them?

5 points

Imustaskforhelp

a year ago