Search: github.com/veryfi | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Show HN: I Built a Groth16 ZK-Proof Verifier from Scratch Using Rust (github.com/Dyslex7c)

6 points

a year ago

152.

FStar: An ML-like language with a type system for program verification (github.com/nikswamy)

6 points

12 years ago

153.

Agile V: Turning AI Agents into Verifiable Engineering Systems (github.com/Agile-V)

6 points

10 days ago

154.

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

6 points

4 years ago

155.

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

6 points

6 years ago

156.

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

6 points

7 years ago

157.

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

6 points

9 years ago

158.

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

6 points

9 years ago

159.

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

5 points

11 years ago

160.

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

5 points

2 months ago

161.

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

5 points

6 months ago

162.

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

5 points

10 years ago

163.

Pdiffy - Library for Automated UI Verification testing with Perceptual Diffs

5 points

13 years ago

164.

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

5 points

a month ago

165.

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

5 points

6 months ago

166.

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

5 points

6 months ago

167.

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

5 points

2 years ago

168.

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

5 points

4 years ago

169.

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

5 points

8 years ago

170.

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

4 points

3 months ago

171.

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

4 points

2 months ago

172.

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

4 points

3 months ago

173.

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

4 points

4 months ago

174.

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

4 points

2 months ago

175.

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

4 points

a year ago

176.

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

4 points

a year ago

177.

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

4 points

2 years ago

178.

Show HN: OQP – A verification protocol for AI agents

4 points

2 months ago

179.

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

4 points

2 months ago

180.

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

4 points

5 months ago