Search: github.com/veryfi | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

481.

Show HN: Terminal-Bench-RL: Training long-horizon terminal agents with RL

github.com/Danau5tin

a year ago

125 points

482.

Show HN: A nibble-oriented CPU in Verilog to build a scientific calculator

github.com/gdevic

a month ago

119 points

483.

Show HN: Agent framework that generates its own topology and evolves at runtime

github.com/adenhq

4 months ago

107 points

484.

Launch HN: Berbix (YC S18) – Instant ID checks to fight fraud and stay compliant

7 years ago

106 points

485.

Show HN: Talos – Open-source WASM interpreter for Lean

github.com/cajal-technologies

6 days ago

106 points

486.

R1 Computer Use

github.com/agentsea

a year ago

104 points

487.

Show HN: Confidential computing for high-assurance RISC-V embedded systems

a year ago

103 points

488.

Show HN: Nostr Web – decentralized website hosting on Nostr

nweb.shugur.com

8 months ago

101 points

489.

Launch HN: Tensil (YC S19) – Open-Source ML Accelerators

4 years ago

96 points

490.

Launch HN: SuperTokens (YC S20) – Securely manage session tokens

6 years ago

84 points

491.

Show HN: Smelt — an open source test runner for chip developers

silogy-io.github.io

2 years ago

77 points

492.

Show HN: Stasher – Burn-after-read secrets from the CLI, no server, no trust

github.com/stasher-dev

a year ago

72 points

493.

Show HN: Clace – Application Server with support for scaling down to zero

github.com/claceio

2 years ago

72 points

494.

Show HN: Using LLMs and Embeddings to classify application errors

github.com/highlight

3 years ago

65 points

495.

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

5 years ago

63 points

496.

Ask HN: Let's build Checkstyle for Bash?

4 years ago

59 points

497.

Show HN: Kekkai – a simple, fast file integrity monitoring tool in Go

github.com/catatsuy

9 months ago

59 points

498.

Show HN: ZSE – Open-source LLM inference engine with 3.9s cold starts

github.com/Zyora-Dev

4 months ago

58 points

499.

Show HN: Ayder – HTTP-native durable event log written in C (curl as client)

github.com/A1darbek

5 months ago

56 points

500.

Show HN: Timep – A next-gen profiler and flamegraph-generator for bash code

github.com/jkool702

10 months ago

53 points

501.

Show HN: Cap'n-rs – Rust implementation of Cloudflare's Cap'n Web protocol

github.com/currentspace

9 months ago

52 points

502.

Show HN: Learn from 30 historical figures, open source, nonprofit, self-hosted

github.com/chipmates

15 days ago

49 points

503.

Yon – a topos-oriented language with a content-addressed lattice heap

20 days ago

48 points

504.

Show HN: Epstein's emails reconstructed in a message-style UI (OCR and LLMs)

github.com/Toon-nooT

6 months ago

46 points

505.

Show HN: Nucleus – A security-hardened, Nix-native container runtime

github.com/sig-id

15 days ago

40 points

506.

Show HN: TheAuditor v2.0 – A “Flight Computer” for AI Coding Agents

github.com/TheAuditorTool

6 months ago

40 points

507.

Show HN: Cua-Bench – a benchmark for AI agents in GUI environments

github.com/trycua

5 months ago

40 points

508.

Show HN: Modelence – Supabase for MongoDB

github.com/modelence

10 months ago

38 points

509.

Show HN: An open source access logs analytics script to block bot attacks

github.com/tempesta-tech

8 months ago

37 points

510.

Show HN: KSON, a love-letter to the humans maintaining computer configuration

9 months ago

34 points