Search: github.com/verifid | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

511.

Show HN: Maestro – A Framework to Orchestrate and Ground Competing AI Models

a year ago

23 points

512.

Tell HN: GitHub changing host SSH keys

5 years ago

23 points

513.

Show HN: Chart Preview – Preview environments for Helm charts on every PR

6 months ago

22 points

514.

Show HN: EVMole for Analysing EVM Bytecode

a year ago

22 points

515.

Show HN: Open-Source SDK for AI Knowledge Work

github.com/ClioAI

4 months ago

21 points

516.

Show HN: CommerceTXT – An open standard for AI shopping context (like llms.txt)

commercetxt.org

6 months ago

20 points

517.

Show HN: Whole-home VPN router with hardware kill switch (OpenWrt and WireGuard)

github.com/yoloshii

7 months ago

19 points

518.

Ask HN: Selling hardware company assets/IP

4 years ago

18 points

519.

Show HN: Update: Open-source private home security camera(end-to-end encryption)

github.com/secluso

9 months ago

17 points

520.

Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence

github.com/neelsomani

6 months ago

16 points

521.

Show HN: FizzBee – Formal Model based autonomous testing

9 months ago

15 points

522.

Show HN: Agent Orchestrator, a local-first Harness Engineering control plane

3 months ago

15 points

523.

Show HN: Build your gRPC apps with embedded zero trust networking

github.com/openziti-test-kitchen

4 years ago

15 points

524.

Show HN: A password system with no database, no sync, and nothing to breach

bastion-enclave.vercel.app

5 months ago

14 points

525.

Show HN: Constellation – An always encrypted Kubernetes engine

github.com/edgelesssys

4 years ago

14 points

526.

Intercom Security Leak

9 years ago

14 points

527.

Show HN: A self hosted alternative to Ngrok

7 years ago

14 points

528.

Show HN: Ustps (UDP Speedy Transmission Protocol Secure) and USSH

github.com/x1colegal

16 days ago

13 points

529.

Show HN: Curator – an open-source library for synthetic data generation

github.com/bespokelabsai

a year ago

13 points

530.

Show HN: XTrace – Encrypted vector DB (search embeddings without exposing them)

github.com/XTraceAI

2 months ago

13 points

531.

Show HN: Prisma Next – data contracts, migration graphs, agent DX

github.com/prisma

a month ago

13 points

532.

Show HN: Flux, a tiny protocol that rethinks email from the ground up

github.com/levkris

4 months ago

12 points

533.

Show HN: Pinchwork – A task marketplace where AI agents hire each other

github.com/anneschuth

5 months ago

12 points

534.

Show HN: Cerberus – Real-time network monitor with eBPF

github.com/zrougamed

6 months ago

12 points

535.

Show HN: Cupcake – Better performance and security for coding agents (via OPA)

github.com/eqtylab

6 months ago

12 points

536.

Show HN: Build agents via YAML with Prolog validation and 110 built-in tools

fabceolin.github.io

5 months ago

11 points

537.

Show HN: Open-source distributed quantum compute network

3 months ago

11 points

538.

Show HN: Using LLMs and Embeddings to classify application errors

github.com/highlight

3 years ago

11 points

539.

Ask HN: What should happen to your signed Git commits if you revoke the GPG key?

5 years ago

11 points

540.

Show HN: Open-source conversational AI agents for internal tools

github.com/inferablehq

a year ago

11 points