Search: github.com/verifid | Heykuki News

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)

1 point

7 years ago

2.

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

3 points

a year ago

3.

Show HN: Auth intermediary that cannot authorize. By design (github.com/sbw70)

2 points

3 months ago

4.

Aletheia – deterministic COBOL verification for mainframe migrations (github.com/Aletheia-Verification)

5 points

2 months ago

5.

Show HN: An open-source, RL-native observability framework we've been missing (github.com/kaushikb11)

3 points

8 months ago

6.

Show HN: Small GO library for verify async function response (github.com/PxyUp)

3 points

4 years ago

7.

Show HN: An open-source, RL-native observability framework we've been missing (github.com/kaushikb11)

2 points

8 months ago

8.

Show HN: One provider starts lying at request 50. The quorum catches it (github.com/sbw70)

1 point

3 months ago

9.

Show HN: Verify Your Kubernetes (github.com/avkcode)

1 point

4 months ago

10.

Coinbase On-Chain KYC (github.com/coinbase)

1 point

3 years ago

11.

RNA-Sequencing Software on Kubernetes (github.com)

1 point

4 years ago

12.

Show HN: New library for verify function in Go with generic supports (pkg.go.dev)

1 point

4 years ago

13.

Formal Specification of Constant Product (x × y = k) Market Maker Model (2018) [pdf] (github.com/runtimeverification)

1 point

4 years ago

14.

Show HN: Go – Verifier, embeddable mobile/email verification (github.com/bnkamalesh)

1 point

7 years ago

15.

Show HN: LLM Verified with Monte Carlo Tree Search (github.com/namin)

102 points

3 years ago

16.

Show HN: Self Sovereign Verification – don’t pay for verified (github.com/arxskycom)

4 points

3 years ago

17.

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

3 points

4 years ago

18.

Email verification protocol (github.com/WICG)

214 points

7 months ago

19.

Lean Book: The Hitchhiker's Guide to Logical Verification [pdf] (github.com/blanchette)

177 points

6 years ago

20.

We've Created SMS Number Verifier – Free Disposable SMS Numbers – Tor Supported (github.com/upmasked)

7 points

6 years ago

21.

Show HN: I built an integration for RL training of browser agents for everyone (github.com/PrimeIntellect-ai)

7 points

2 months ago

22.

Show HN: Email Verifier Written in Go (github.com/hsnice16)

5 points

2 years ago

23.

The Hitchhiker’s Guide to Logical Verification [pdf] (github.com/blanchette)

4 points

6 years ago

24.

Show HN: Verifying Rust implementation logic using Lean 4 as a fuzzing oracle (github.com/welltyped-systems)

3 points

5 months ago

25.

Show HN: 97% on SWE-bench Verified with subscription-token agents (github.com/kimjune01)

2 points

11 days ago

26.

AutoRocq: Agentic Theorem Prover for Verification (github.com/NUS-Program-Verification)

2 points

2 months ago

27.

Verifiers: Environments for LLM Reinforcement Learning (github.com/PrimeIntellect-ai)

2 points

8 months ago

28.

Anvil: Building Formally Verified Kubernetes Controllers (github.com/vmware-research)

2 points

2 years ago

29.

Formal verification of the Algorand consensus protocol (github.com/runtimeverification)

2 points

6 years ago

30.

2FA on Laravel with the support of the most popular SMS providers (github.com/alexeygeno)

1 point

3 years ago