Search: github.com/verifid | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Ner-D: Python Module for Named Entity Recognition

github.com/verifid

7 years ago

1 points

2.

Show HN: I built a proxy to bypass adblock for OneSignal and Google Tag Manager

a year ago

3 points

3.

Show HN: Auth intermediary that cannot authorize. By design

github.com/sbw70

4 months ago

2 points

4.

Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed

github.com/schildep

18 days ago

93 points

5.

Aletheia – deterministic COBOL verification for mainframe migrations

github.com/Aletheia-Verification

3 months ago

5 points

6.

Show HN: An open-source, RL-native observability framework we've been missing

github.com/kaushikb11

9 months ago

3 points

7.

Show HN: Small GO library for verify async function response

github.com/PxyUp

4 years ago

3 points

8.

Show HN: An open-source, RL-native observability framework we've been missing

github.com/kaushikb11

9 months ago

2 points

9.

Show HN: One provider starts lying at request 50. The quorum catches it

github.com/sbw70

4 months ago

1 points

10.

Show HN: Verify Your Kubernetes

github.com/avkcode

4 months ago

1 points

11.

Coinbase On-Chain KYC

github.com/coinbase

3 years ago

1 points

12.

RNA-Sequencing Software on Kubernetes

4 years ago

1 points

13.

Show HN: New library for verify function in Go with generic supports

4 years ago

1 points

14.

Formal Specification of Constant Product (x × y = k) Market Maker Model (2018) [pdf]

github.com/runtimeverification

5 years ago

1 points

15.

Show HN: Go – Verifier, embeddable mobile/email verification

github.com/bnkamalesh

7 years ago

1 points

16.

Show HN: LLM Verified with Monte Carlo Tree Search

github.com/namin

3 years ago

102 points

17.

Show HN: Self Sovereign Verification – don’t pay for verified

github.com/arxskycom

3 years ago

4 points

18.

Ask HN: What's the Deal with Lineageosroms.com?

4 years ago

3 points

19.

Email verification protocol

github.com/WICG

8 months ago

214 points

20.

Lean Book: The Hitchhiker's Guide to Logical Verification [pdf]

github.com/blanchette

6 years ago

177 points

21.

We've Created SMS Number Verifier – Free Disposable SMS Numbers – Tor Supported

github.com/upmasked

6 years ago

7 points

22.

Show HN: I built an integration for RL training of browser agents for everyone

github.com/PrimeIntellect-ai

3 months ago

7 points

23.

Show HN: Email Verifier Written in Go

github.com/hsnice16

2 years ago

5 points

24.

The Hitchhiker’s Guide to Logical Verification [pdf]

github.com/blanchette

6 years ago

4 points

25.

Show HN: Verifying Rust implementation logic using Lean 4 as a fuzzing oracle

github.com/welltyped-systems

6 months ago

3 points

26.

Show HN: 97% on SWE-bench Verified with subscription-token agents

github.com/kimjune01

a month ago

2 points

27.

AutoRocq: Agentic Theorem Prover for Verification

github.com/NUS-Program-Verification

3 months ago

2 points

28.

Verifiers: Environments for LLM Reinforcement Learning

github.com/PrimeIntellect-ai

9 months ago

2 points

29.

Anvil: Building Formally Verified Kubernetes Controllers

github.com/vmware-research

2 years ago

2 points

30.

Formal verification of the Algorand consensus protocol

github.com/runtimeverification

6 years ago

2 points