Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
451.
Show HN: Lean-pq a typesafe PostgreSQL connector for lean (github.com/typednotes)
2 points
ngrislain
3 months ago
1 comment
452.
Show HN: HELmR – A runtime control layer for autonomous agents (github.com/helmr-labs)
2 points
systems_arch
3 months ago
1 comment
453.
Show HN: SkillFortify, Formal verification for AI agents (auto-discovers) (github.com/varun369)
2 points
varunpratap369
3 months ago
1 comment
454.
Ask HN: When should you stop building an open-source AI agent framework?
2 points
thienz
4 months ago
1 comment
455.
Show HN: Wozz – open-source Kubernetes cost linter and cluster auditor
2 points
wozzio
5 months ago
1 comment
456.
Show HN: An AI collaboration playbook(AGENTS.md and code map and template) (privydrop.app)
2 points
david_bai
5 months ago
1 comment
457.
Show HN: EncypherAI, Open-source tool for cryptographically verifying AI text (github.com/encypherai)
2 points
encypherai
a year ago
1 comment
458.
Show HN: Ts-result – Rust's Result<T, E> type for explicit error handling in TS (github.com/trylonai)
2 points
iLikeFunctional
a year ago
1 comment
459.
Show HN: LLM-driven Tamagotchi built with JavaScript and local model (github.com/ykhli)
2 points
ykhli
2 years ago
1 comment
460.
Show HN: AG2B – Run the agent loop in the browser, expose your tools via WebMCP (ag2b.ai)
2 points
notmedia
9 days ago
discuss
461.
Show HN: TurnZero – Persistent Expert for LLMs
2 points
dmilicev2
a month ago
discuss
462.
Show HN: We open-sourced a 6-library governance stack for AI agents (Python)
2 points
tegs
a month ago
discuss
463.
Show HN: HWT (Hash Web Tokens) – minimalist protocol for auth state (jimmont.com)
2 points
jimmont
2 months ago
discuss
464.
Show HN: ImmutableBase – Strict immutable data objects for PHP (github.com/ReallifeKip)
2 points
bill402099
3 months ago
discuss
465.
Show HN: Endgame – Production-aware ML under the sklearn API
2 points
cameronhamilton
3 months ago
discuss
466.
Show HN: Personal AI gateway for OpenClaw – tokenomics (github.com/rickcrawford)
2 points
crawdog
3 months ago
discuss
467.
Show HN: Autonoma – Python secret fixer that refuses unsafe fixes (github.com/VihaanInnovations)
2 points
v_CodeSentinal
3 months ago
discuss
468.
Show HN: Turn – A compiled systems language for agentic computation
2 points
askmuyukani
3 months ago
discuss
469.
Show HN: Sleeping LLM – A language model that remembers by sleeping (github.com/vbario)
2 points
vbaranov87
3 months ago
discuss
470.
Show HN: Agent workspace switcher for Git worktrees (github.com/prbdias)
2 points
prbdias
3 months ago
discuss
471.
Show HN: The only CLI your AI agent will need (github.com/brwse)
2 points
jrandolf
3 months ago
discuss
472.
Show HN: System architecture method using mythology and LLMs (no CS background)" (github.com/FusionAlchemist)
2 points
fusionalchemist
4 months ago
discuss
473.
Show HN: Claude Pilot – Claude Code is powerful. Pilot makes it reliable (github.com/maxritter)
2 points
rittermax
4 months ago
discuss
474.
Show HN: Funxy – A typed scripting language that embeds into Go apps (github.com/funvibe)
2 points
funbitty
4 months ago
discuss
475.
Show HN: Tenuo – Capability-Based Authorization (Macaroons for AI Agents)
2 points
niyikiza
4 months ago
discuss
476.
Show HN: Nod – Pre-code compliance validation for agentic coding workflows (github.com/mraml)
2 points
mraml
4 months ago
discuss
477.
Show HN: A private, PQ-secure, infinitely scalable blockchain[fully open-source] (github.com/nerv-bit)
2 points
Nerv_b
4 months ago
discuss
478.
Show HN: BlackTent – a strictly local CLI for sanitized incident bundles (github.com/sylviesuite)
2 points
blacktent
4 months ago
discuss
479.
Show HN: Kontra - data quality validator that avoids unnecessary full scans (github.com/Saevarl)
2 points
saevarl
4 months ago
discuss
480.
Show HN: PR Slop Stopper (github.com/vmazi)
2 points
vmazi
4 months ago
discuss
More