Search: github.com/verifid | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

811.

Ask HN: How did you implement App Store subscriptions?

2 points

7 years ago

812.

Show HN: Warnalyzer, scan multi-crate Rust projects for unused code

2 points

7 years ago

813.

Ask HN: Is ycombinatooor real? Just got spammy looking email alegedly from

1 point

9 months ago

814.

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

1 point

5 months ago

815.

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

1 point

3 months ago

816.

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

1 point

4 months ago

817.

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

1 point

6 months ago

818.

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

1 point

6 months ago

819.

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

1 point

3 months ago

820.

Github is down?

1 point

13 years ago

821.

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

1 point

3 months ago

822.

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

1 point

3 months ago

823.

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

1 point

4 months ago

824.

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

1 point

4 months ago

825.

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

1 point

7 months ago

826.

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

1 point

8 months ago

827.

Secure_packager: A simple tool for distributing data/models securely

1 point

9 months ago

828.

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

1 point

radicalexponent

2 years ago

829.

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

1 point

7 years ago

830.

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

1 point

2 months ago

831.

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

1 point

3 months ago

832.

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

1 point

3 months ago

833.

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

1 point

3 months ago

834.

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

835.

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

1 point

4 months ago

836.

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

1 point

4 months ago

837.

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

1 point

4 months ago

838.

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

1 point

4 months ago

839.

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

1 point

4 months ago

840.

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

1 point

4 months ago