Search: github.com/veryfi | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

601.

Show HN: A2A Protocol – Infrastructure for an Agent-to-Agent Economy

4 points

4 months ago

602.

Show HN: A self-custody medical records prototype (lessons learned) (github.com/Mzhvnn-tch)

4 points

5 months ago

603.

Show HN: PaperDebugger – An Overleaf companion for revising LaTeX papers (github.com/PaperDebugger)

4 points

6 months ago

604.

Show HN: Logbox – let Claude monitor your dev logs (github.com/struct-dot-ai)

4 points

19 days ago

605.

XReplicator – eBPF-based server backups that track only changed disk sectors

4 points

2 months ago

606.

Show HN: Clawdstrike – a security toolbox for the OpenClaw ecosystem (github.com/backbay-labs)

4 points

backbay-machine

4 months ago

607.

Show HN: AI Mailbox – An CLI inbox for your agent, no questions asked (github.com/ted2048-maker)

4 points

4 months ago

608.

Show HN: Experimenting with Autonomous Coding Assistants in VSCode [video] (youtube.com)

4 points

2 years ago

609.

Show HN: Turn ML/AI models into zero-knowledge proofs (github.com/zkonduit)

4 points

3 years ago

610.

Tell HN: Codecov learned nothing from their security breach

4 points

5 years ago

611.

Show HN: open-source App Engine ePub hosting service

4 points

14 years ago

612.

Show HN: Ossature – Spec-driven code generation with LLMs (ossature.dev)

4 points

3 months ago

613.

Grand Time: Time-Based Models in Decentralized Trust

4 points

4 months ago

614.

Show HN: Software Design – ADRs, arch tests, patterns (github.com/QDenka)

4 points

4 months ago

615.

Show HN: Lightbox – Flight recorder for AI agents (record, replay, verify) (uselightbox.app)

4 points

4 months ago

616.

Show HN: Project Base 44" – A Fairness-Driven Protocol for Social Physics (github.com/yourname)

4 points

5 months ago

617.

Show HN: Stealth and Browsers and Solvers in Rust (github.com/ccheshirecat)

4 points

5 months ago

618.

Show HN: passkeybot.com - add passkey auth with a few server side HTTP handlers (github.com/emadda)

4 points

6 months ago

619.

Show HN: VoicePayOS: Authorize voice agents to pay on your behalf (github.com/OpenBotAuth)

4 points

6 months ago

620.

Show HN: A Privacy-First Temp Email Service (nullmail.cc)

4 points

10 months ago

621.

Show HN: Miralis – a RISC-V virtual firmware monitor (github.com/CharlyCst)

4 points

a year ago

622.

Show HN: Web app proxy and container manager (Nginx Unit alternative) (github.com/claceio)

4 points

2 years ago

623.

Show HN: Trellis – open-source Python framework to build DAG-based LLM workflows (github.com/interlocklabs)

4 points

3 years ago

624.

GitHub permanently banned my account for using Actions to validate VPN nodes

3 points

3 months ago

625.

Can Local Contribution-Based Currencies Replace Crypto?

3 points

10 months ago

626.

Show HN: Flappy Gopher with Online Ranking – A Go/WebAssembly Browser Game (flappy-ranking.pages.dev)

3 points

a year ago

627.

Show HN: Εἶδος – A non-Turing-complete language built on Plato's Theory of Forms (github.com/realadeel)

3 points

4 months ago

628.

Show HN: Moss – Cryptographic signing for AI agents (mosscomputing.com)

3 points

6 months ago

629.

Show HN: LLM-Use – An LLM router that chooses the right model for each prompt (github.com/JustVugg)

3 points

8 months ago

630.

Show HN: Oauth2_capture – A Django package for handling OAuth2 token flows

3 points

a year ago