Search: github.com/veryfi | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

451.

Nuclear warhead verification with an Apple II (github.com/nuclearfutureslab)

1 point

8 years ago

452.

Spinner: Semi-Automatic Detection of Pinning Without Hostname Verification (github.com/ChrisMcMStone)

1 point

8 years ago

453.

Top GitHub Trending for Go – Free Email Verification API (github.com/sdwolfe32)

1 point

9 years ago

454.

Trumail – A Free Email Verification API Written in Go (github.com/sdwolfe32)

1 point

9 years ago

455.

Simplifying Log verification (github.com/spandhar)

1 point

9 years ago

456.

Show HN: Script to install recent python versions. Verified on .deb based OSs (gist.github.com)

1 point

9 years ago

457.

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

1 point

9 years ago

458.

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

1 point

10 years ago

459.

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

1 point

10 years ago

460.

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

1 point

10 years ago

461.

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

1 point

11 years ago

462.

Postgres Language Server (github.com/supabase)

963 points

3 years ago

463.

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

333 points

3 years ago

464.

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

280 points

8 months ago

465.

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

222 points

a year ago

466.

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

192 points

a month ago

467.

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

161 points

3 months ago

468.

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

159 points

4 years ago

469.

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

156 points

9 years ago

470.

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

151 points

a year ago

471.

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

141 points

2 years ago

472.

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

125 points

a year ago

473.

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

125 points

10 months ago

474.

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

119 points

22 days ago

475.

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

107 points

4 months ago

476.

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

106 points

7 years ago

477.

R1 Computer Use (github.com/agentsea)

104 points

a year ago

478.

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

103 points

a year ago

479.

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

101 points

7 months ago

480.

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

96 points

4 years ago