Search: github.com/veryfi | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

811.

Show HN: Building a future where security checks leave no permanent trails

1 point

5 months ago

812.

Show HN: GitDelivr: A free CDN for Git clones built on Cloudflare Workers and R2 (gitdelivr.net)

1 point

3 months ago

813.

Show HN: Hardware and software safety standard for AI and Robots (15 patents)

1 point

3 months ago

814.

Show HN: Prima Veritas – Deterministic Analytics Engine for Reproducible ML (github.com/bryanziehl)

1 point

6 months ago

815.

Show HN: Roampal – a local memory layer that learns from outcomes (github.com/roampal-ai)

1 point

6 months ago

816.

Stop Rebuilding Front End Apps for Environment Variables (REP RFC)

1 point

3 months ago

817.

Github is down?

1 point

13 years ago

818.

Show HN: System that rediscovers physics laws from raw data autonomously (protoscience.ai)

1 point

3 months ago

819.

Ask HN: I built an AI-native codebase framework–could you evaluate it?

1 point

3 months ago

820.

Show HN: Using a mobile LLM app to safely operate a desktop computer (github.com/ruikhu007)

1 point

3 months ago

821.

Show HN: AIP – An open protocol for verifying what AI agents are allowed to do (github.com/theaniketgiri)

1 point

4 months ago

822.

Show HN: Flamehaven FileSearch – Self-Hosted RAG Semantic Search (github.com/flamehaven01)

1 point

7 months ago

823.

Show HN: Unstable Singularity Detector update 1.4.1 (github.com/Flamehaven)

1 point

8 months ago

824.

Secure_packager: A simple tool for distributing data/models securely

1 point

9 months ago

825.

Show HN: A GitHub Action that creates Trusted Timestamps for your Git repo (github.com/marketplace)

1 point

radicalexponent

2 years ago

826.

Ask HN: Any grad students interested in writing a CS paper?

1 point

7 years ago

827.

Show HN: Hazmat – I made unrestricted Claude Code safe on macOS (github.com/dredozubov)

1 point

2 months ago

828.

JadeGate – A deterministic safety proxy for MCP servers (no LLMs)

1 point

3 months ago

829.

Show HN: Rainy Updates – local-first dependency and supply-chain review for CI (github.com/ferxalbs)

1 point

3 months ago

830.

Show HN: Titan Gate – cryptographic receipts for AI-assisted code changes (github.com/Rehanrana11)

1 point

3 months ago

831.

Show HN: I built a graph store so my LLM can't hallucinate facts from my data (github.com/TyKolt)

1 point

3 months ago

832.

Show HN: Salacia – The First Runtime OS for Agentic Coding

1 point

3 months ago

833.

Show HN: H-CLI – Manage network infrastructure with natural language (github.com/h-network)

1 point

3 months ago

834.

Show HN: NotaryOS – Cryptographic proof of what your AI agent didn't do (notaryos.org)

1 point

3 months ago

835.

Show HN: Agents-lint – detect stale paths and context rot in AGENTS.md files (github.com/giacomo)

1 point

3 months ago

836.

Show HN: Searchable compression for JSON/NDJSON (skip ~99% pages; sub-ms lookups (github.com/kodomonocch1)

1 point

4 months ago

837.

Show HN: CSL MCP Server – Write and Verify AI Safety Policies from Claude/Cursor (pypi.org)

1 point

4 months ago

838.

Show HN: How do you reliably benchmark sub-100ns code paths in Rust (github.com/abokhalill)

1 point

4 months ago

839.

Show HN: AI-optimized x86-64 assembly vs. GCC -O3 on three production kernels (github.com/cleonard2341)

1 point

4 months ago

840.

Show HN: Verify and trace OpenClaw tool calls (runnable demo) (github.com/peacprotocol)

1 point

4 months ago