Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
841.
Show HN: SkillFortify, Formal verification for AI agents (auto-discovers) (github.com/varun369)
2 points
varunpratap369
3 months ago
1 comment
842.
Show HN: I built the WordPress GPG signing workflow that didn't exist
2 points
mvpprojects
3 months ago
1 comment
843.
Show HN: LawClaw – Constitutional governance for AI agents (MIT)
2 points
nghiahsgs
4 months ago
1 comment
844.
Show HN: CRTX – AI code gen that tests and fixes its own output (OSS) (github.com/CRTXAI)
2 points
johnnycash926
4 months ago
1 comment
845.
Show HN: Eigent – the open source alternative of Cowork
2 points
camelaiorg
5 months ago
1 comment
846.
Show HN: Bazinga – Enforced engineering practices for AI coding (github.com/mehdic)
2 points
mehditch
5 months ago
1 comment
847.
Show HN: Boxwerk – Ruby package system with Box-powered constant isolation (github.com/dtcristo)
2 points
dtcristo
5 months ago
1 comment
848.
Show HN: Terma – simple terminal chat in Rust/ratatui (terma.mattmay.dev)
2 points
mbm
7 months ago
1 comment
849.
Show HN: ServBay – My Journey to Simplify Reserve Proxy (servbay.com)
2 points
Hayatoo
a year ago
1 comment
850.
Ask HN: ULID or CUID2 for B2B Startup?
2 points
superjose
2 years ago
1 comment
851.
Show HN: Multiplayer lunar lander game built on partykit / rapier, open source (lander.gg)
2 points
chungwu
2 years ago
1 comment
852.
Show HN: Capture and replay React Native sessions
2 points
ichasekarma
2 years ago
1 comment
853.
Show HN: Optimistix: Nonlinear Optimisation in Jax+Equinox (github.com/patrick-kidger)
2 points
packquickly
3 years ago
1 comment
854.
Ask HN: Please Fork My Project
2 points
boramalper
6 years ago
1 comment
855.
Show HN: Hue v4.6.1
2 points
madprops
9 years ago
1 comment
856.
Ask HN: ZealPHP – Dangers Isolating Request-State in Coroutines?
2 points
sibidharan
6 days ago
discuss
857.
Show HN: Built a verifiable, open-source SoC 2 readiness scanner (loxeai.com)
2 points
arjavmehta
23 days ago
discuss
858.
Show HN: Kubesplaining CLI that maps RBAC privilege-escalation paths in K8s (github.com/0hardik1)
2 points
0hardik1
a month ago
discuss
859.
Show HN: Isola – Open-source sandboxing on Kubernetes (github.com/isola-run)
2 points
benldrmn
2 months ago
discuss
860.
Show HN: Chlibc – A ptrace-based tool to hot-swap glibc and interp in user-space (github.com/gzm55)
2 points
gzm55
2 months ago
discuss
861.
Tell HN: Claude-code prompt-cache workaround/fix
2 points
g4cg54g54
2 months ago
discuss
862.
Show HN: I built a personal corporation of AI agents that runs on your PC (github.com/re-marked)
2 points
re-marked
2 months ago
discuss
863.
Show HN: Nova v1.5.0 Gold Master – A pure C++17 assistant with zero dependencies (github.com/94BILLY)
2 points
94BILLY
2 months ago
discuss
864.
Show HN: Modalyze – Modal Manager for React (github.com/kaundur)
2 points
kaundur
2 months ago
discuss
865.
Show HN: Tiny filesystem honeypot for macOS with zero dependencies in Go (github.com/dweinstein)
2 points
dweinstein
2 months ago
discuss
866.
Show HN: Data that explains itself to Coding Agents (Bonus: free, BYOA Lovable) (dataverse001.net)
2 points
TumbleCow
2 months ago
discuss
867.
Show HN: Spectator – A programming language for Cybersecurity and Hacking
2 points
CzaxTanmay
2 months ago
discuss
868.
Show HN: Perstack – Containerized harness, 5 tests with full logs and API cost (github.com/perstack-ai)
2 points
FL4TLiN3
3 months ago
discuss
869.
Show HN: SentrySearch – Semantic search over dashcam footage (github.com/ssrajadh)
2 points
sohamrj
3 months ago
discuss
870.
Show HN: Zora, AI agent with compaction-proof memory and a runtime safety layer (github.com/ryaker)
2 points
ryaker
3 months ago
discuss
More