Search: github.com/recurziv | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

271.

Show HN: SkillFortify, Formal verification for AI agents (auto-discovers) (github.com/varun369)

2 points

3 months ago

272.

Show HN: ZigZag – Generate Markdown code reports from directories (Zig) (github.com/LegationPro)

2 points

4 months ago

273.

Show HN: Eigent – the open source alternative of Cowork

2 points

5 months ago

274.

Show HN: minfern – Type inference for JavaScript without transpilation (github.com/sinelaw)

2 points

5 months ago

275.

Show HN: I reimplemented TRM – trains on Sudoku 6×6 in minutes on an A10 (github.com/olivkoch)

2 points

6 months ago

276.

Show HN: I'm created simple CLI-calendar without time.h

2 points

7 months ago

277.

Show HN: Auto File Organizer – Python CLI to sort messy folders by file type (github.com/ahmedul)

2 points

8 months ago

278.

Show HN: Helices Create a New Model of Deterministic Computation [pdf] (lambdalord.github.io)

2 points

a year ago

279.

Show HN: Jsonpak: JSON that is not bloated for Nim (github.com/planetis-m)

2 points

2 years ago

280.

Show HN: Mantella – Talk to AI-Powered NPCs in Skyrim (github.com/art-from-the-machine)

2 points

Art_F_T_Machine

3 years ago

281.

Show HN: GLP – Golang/Golang Inter-procedural taint analysis (github.com/hazyhaar)

2 points

3 months ago

282.

Show HN: Worktale, a local-first CLI to turn your Git history into a dev journal (worktale.org)

2 points

3 months ago

283.

Show HN: Prvctice,A personal OS I built solo that generates its own apps (github.com/prvctice)

2 points

3 months ago

284.

Show HN: Web Scout AI – Auto-discover every user journey (zero config) (github.com/apexkid)

2 points

3 months ago

285.

Show HN: I built a thinking framework for Claude (bengiaventures.github.io)

2 points

4 months ago

286.

Show HN: Productmap – local-first visual product planning for humans and agents (github.com/andrewchilds)

2 points

4 months ago

287.

Show HN: Protogen – An Autopoietic Autonomous World Model (github.com/jzkool)

2 points

hiddenarchitect

4 months ago

288.

Show HN: Long-horizon LLM coherence benchmark (500 cycles) (zenodo.org)

2 points

5 months ago

289.

Show HN: Protocol for Verified Ephemeral Broadcasting (github.com/skylessdev)

2 points

5 months ago

290.

Show HN: Stability First AI – Recovering memory without training data (github.com/vitali-sialedchyk)

2 points

5 months ago

291.

Show HN: postgres-graph-rag – High-precision Graph RAG native to PostgreSQL (github.com/h4gen)

2 points

5 months ago

292.

Show HN: Git-scope – Fast TUI for viewing Git status across many repos (github.com/Bharath-code)

2 points

6 months ago

293.

Show HN: Git-scope – Blazing TUI to manage 50 Git repos without CD-ing dirs (github.com/Bharath-code)

2 points

6 months ago

294.

Show HN: RIMC – An Alpha-Drift Framework for Finite-Speed Learning Markets (github.com/rimc-lab)

2 points

6 months ago

295.

Show HN: Visual GraphQL Query Builder (gqlvis.hadid.dev)

2 points

7 months ago

296.

Show HN: Isuckatbash – convert plain wording to zsh commands inline (gist.github.com)

2 points

7 months ago

297.

Show HN: Fst – Lightweight C utility for detailed directory statistics LGPL 3.0

2 points

9 months ago

298.

Show HN: Fur – a Git-like CLI for branching your chats and ideas (github.com/andrewrgarcia)

2 points

9 months ago

299.

Show HN: Persistent Mind Model – Portable AI Personas for Any LLM (github.com/scottonanski)

2 points

10 months ago

300.

Show HN: Creating a Binary Puzzle Game (taengo.vercel.app)

2 points

10 months ago