Search: github.com/verifid | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

451.

ProofMode: Verified Visuals (A CameraV-Inspired Micro App) (github.com/guardianproject)

1 point

9 years ago

452.

Formal verification for re-entrant Solidity contracts (gist.github.com)

1 point

10 years ago

453.

Dafny -a verification-aware programming language from Microsoft (github.com/Microsoft)

1 point

10 years ago

454.

The list of all the VIP (Very Important People) verified accounts (github.com/RickyGeek)

1 point

10 years ago

455.

Certifi-2015.9.6.1 and 2015.9.6.2 fail verification (github.com/certifi)

1 point

11 years ago

456.

Postgres Language Server (github.com/supabase)

963 points

3 years ago

457.

Show HN: Answer Overflow – Indexing Discord content into the web (answeroverflow.com)

333 points

3 years ago

458.

OpenTSLM: Language models that understand time series (opentslm.com)

280 points

8 months ago

459.

Show HN: Keypub.sh – OAuth for the terminal using SSH keys (keypub.sh)

222 points

a year ago

460.

Show HN: Drive any macOS app in the background without stealing the cursor (github.com/trycua)

192 points

a month ago

461.

Show HN: OneCLI – Vault for AI Agents in Rust (github.com/onecli)

161 points

3 months ago

462.

Launch HN: Infra (YC W21) – Open-source access management for Kubernetes (github.com/infrahq)

159 points

4 years ago

463.

Show HN: Dharma – Programmable Peer-To-Peer Loans Using Ethereum Smart Contracts

156 points

9 years ago

464.

Launch HN: Chonkie (YC X25) – Open-Source Library for Advanced Chunking

151 points

a year ago

465.

Show HN: rallyup – Lightweight Wake-on-LAN Scheduler (github.com/darwindarak)

141 points

2 years ago

466.

Show HN: Open-source Deep Research across workplace applications (github.com/onyx-dot-app)

125 points

a year ago

467.

Show HN: Terminal-Bench-RL: Training long-horizon terminal agents with RL (github.com/Danau5tin)

125 points

10 months ago

468.

Show HN: A nibble-oriented CPU in Verilog to build a scientific calculator (github.com/gdevic)

119 points

22 days ago

469.

Show HN: Agent framework that generates its own topology and evolves at runtime (github.com/adenhq)

107 points

4 months ago

470.

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

106 points

7 years ago

471.

R1 Computer Use (github.com/agentsea)

104 points

a year ago

472.

Show HN: Confidential computing for high-assurance RISC-V embedded systems (github.com/IBM)

103 points

a year ago

473.

Show HN: Nostr Web – decentralized website hosting on Nostr (nweb.shugur.com)

101 points

7 months ago

474.

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

96 points

4 years ago

475.

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

84 points

6 years ago

476.

Show HN: Smelt — an open source test runner for chip developers (silogy-io.github.io)

77 points

2 years ago

477.

Show HN: Stasher – Burn-after-read secrets from the CLI, no server, no trust (github.com/stasher-dev)

72 points

10 months ago

478.

Show HN: Clace – Application Server with support for scaling down to zero (github.com/claceio)

72 points

2 years ago

479.

Show HN: Using LLMs and Embeddings to classify application errors (github.com/highlight)

65 points

3 years ago

480.

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

63 points

5 years ago