Search: github.com/veryfi | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning [pdf]

github.com/deepseek-ai

7 months ago

231 points

92.

CompCert – Formally-verified C compiler

github.com/AbsInt

5 years ago

227 points

93.

Open source calculator firmware DB48X forbids CA/CO use due to age verification

4 months ago

225 points

94.

Verified Spec-Driven Development (VSDD)

gist.github.com

4 months ago

211 points

95.

Make formal verification and provably correct software practical and mainstream

github.com/magmide

4 years ago

204 points

96.

Dafny – A programming language with a program verifier

github.com/Microsoft

9 years ago

165 points

97.

Coq-of-rust: Formal verification tool for Rust

github.com/formal-land

a year ago

159 points

98.

Verus: Verified Rust for low-level systems code

github.com/secure-foundations

a year ago

158 points

99.

Show HN: Phone verification at no cost

github.com/natsu90

10 years ago

147 points

100.

Show HN: Add license key verification to your apps

github.com/furkansenharputlu

6 years ago

131 points

101.

Attempting (Failed) Verification of the Wright Signature

github.com/patio11

10 years ago

118 points

102.

Store birth date in systemd for age verification

github.com/systemd

3 months ago

116 points

103.

Dafny is a verification-aware programming language

github.com/dafny-lang

2 years ago

107 points

104.

I traced $2B in nonprofit grants for Meta and Age Verification lobbying

3 months ago

99 points

105.

Cryptographically verifiable code review system for cargo Rust package manager

github.com/crev-dev

5 years ago

95 points

106.

Show HN: Cuq – Formal Verification of Rust GPU Kernels

github.com/neelsomani

8 months ago

94 points

107.

Show HN: Vekos – a Rust OS with Built-In Cryptographic Verification

github.com/JGiraldo29

2 years ago

82 points

108.

Show HN: Kexa.io – Open-Source IT Security and Compliance Verification

a year ago

patrick4urcloud

81 points

109.

Dafny: verification-aware programming language

github.com/Microsoft

8 years ago

78 points

110.

Show HN: Anonymous Age Verification

gist.github.com

10 months ago

71 points

111.

Dafny: Verification-Aware Programming Language

github.com/dafny-lang

6 years ago

64 points

112.

Show HN: Formally verified FPGA watchdog for AM broadcast in unmanned tunnels

github.com/Park07

4 months ago

anonymoosestdnt

62 points

113.

Show HN: Using 3D Convolutional Neural Networks for Speaker Verification

github.com/astorfi

9 years ago

59 points

114.

DoesItAgeVerify: The age verification status of Open Source Operating Systems

github.com/BryanLunduke

3 months ago

57 points

115.

Par2cmdline is a PAR 2.0 compatible file verification and repair tool

github.com/Parchive

5 years ago

53 points

116.

CakeML: A verified implementation of ML

github.com/CakeML

10 years ago

53 points

117.

Verifiable science on modified PCR machine

github.com/ClemHeyd

a year ago

53 points

118.

Show HN: Formal Verification for Machine Learning Models Using Lean 4

github.com/fraware

a year ago

52 points

119.

Show HN: I built a P2P network where AI agents publish formally verified science

3 months ago

FranciscoAngulo

47 points

120.

Orion 0.17 – X25519 with formally-verified field arithmetic and serde support

github.com/orion-rs

5 years ago

43 points