Search: github.com/verifid | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

Show HN: VR.dev – Open-source verifiers for what AI agents did (vr.dev)

3 points

3 months ago

182.

Imrobot – Reverse-CAPTCHA that verifies AI agents, not humans (github.com/leopechnicki)

3 points

3 months ago

183.

A machine-verified formalization of Advaita Vedānta in Isabelle/HOL (github.com/matthew-scherf)

3 points

8 months ago

184.

Show HN: verifiable API and MCP calls (github.com/peacprotocol)

3 points

2 months ago

185.

An agentic verification loop to stop LLMs from faking tests (github.com/tzachbon)

3 points

2 months ago

186.

SPL – AI patterns with verifiable truth scores (github.com/spliq)

3 points

7 months ago

187.

Show HN: VeritasGraph,An on-premise Graph RAG with verifiable source attribution (github.com/bibinprathap)

3 points

9 months ago

188.

Finite math system, verified in Coq – for theory nerds and alt. IT ppl (github.com/probabilistic-minds-consortium)

3 points

10 months ago

189.

Accelerating LLM Serving with Speculative Inference and Token Tree Verification (github.com/flexflow)

3 points

3 years ago

190.

Fwupd – S3 bucket takeover and CVE-2020-10759 signature verification bypass (github.com/justinsteven)

3 points

6 years ago

191.

Package verification using gpg (2015) (github.com/npm)

3 points

8 years ago

192.

List of free software testing and verification resources (github.com/ligurio)

3 points

9 years ago

193.

Dumb and verifiable scrypt implementation (github.com/indutny)

3 points

11 years ago

194.

Patch-level verification for Bundler (github.com/postmodern)

3 points

13 years ago

195.

TournO: Tournament Optimization for Non-Verifiable RL (github.com/haizelabs)

3 points

2 months ago

196.

Show HN: Aura-State – A Formally Verified LLM State Machine Compiler

3 points

3 months ago

197.

CognOS – Trust Verification Gateway for Every AI Decision [Open Source] (github.com/base76-research-lab)

3 points

3 months ago

198.

Show HN: Verified 16.7M Mac chip architecture on $60 Android phone

3 points

4 months ago

199.

Build generative search engine with verifiable answers (github.com/nikolamilosevic86)

3 points

nikolamilosevic

10 months ago

200.

Rust2ada: Converts Rust code to formally verifiable Ada, including itself (github.com/IntuitionAmiga)

3 points

a year ago

201.

Creusot, a deductive verifier for Rust code (github.com/creusot-rs)

3 points

2 years ago

202.

Creusot: A deductive verifier for Rust code (github.com/creusot-rs)

3 points

2 years ago

203.

Bookmarklet to Block Verified Accounts on Twitter (gist.github.com)

3 points

VeninVidiaVicii

3 years ago

204.

Gobra: Automated, modular verifier for Go, based on Viper verification (github.com/viperproject)

3 points

4 years ago

205.

Cranelift: Using E-Graphs for Verified, Cooperating Middle-End Optimizations (github.com/bytecodealliance)

3 points

4 years ago

206.

GitHub is getting SSH commit signing Verified badges, in support of Git 2.34 (github.com/community)

3 points

4 years ago

207.

Gobra: A Program Verifier for Go

3 points

4 years ago

208.

A minimalistic blockchain consensus implemented and verified in Coq (github.com/certichain)

3 points

5 years ago

209.

Google RISCV-DV, An open-source instruction generator for RISC-V verification (github.com/google)

3 points

6 years ago

210.

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

3 points

6 years ago