Search: github.com/veryfi | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Show HN: Viveka: filter LLM output against a Lean-verified Advaita Vedanta model

github.com/SpecStudio-net

21 days ago

7 points

152.

Show HN: Add license key verification to your apps

github.com/furkansenharputlu

6 years ago

7 points

153.

Machine-verified proof that M3P ∈ P and P = NP via Pedigree Polytopes

github.com/TiruArt

18 days ago

6 points

154.

Show HN: I Built a Groth16 ZK-Proof Verifier from Scratch Using Rust

github.com/Dyslex7c

2 years ago

6 points

155.

FStar: An ML-like language with a type system for program verification

github.com/nikswamy

12 years ago

6 points

156.

Agile V: Turning AI Agents into Verifiable Engineering Systems

github.com/Agile-V

a month ago

6 points

157.

Google's Trillian – Verifiable Data Structures

github.com/google

4 years ago

6 points

158.

Legacy LVFS S3 bucket takeover and CVE-2020-10759 fwupd sig verification bypass

github.com/justinsteven

6 years ago

6 points

159.

Trillian: A transparent, scalable and cryptographically verifiable data store

github.com/google

7 years ago

6 points

160.

Show HN: Proven, a Keybase-based alternative to Twitter's verified accounts

github.com/dschep

9 years ago

6 points

161.

Cutting Edge Technology: Deep Learning for Speaker Verification in the Wild

github.com/astorfi

9 years ago

6 points

162.

OWASP Application Security Verification Standard 3.0

github.com/OWASP

11 years ago

5 points

163.

Show HN: Formally Verified Leaderless Log Protocol for Kafka

github.com/lakestream-io

2 months ago

5 points

164.

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning

github.com/deepseek-ai

7 months ago

5 points

165.

Phone verification at no cost

github.com/natsu90

10 years ago

5 points

166.

Pdiffy - Library for Automated UI Verification testing with Perceptual Diffs

13 years ago

5 points

167.

Show HN: LemmaScript, a verification toolchain for TypeScript via Dafny

github.com/midspiral

2 months ago

5 points

168.

Obfuscated information verification protocol sketch

github.com/justin4957

6 months ago

5 points

169.

Show HN: Structural Verification for LLMs: Why Best-of-N Isn't Enough

github.com/ShinobuMiya

6 months ago

5 points

170.

Show HN: I Made a Node.js SMTP Email Verification Library

github.com/getpingback

2 years ago

5 points

171.

Agda2hs: Verified and readable Haskell code from Agda

github.com/agda

4 years ago

5 points

172.

EwoK: secure embedded micro-kernel using SPARK/Ada formal verification

github.com/wookey-project

8 years ago

5 points

173.

Show HN: Pre-execution verification for LLM-generated agentic workflows

github.com/le0li0n

4 months ago

4 points

174.

Show HN: Formal – Formal verification for AI-generated code using Lean 4

github.com/yamafaktory

2 months ago

4 points

175.

The age verification status of Open Source Operating Systems

github.com/BryanLunduke

3 months ago

4 points

176.

ZK (Zero knowledge) proof for SHA-256: 312-byte proof, ~18µs verification

github.com/chetannothingness

5 months ago

4 points

177.

Nedster – An open-source, local-first coding agent that verifies its own work

github.com/unrealumanga

2 months ago

4 points

178.

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

a year ago

4 points

179.

Training Software Engineering Agents and Verifiers with SWE-Gym

github.com/SWE-Gym

a year ago

4 points

180.

Show HN: Valv – Formally Verified KMS Alternative to HashiCorp Vault

github.com/molnett

2 years ago

4 points