Search: github.com/verifid | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

481.

Launch HN: Spruce (YC W21) – OSS for User Owned and Provably Authentic Data

63 points

5 years ago

482.

Ask HN: Let's build Checkstyle for Bash?

59 points

4 years ago

483.

Show HN: Kekkai – a simple, fast file integrity monitoring tool in Go (github.com/catatsuy)

59 points

8 months ago

484.

Show HN: ZSE – Open-source LLM inference engine with 3.9s cold starts (github.com/Zyora-Dev)

58 points

3 months ago

485.

Show HN: Ayder – HTTP-native durable event log written in C (curl as client) (github.com/A1darbek)

56 points

5 months ago

486.

Show HN: Timep – A next-gen profiler and flamegraph-generator for bash code (github.com/jkool702)

53 points

9 months ago

487.

Show HN: Cap'n-rs – Rust implementation of Cloudflare's Cap'n Web protocol (github.com/currentspace)

52 points

8 months ago

488.

Show HN: Epstein's emails reconstructed in a message-style UI (OCR and LLMs) (github.com/Toon-nooT)

46 points

6 months ago

489.

Show HN: TheAuditor v2.0 – A “Flight Computer” for AI Coding Agents (github.com/TheAuditorTool)

40 points

6 months ago

490.

Show HN: Cua-Bench – a benchmark for AI agents in GUI environments (github.com/trycua)

40 points

4 months ago

491.

Show HN: Modelence – Supabase for MongoDB (github.com/modelence)

38 points

10 months ago

492.

Show HN: An open source access logs analytics script to block bot attacks (github.com/tempesta-tech)

37 points

8 months ago

493.

Show HN: KSON, a love-letter to the humans maintaining computer configuration (kson.org)

34 points

9 months ago

494.

Ask HN: Anyone use GitHub Issues at their company?

29 points

4 years ago

495.

Show HN: Bithoven – A high-level, imperative language for Bitcoin Smart Contract (github.com/ChrisCho-H)

27 points

6 months ago

496.

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

26 points

2 months ago

497.

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

25 points

2 years ago

498.

Show HN: Dari-docs – Optimize your docs using parallel coding agents (github.com/mupt-ai)

23 points

17 days ago

499.

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

23 points

a year ago

500.

Tell HN: GitHub changing host SSH keys

23 points

5 years ago

501.

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

22 points

6 months ago

502.

Show HN: EVMole for Analysing EVM Bytecode (evmole.xyz)

22 points

a year ago

503.

Show HN: Open-Source SDK for AI Knowledge Work (github.com/ClioAI)

21 points

4 months ago

504.

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

20 points

6 months ago

505.

Show HN: Whole-home VPN router with hardware kill switch (OpenWrt and WireGuard) (github.com/yoloshii)

19 points

6 months ago

506.

Ask HN: Selling hardware company assets/IP

18 points

4 years ago

507.

Show HN: Update: Open-source private home security camera(end-to-end encryption) (github.com/secluso)

17 points

9 months ago

508.

Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence (github.com/neelsomani)

16 points

5 months ago

509.

Show HN: FizzBee – Formal Model based autonomous testing (fizzbee.io)

15 points

8 months ago

510.

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

15 points

2 months ago