Search: github.com/HartS | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

241.

Show HN: Core – open-source AI butler that clears your backlog without you

2 months ago

3 points

242.

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

2 months ago

3 points

243.

Show HN: SHAde – A tool that turns Git Commit Hashes into deterministic Art

github.com/LalwaniPalash

10 months ago

3 points

244.

Show HN: Framework for LLM Iterative Refinement Until Mathematical Convergence

github.com/hankbesser

a year ago

3 points

245.

Show HN: Evolutionary (binary) JSON DBS keeping an immutable revision history

3 years ago

3 points

246.

New form of logic. Need help. Not theory, have working models

7 years ago

3 points

247.

Show HN: Director-AI – token-level NLI+RAG

github.com/anulum

4 months ago

2 points

248.

Feedback before applying

9 years ago

2 points

249.

Show HN: vscode-gitui – Open GitUI inside VSCode

github.com/gymynnym

8 months ago

2 points

250.

Show HN: Convey – Quality Public Dialogue

5 years ago

2 points

251.

Show HN: Plastron – A spreadsheet you grow into an app, in one index.html

14 days ago

2 points

252.

Show HN: Lisa a live dynamic wavetables synth you play and program in real-time

github.com/dr-schlange

2 months ago

2 points

253.

Show HN: Netscope – Inspect HAR Files on Your Desktop

netscopeapp.com

2 months ago

2 points

254.

Show HN: 3 out of 4 devs failed to catch dangerous AI-suggested commands

agentsaegis.com

3 months ago

2 points

255.

BetterKV – A multithreaded Rust Redis alternative, 10-30x faster in benchmarks

3 months ago

2 points

256.

Show HN: AI-nexus – Only 2-3 rules and skills load per prompt in Claude Code

github.com/JSK9999

3 months ago

2 points

257.

Show HN: GTAO and Red Dead Online lag switch detector and blocker (anti-cheat)

github.com/Sovandeulv

4 months ago

2 points

258.

Show HN: Clenv – Manage multiple Claude Code profiles, each Git-versioned

github.com/Imchaemin

4 months ago

2 points

259.

Show HN: Consensus for Side Effects

github.com/abokhalill

5 months ago

2 points

260.

Show HN: ZON-TS 50–65% fewer LLM tokens zero parse overhead better than TOON/CSV

6 months ago

2 points

261.

Show HN: Cross-platform network traffic monitoring system

github.com/mohyware

7 months ago

2 points

262.

Show HN: Orchestro – Trello for Claude Code (open-source MCP server)

9 months ago

2 points

263.

Show HN: Preq – Community powered detection of hidden reliability problems

github.com/prequel-dev

a year ago

2 points

264.

Lufin – let's upload that file–next – a next generation LUFI E2EE filesharing

a year ago

2 points

265.

Show HN: Through the Geek's Lens

github.com/marcmagransdeabril

a year ago

2 points

266.

Show HN: IfThisThenThat Linter (IFTTT-Lint)

github.com/ebrevdo

a year ago

2 points

267.

Show HN: Redactrus, custom logrus formatter for redacting sensitive info

github.com/ibreakthecloud

2 years ago

2 points

268.

Evolutionary, JSON data store (keeping the full revision history)

3 years ago

2 points

269.

Introducing another location based chat app, fully anonymous

9 years ago

2 points

270.

Opengrok for open source android libraries

10 years ago

2 points