Search: github.com/rysolv | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

271.

Show HN: Provepy – A Python decorator that proves your code using Lean and LLMs

3 points

2 months ago

272.

Show HN: Autoschematic is a new infra-as-code tool built on reversible computing (github.com/autoschematic-sh)

3 points

3 months ago

273.

Show HN: Cognitive architecture for Claude Code – triggers, memory, docs (github.com/safety-quotient-lab)

3 points

3 months ago

274.

Show HN: Patterns for coordinating AI agents on real software projects (github.com/timothyjrainwater-lab)

3 points

3 months ago

275.

Show HN: DevBind – I made a Rust tool for zero-config local HTTPS and DNS (github.com/Its-Satyajit)

3 points

3 months ago

276.

Show HN: AI agent framework where dangerous actions are structurally unreachable (github.com/hibanaworks)

3 points

4 months ago

277.

Show HN: DeckOps – Anki ↔ Markdown with true bidirectional sync (github.com/visserle)

3 points

4 months ago

278.

Show HN: PowerKit for Tmux – 32 Plugins (github.com/fabioluciano)

3 points

6 months ago

279.

80.1 % on LoCoMo Long-Term Memory Benchmark with a pure open-source RAG pipeline

3 points

6 months ago

280.

Show HN: The Σ-Manifold Manifesto

3 points

7 months ago

281.

Show HN: We built a tool that finds root cause of bugs from logs and issues (hyperdrive.engineering)

3 points

a year ago

282.

Show HN: Gemini 2.5 is the best model for Kotlin and Android dev (firebender.com)

3 points

aman-firebender

a year ago

283.

Show HN: A pure TypeScript library for editing videos in the Browser (github.com/diffusionstudio)

3 points

a year ago

284.

Show HN: cfnlite - a simple and sensible CloudFormation generator (github.com/a777m)

3 points

a year ago

285.

Chat vs. Tab: What's the best way to do local AI dev? (github.com/continuedev)

3 points

2 years ago

286.

Show HN: Async alternative to Multer and Formidable (Node.js file upload lib) (github.com/rafasofizada)

3 points

3 years ago

287.

Show HN: Unidata – Providing Easy Access to Human-Friendly Web3 Data (unidata.app)

3 points

4 years ago

288.

InquirerPy: Another Python Port of Inquirer.js

3 points

5 years ago

289.

Show HN: Todo or else, a CLI for enforcing Todo deadlines (github.com/jbreckmckye)

2 points

3 months ago

290.

Show HN: PrismCat – Local transparent proxy and debugging console for LLM APIs (github.com/paopaoandlingyia)

2 points

10 days ago

291.

Show HN: EdgeAI-OS – Air-gapped Linux distro where AI is a system primitive

2 points

4 months ago

292.

Show HN: My progress towards building a robotics training dataset (app.rerun.io)

2 points

a year ago

293.

How do I push to a repository in GitHub in a situation like this?

2 points

shivajikobardan

3 years ago

294.

Ask HN: Can I keep using the MIT-licensed version of Handontable for my SaaS?

2 points

6 years ago

295.

Show HN: Middleware for translating between AI agent protocols (github.com/kwstx)

2 points

3 months ago

296.

Show HN: Lumen – vision-first browser agent (state of the art, open source) (github.com/omxyz)

2 points

3 months ago

297.

Show HN: Trawl – LLM-powered web scraper that calls the AI once - runs pure Go

2 points

3 months ago

298.

Show HN: Athena Flow – a workflow runtime for Claude Code with a terminal UI

2 points

3 months ago

299.

Show HN: Resilient RAP – A self-healing pipeline for telemetry using embeddings (github.com/tarek-clarke)

2 points

4 months ago

300.

Show HN: Find hidden binary dependencies & subprocess calls in Python packages (surfactant.readthedocs.io)

2 points

5 months ago