Search: github.com/verifid | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Google's Trillian – Verifiable Data Structures (github.com/google)

6 points

4 years ago

152.

Legacy LVFS S3 bucket takeover and CVE-2020-10759 fwupd sig verification bypass (github.com/justinsteven)

6 points

6 years ago

153.

Trillian: A transparent, scalable and cryptographically verifiable data store (github.com/google)

6 points

7 years ago

154.

Show HN: Proven, a Keybase-based alternative to Twitter's verified accounts (github.com/dschep)

6 points

9 years ago

155.

Cutting Edge Technology: Deep Learning for Speaker Verification in the Wild (github.com/astorfi)

6 points

9 years ago

156.

OWASP Application Security Verification Standard 3.0 (github.com/OWASP)

5 points

11 years ago

157.

Show HN: Formally Verified Leaderless Log Protocol for Kafka (github.com/lakestream-io)

5 points

2 months ago

158.

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning (github.com/deepseek-ai)

5 points

6 months ago

159.

Phone verification at no cost (github.com/natsu90)

5 points

10 years ago

160.

Pdiffy - Library for Automated UI Verification testing with Perceptual Diffs

5 points

13 years ago

161.

Show HN: LemmaScript, a verification toolchain for TypeScript via Dafny (github.com/midspiral)

5 points

a month ago

162.

Obfuscated information verification protocol sketch (github.com/justin4957)

5 points

6 months ago

163.

Show HN: Structural Verification for LLMs: Why Best-of-N Isn't Enough (github.com/ShinobuMiya)

5 points

6 months ago

164.

Show HN: I Made a Node.js SMTP Email Verification Library (github.com/getpingback)

5 points

2 years ago

165.

Agda2hs: Verified and readable Haskell code from Agda (github.com/agda)

5 points

4 years ago

166.

EwoK: secure embedded micro-kernel using SPARK/Ada formal verification (github.com/wookey-project)

5 points

8 years ago

167.

Show HN: Pre-execution verification for LLM-generated agentic workflows (github.com/le0li0n)

4 points

3 months ago

168.

Show HN: Formal – Formal verification for AI-generated code using Lean 4 (github.com/yamafaktory)

4 points

2 months ago

169.

The age verification status of Open Source Operating Systems (github.com/BryanLunduke)

4 points

3 months ago

170.

ZK (Zero knowledge) proof for SHA-256: 312-byte proof, ~18µs verification (github.com/chetannothingness)

4 points

4 months ago

171.

Nedster – An open-source, local-first coding agent that verifies its own work (github.com/unrealumanga)

4 points

2 months ago

172.

Show HN: Quantum-Enhanced Mathematical Reasoning System – Expert Verification

4 points

a year ago

173.

Training Software Engineering Agents and Verifiers with SWE-Gym (github.com/SWE-Gym)

4 points

a year ago

174.

Show HN: Valv – Formally Verified KMS Alternative to HashiCorp Vault (github.com/molnett)

4 points

2 years ago

175.

Show HN: OQP – A verification protocol for AI agents

4 points

2 months ago

176.

DMATH – Formal Verification Tools (github.com/dropbox)

4 points

2 months ago

177.

Show HN: VeriMed – open-source medical license verification (github.com/daretechie)

4 points

5 months ago

178.

SWE-bench verified agents may look at future repository state (github.com/SWE-bench)

4 points

9 months ago

179.

AutoCorrode: Verification Infrastructure for Isabelle/HOL (github.com/awslabs)

4 points

a year ago

180.

EverCrypt: A Verified Crypto Provider (github.com/project-everest)

4 points

7 years ago