Search: github.com/veryfi | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

511.

Ask HN: Anyone use GitHub Issues at their company?

4 years ago

29 points

512.

Show HN: Bithoven – A high-level, imperative language for Bitcoin Smart Contract

github.com/ChrisCho-H

6 months ago

27 points

513.

Show HN: Sup AI, a confidence-weighted ensemble (52.15% on Humanity's Last Exam)

3 months ago

26 points

514.

How to verify boot firmware integrity if you prioritize neutralizing Intel ME?

2 years ago

25 points

515.

Show HN: Dari-docs – Optimize your docs using parallel coding agents

github.com/mupt-ai

a month ago

23 points

516.

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

a year ago

23 points

517.

Tell HN: GitHub changing host SSH keys

5 years ago

23 points

518.

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

6 months ago

22 points

519.

Show HN: EVMole for Analysing EVM Bytecode

a year ago

22 points

520.

Show HN: Open-Source SDK for AI Knowledge Work

github.com/ClioAI

4 months ago

21 points

521.

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

commercetxt.org

6 months ago

20 points

522.

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

github.com/yoloshii

7 months ago

19 points

523.

Ask HN: Selling hardware company assets/IP

4 years ago

18 points

524.

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

github.com/secluso

9 months ago

17 points

525.

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

github.com/neelsomani

6 months ago

16 points

526.

Show HN: FizzBee – Formal Model based autonomous testing

9 months ago

15 points

527.

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

3 months ago

15 points

528.

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

github.com/openziti-test-kitchen

4 years ago

15 points

529.

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

bastion-enclave.vercel.app

5 months ago

14 points

530.

Show HN: Constellation – An always encrypted Kubernetes engine

github.com/edgelesssys

4 years ago

14 points

531.

Intercom Security Leak

9 years ago

14 points

532.

Show HN: A self hosted alternative to Ngrok

7 years ago

14 points

533.

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

github.com/x1colegal

16 days ago

13 points

534.

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

github.com/bespokelabsai

a year ago

13 points

535.

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

github.com/XTraceAI

2 months ago

13 points

536.

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

github.com/prisma

a month ago

13 points

537.

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

github.com/levkris

4 months ago

12 points

538.

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

github.com/anneschuth

5 months ago

12 points

539.

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

github.com/zrougamed

6 months ago

12 points

540.

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

github.com/eqtylab

6 months ago

12 points