Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
271.
▲
Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI
(github.com/Chimera-Protocol)
2 points
aytuakarlar
4 months ago
7 comments
272.
▲
Show HN: Circe – Deterministic, offline-verifiable receipts for AI agent actions
(github.com/wv26296-ux)
2 points
W_rey45
5 months ago
5 comments
273.
▲
Show HN: Secure Agent Starter – A minimal template for building safer AI agents
(github.com/timbuctoo)
2 points
timbucto2
3 months ago
2 comments
274.
▲
Show HN: ClawShield – Open-source security proxy for AI agents (Go, eBPF)
(github.com/SleuthCo)
2 points
sleuthco
3 months ago
2 comments
275.
▲
Show HN: I built a "sudo" mechanism for AI agents
(github.com/cordum-io)
2 points
yaront111
5 months ago
2 comments
276.
▲
Show HN: New GNU/Linux post-install configuration tool (iptables, zram, zsh...)
2 points
git-user-cpp
10 months ago
2 comments
277.
▲
Show HN: PrismoDev – local CLI for finding token waste in Claude Code/Codex
(github.com/shanirsh)
2 points
shanirshad
18 days ago
1 comment
278.
▲
Show HN: ServBay – My Journey to Simplify Reserve Proxy
(servbay.com)
2 points
Hayatoo
a year ago
1 comment
279.
▲
Show HN: Worktale, a local-first CLI to turn your Git history into a dev journal
(worktale.org)
2 points
plsft
3 months ago
discuss
280.
▲
Show HN: GTAO and Red Dead Online lag switch detector and blocker (anti-cheat)
(github.com/Sovandeulv)
2 points
sovande
3 months ago
discuss
281.
▲
ClawHost – One-click, self-hosted OpenClaw deployments you own
2 points
bfzli
3 months ago
discuss
282.
▲
Show HN: Quicklify – Deploy Coolify to any VPS in 4 minutes with one command
(github.com/omrfc)
2 points
omrfc
4 months ago
discuss
283.
▲
Show HN: Bgpipe – pipe live BGP sessions through Python, add RPKI, etc.
(bgpipe.org)
2 points
pjf
4 months ago
discuss
284.
▲
Show HN: tunn – Share localhost like a Google Doc
(tunn.to)
2 points
behrlich
5 months ago
discuss
285.
▲
Show HN: Fluid.sh – Make Infrastructure Safe for AI
(github.com/aspectrr)
2 points
aspectrr
5 months ago
discuss
286.
▲
Show HN : Pilot – System to improve dramatically your AI coding
(github.com/clementrog)
2 points
crog
5 months ago
discuss
287.
▲
Show HN: Mandate – treating AI agents like economic actors, not scripts
(github.com/kashaf12)
2 points
kashaf12
5 months ago
discuss
288.
▲
Show HN: Cross-platform network traffic monitoring system
(github.com/mohyware)
2 points
mohyware
6 months ago
discuss
289.
▲
Developer Friendly Data Observability Tool
2 points
dqoai
4 years ago
discuss
290.
▲
Show HN: PostgreSQL in a virtual private cloud on Heroku
2 points
borealis-dev
4 years ago
discuss
291.
▲
Show HN: Intent Bus – SQLite job bus for coordinating scripts across devices
(github.com/dsecurity49)
1 point
dsecurity49
a month ago
2 comments
292.
▲
Show HN: Hazmat – I made unrestricted Claude Code safe on macOS
(github.com/dredozubov)
1 point
dredozubov
2 months ago
1 comment
293.
▲
Ask HN: "Claws" and Human-in-the-Loop Safety
1 point
qixxiq
2 months ago
1 comment
294.
▲
Show HN: My "Grandma" prompt dropped a production DB. So I built a Kill Switch
1 point
Esrbwt
4 months ago
1 comment
295.
▲
Show HN: Next.js and C# Project – App for limiting access to web sources
(guard.alexweb.app)
1 point
Skorobogatkoa
10 months ago
1 comment
296.
▲
Ask HN: How do you “verify” app security?
1 point
linsomniac
7 years ago
1 comment
297.
▲
Ask HN: Roll your own LogMeIn?
1 point
ljoshua
12 years ago
discuss
298.
▲
Extend RabbitMQ to Mobile/Web using PubNub
1 point
rkang
13 years ago
discuss
299.
▲
Show HN: Redos-analyzer – static ReDoS detection and auto-fix for Python
(github.com/HarshithReddy01)
1 point
kingkongsatan
2 months ago
discuss
300.
▲
Analyzing OpenClaw's 3-layer defense against prompt injection
1 point
aunicall
3 months ago
discuss
More