Search: github.com/Safe3 | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

721.

Show HN: MicroSafe-RL – Sub-microsecond safety layer for Edge AI 1.18µs latency

github.com/Kretski

3 months ago

2 points

722.

Show HN: Agent Action Guard – AI agent action safety

3 months ago

2 points

723.

Kemforge, a Quantum-Safe curl alternative to test ML-KEM

github.com/ConnectingApps

3 months ago

2 points

724.

Synaphe – A type-safe language for hybrid AI and quantum computing

github.com/martus-spinther

3 months ago

martus-spinther

2 points

725.

Show HN: Zora, AI agent with compaction-proof memory and a runtime safety layer

github.com/ryaker

3 months ago

2 points

726.

Show HN: Sandclaw – A Safety First Agent

4 months ago

2 points

727.

Show HN: ZkzkAgent now has safe, local package management

github.com/zkzkGamal

4 months ago

2 points

728.

Show HN: Hydra – A safer OpenClaw alternative using containerized agents

github.com/RickConsole

4 months ago

2 points

729.

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

4 months ago

2 points

730.

Make Trust Irrelevant: A Gamer's Take on Agentic AI Safety

github.com/Deso-PK

4 months ago

2 points

731.

Show HN: Standardized robot brain with hardware safety – 10 patents in 4 days

5 months ago

2 points

732.

Show HN: A simple, transaction-safe SQL migration tool

github.com/samueldurantes

5 months ago

2 points

733.

Show HN: Agent OS – 0% Safety Violations for AI Agents

github.com/imran-siddique

5 months ago

2 points

734.

Show HN: Fluid.sh – Make Infrastructure Safe for AI

github.com/aspectrr

5 months ago

2 points

735.

Show HN: Minimal type-safe language for software architecture

github.com/tesserato

5 months ago

2 points

736.

Show HN: Mullion – type-safe LLM context management for TypeScript

github.com/mullionlabs

5 months ago

2 points

737.

Show HN: Plotnik – type-safe query language for Tree-sitter

github.com/plotnik-lang

6 months ago

2 points

738.

A type-safe Swift library for the Google Sheets API

github.com/vinayjn

6 months ago

2 points

739.

Show HN: A safe CLI to clean up stale GitLab branches (dry-run, CI-ready)

github.com/prateekmaheshwari

6 months ago

2 points

740.

Show HN: Local CLI to generate synthetic time-series data (privacy-safe)

github.com/Rufina46

6 months ago

2 points

741.

Show HN: Enforcing Safe RSC Boundaries

github.com/yuuichieguchi

6 months ago

2 points

742.

Type-safe contracts for AMQP/RabbitMQ

github.com/btravers

6 months ago

2 points

743.

Show HN: Dssrf – A safe‑by‑construction SSRF defense library for Node.js

6 months ago

2 points

744.

Show HN: Graft – A minimal, type-safe Go DI library with no reflection/codegen

github.com/grindlemire

6 months ago

2 points

745.

Show HN: Soppo – A Golang superset that adds enums, pattern matching, nil safety

github.com/halcyonnouveau

7 months ago

2 points

746.

Show HN: Soppo – A Golang superset that adds enums, pattern matching, nil safety

github.com/halcyonnouveau

7 months ago

2 points

747.

Safe_sleep.sh Rarely Hangs Indefinitely

github.com/actions

7 months ago

2 points

748.

Show HN: A cleaner, safer, plug-and-play NanoGPT

7 months ago

2 points

749.

Reverie: An ergonomic and safe syscall interception framework for Linux

github.com/facebookexperimental

8 months ago

2 points

750.

Show HN: Cachekill – A safer alternative to rm -RF node_modules

github.com/kagehq

9 months ago

2 points