Search: github.com/veryfi | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

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

2 points

2 years ago

32.

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

2 points

6 years ago

33.

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

1 point

3 years ago

34.

Show HN: Open-Source Email Verifier (github.com/yolodex-ai)

4 points

6 months ago

35.

Astra v1.0 – Formally verified smart contracts with six mathematical axioms

2 points

5 months ago

36.

Flaky Tests Are Not a Testing Problem. They're a Feedback Loop You Broke

1 point

4 months ago

37.

Hide paid Twitter blue check in 30 seconds with this browser extension (github.com/voidstar0)

33 points

4 years ago

38.

I verified DeepMind's AlphaEvolve matrix multiplication breakthrough with Claude (github.com/PhialsBasement)

30 points

a year ago

39.

Show HN: Node-email-verification – verify user signup with Node and MongoDB (github.com/StDako)

16 points

12 years ago

40.

K2VV: Wild Precision Gaps Across "Kimi K2" API Vendors (github.com/MoonshotAI)

4 points

8 months ago

41.

Email Verification (github.com/blog)

3 points

14 years ago

42.

Verification of Neural Networks via Linear Programming (github.com/dfava)

2 points

8 years ago

43.

Runtime augmentation of Hugging Face without modifying source – CMPSBL Demo (github.com/SweetKenneth)

2 points

2 months ago

44.

New Cryptographic Challenge (github.com/tikred312-afk)

2 points

6 months ago

45.

NHS Covid Pass Verifier Source Code (github.com/nhsx)

2 points

5 years ago

46.

Two-Factor Auth User Verification for Django (github.com/fueled)

2 points

10 years ago

47.

Show HN: ID Verifier – open-source wrapper around OpenID4VP and MDoc protocols (github.com/universal-verify)

1 point

10 months ago

48.

HTTP Headers Verifier (github.com/AvnerCohen)

1 point

6 years ago

49.

Verify email without using database (github.com/iAmShakil)

1 point

7 years ago

50.

Show HN: Node Email Verification – Email-Based User Verification on Node.js (github.com/whitef0x0)

1 point

10 years ago

51.

Aura-State: Formally Verified LLM State Machine Compiler

23 points

3 months ago

52.

Bird – An Alternative to InSpec and Goss, Written on Raku

3 points

5 years ago

53.

Show HN: I Found a Way for Crypto Casinos to Be Fair (probablyfair.org)

3 points

8 months ago

54.

GPG signature verification (github.com/blog)

378 points

10 years ago

55.

Explainer for the Private Verification Tokens (github.com/explainers-by-googlers)

2 points

2 months ago

56.

Rogue Cell / IMSI Catcher kryptonite [pdf] (github.com/TakkoTheBoss)

2 points

9 months ago

57.

Do we still need to exchange and download these APKs like if we are smugglers? (github.com/ministero-salute)

1 point

4 years ago

58.

Chrome/Firefox aren't checking CA revocation lists

81 points

12 years ago

59.

Show HN: SHA-256 quasi-collision with 184/256 matching bits (github.com/POlLLOGAMER)

2 points

5 months ago

60.

Cryptoshares are reality now

2 points

10 years ago