Search: github.com/vigo | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

421.

Show HN: Google Sheets Bulk Writer

github.com/dorfman

3 years ago

3 points

422.

Show HN: TTSC – TypeScript-Go compiler and runner with transform plugins

github.com/samchon

2 months ago

2 points

423.

Ask HN: Modern GUI VIM-like editor?

13 years ago

2 points

424.

Ask HN: HSL 0.1 – The Human Source License. Please help refining

3 months ago

2 points

425.

Show HN: I built a tool that broke my 15-year doomscrolling habit in one week

5 months ago

2 points

426.

VSCode feature request: Implement Google Chrome-like grouped tabs

6 years ago

2 points

427.

Show HN: Alint, a fast linter for repository structure and hygiene

github.com/asamarts

a month ago

2 points

428.

Show HN: Lean-pq a typesafe PostgreSQL connector for lean

github.com/typednotes

3 months ago

2 points

429.

Show HN: SkillFortify, Formal verification for AI agents (auto-discovers)

github.com/varun369

4 months ago

2 points

430.

Show HN: LawClaw – Constitutional governance for AI agents (MIT)

4 months ago

2 points

431.

Show HN: Raypher–eBPF-based runtime security and hardware identity for AI agents

github.com/kidigapeet

4 months ago

2 points

432.

Show HN: Rigour – Open-source quality gates for AI coding agents

4 months ago

2 points

433.

Show HN: Samma Suit – Open-source 8-layer security framework for AI agents

4 months ago

2 points

434.

IntentBound: Purpose-aware authorization for autonomous AI agents

5 months ago

2 points

435.

Show HN: Bazinga – Enforced engineering practices for AI coding

github.com/mehdic

5 months ago

2 points

436.

Show HN: A Constitutional Framework for Ethical AI Decision-Making

github.com/SebastFock

5 months ago

2 points

437.

Twitter killed my airplane tracking bot

6 years ago

2 points

438.

Project Lean – The $10B Singularity Architecture

3 months ago

2 points

439.

Show HN: Arxitect – Claude Code plugin for software design principles

github.com/andonimichael

3 months ago

2 points

440.

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

4 months ago

2 points

441.

Show HN: MarkdownLM – Stop being the human middleware for your AI agent

4 months ago

2 points

442.

Show HN: Kontra - data quality validator that avoids unnecessary full scans

github.com/Saevarl

5 months ago

2 points

443.

Show HN : Pilot – System to improve dramatically your AI coding

github.com/clementrog

5 months ago

2 points

444.

Show HN: Enforcing Safe RSC Boundaries

github.com/yuuichieguchi

6 months ago

2 points

445.

Show HN: Kiss – code-complexity feedback for LLM coding agents

github.com/dsweet99

6 months ago

2 points

446.

Show HN: OmnAI – Sovereign AI infrastructure with multi-vault isolation

github.com/TadTanyaTalaTadenTadhgTaya

6 months ago

2 points

447.

Show HN: Pytest-test-categories Enforce Google's test sizes in Python

github.com/mikelane

7 months ago

2 points

448.

Show HN: Simulate AI Chatbot Conversations

github.com/onerun-ai

9 months ago

2 points

449.

Show HN: GhostSys: CET-Compliant Windows Syscalls

github.com/tlsbollei

9 months ago

2 points

450.

Show HN: Open Source AI Code Review Agent for Teams

github.com/wispbit-ai

a year ago

2 points