Search: github.com/Banno | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

331.

Show HN: SkillFortify, a formal verification for AI agent skills (github.com/varun369)

2 points

3 months ago

332.

Show HN: Sinkai – Let AI agents hire humans for real-world tasks (sinkai.tokyo)

2 points

4 months ago

333.

Show HN: TimeSeal – Cryptographic time-locked vaults with Dead Man's Switch (github.com/Teycir)

2 points

5 months ago

334.

Show HN: SideNote – Markdown Note Extension on Browser Sidepanel (github.com/IHaBiS02)

2 points

10 months ago

335.

Show HN: TutsWiki, Collaborative Tutorials for the Internet

2 points

6 years ago

336.

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

2 points

3 months ago

337.

Show HN: Raypher–eBPF-based runtime security and hardware identity for AI agents (github.com/kidigapeet)

2 points

4 months ago

338.

Show HN: EV424 – Evidence Definition (Don't Trust, Verify)

2 points

4 months ago

339.

Show HN: I built an app to fix my ADHD using the FBI meme (github.com/mgiovani)

2 points

6 months ago

340.

Iterative Functional Reactive Programming with the Nu Game Engine: An Exp Report

2 points

11 years ago

341.

Show HN: Glq LLM quantization using E8 lattice (github.com/cnygaard)

2 points

4 days ago

342.

Show HN: GoPOSIX – a Go-native POSIX userland, ~97% BusyBox-compatible (github.com/ramayac)

2 points

17 days ago

343.

Show HN: Fakekey – never expose real API keys in the agent environment (github.com/happyvibing)

2 points

2 months ago

344.

Show HN: SwiftNet v0.5.0 – Networking Library (github.com/Morcules)

2 points

2 months ago

345.

Show HN: Sleuther, a ohmyzsh plugin for local LLM debugging with Ollama (github.com/chocks)

2 points

2 months ago

346.

Show HN: Sift, a small CLI that groups noisy test failures into root causes (github.com/bilalimamoglu)

2 points

3 months ago

347.

Show HN: BXP – An open standard for atmospheric exposure data

2 points

3 months ago

348.

Show HN: I applied Markowitz port. theory to agent teams / proved it in a zkVM (mnemom.ai)

2 points

3 months ago

349.

Show HN: InferShield – A Lightweight Orchestration-Layer Attack Detector (POC) (github.com/InferShield)

2 points

3 months ago

350.

Show HN: Turn Bilibili favorites into a personal RAG knowledge base (github.com/via007)

2 points

3 months ago

351.

Ask HN: Do LLM agents need a separate safety layer?

2 points

4 months ago

352.

Show HN: Silo – Every Git branch gets its own localhost (github.com/silo-rs)

2 points

4 months ago

353.

Show HN: ClawOverflow – SlackOverflow for Agents

2 points

4 months ago

354.

Show HN: 15 Years of StarCraft II Balance Changes Visualized (p.migdal.pl)

2 points

5 months ago

355.

Show HN: Sigma v0.4.7: 200 conversational cycles, zero drift, epistemic honesty (github.com/sigmastratum)

2 points

5 months ago

356.

Show HN: Efpix – A flood protocol with E2EE and metadata protection (arxiv.org)

2 points

5 months ago

357.

I am building a collaborative coding agent

2 points

6 months ago

358.

Ask HN: Local Translation with Layout Recovery

2 points

a year ago

359.

Show HN: The modern internet content experience simulator (github.com/tluyben)

2 points

a year ago

360.

Ask HN: When would you fork instead of waiting for proposal/PR acceptance?

2 points

a year ago