Search: github.com/verifid | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Agile V: Turning AI Agents into Verifiable Engineering Systems

github.com/Agile-V

a month ago

6 points

152.

Google's Trillian – Verifiable Data Structures

github.com/google

4 years ago

6 points

153.

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

github.com/justinsteven

6 years ago

6 points

154.

Trillian: A transparent, scalable and cryptographically verifiable data store

github.com/google

7 years ago

6 points

155.

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

github.com/dschep

9 years ago

6 points

156.

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

github.com/astorfi

9 years ago

6 points

157.

OWASP Application Security Verification Standard 3.0

github.com/OWASP

11 years ago

5 points

158.

Show HN: Formally Verified Leaderless Log Protocol for Kafka

github.com/lakestream-io

2 months ago

5 points

159.

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning

github.com/deepseek-ai

7 months ago

5 points

160.

Phone verification at no cost

github.com/natsu90

10 years ago

5 points

161.

Pdiffy - Library for Automated UI Verification testing with Perceptual Diffs

13 years ago

5 points

162.

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

github.com/midspiral

2 months ago

5 points

163.

Obfuscated information verification protocol sketch

github.com/justin4957

6 months ago

5 points

164.

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

github.com/ShinobuMiya

6 months ago

5 points

165.

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

github.com/getpingback

2 years ago

5 points

166.

Agda2hs: Verified and readable Haskell code from Agda

github.com/agda

4 years ago

5 points

167.

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

github.com/wookey-project

8 years ago

5 points

168.

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

github.com/le0li0n

4 months ago

4 points

169.

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

github.com/yamafaktory

2 months ago

4 points

170.

The age verification status of Open Source Operating Systems

github.com/BryanLunduke

3 months ago

4 points

171.

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

github.com/chetannothingness

5 months ago

4 points

172.

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

github.com/unrealumanga

3 months ago

4 points

173.

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

a year ago

4 points

174.

Training Software Engineering Agents and Verifiers with SWE-Gym

github.com/SWE-Gym

a year ago

4 points

175.

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

github.com/molnett

2 years ago

4 points

176.

Show HN: OQP – A verification protocol for AI agents

2 months ago

4 points

177.

DMATH – Formal Verification Tools

github.com/dropbox

3 months ago

4 points

178.

Show HN: VeriMed – open-source medical license verification

github.com/daretechie

6 months ago

4 points

179.

SWE-bench verified agents may look at future repository state

github.com/SWE-bench

10 months ago

4 points

180.

AutoCorrode: Verification Infrastructure for Isabelle/HOL

github.com/awslabs

a year ago

4 points