Search: github.com/viridia | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Scala is learnable [Paul Snively] (psnively.github.com)

6 points

15 years ago

32.

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

3 points

8 months ago

33.

Show HN: A non-programmer built a blockchain ecosystem using only AI

1 point

BizinikiwiBrain

3 months ago

34.

Verifiable Data Structures (2015) [pdf] (github.com/google)

75 points

9 years ago

35.

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning [pdf] (github.com/deepseek-ai)

231 points

6 months ago

36.

Cryptographically verifiable code review system for cargo Rust package manager (github.com/crev-dev)

95 points

5 years ago

37.

Verifiable science on modified PCR machine (github.com/ClemHeyd)

53 points

a year ago

38.

Google Trillian: A Verifiable Data Structure Architecture for Large Merkle Trees (github.com/google)

17 points

8 years ago

39.

Show HN: Like Twitter, but Immutable, Verifiable and Decentralized (github.com/publiusfederalist)

14 points

4 years ago

40.

Decentral, Crypto-Secure, Anonymous, Verifiable Voting/Polling System (github.com/davejakenic)

9 points

4 years ago

41.

Verifiable Brute Force Strength (gist.github.com)

9 points

5 months ago

42.

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning (github.com/deepseek-ai)

9 points

6 months ago

43.

An Embedded DSL for Verifiable Computing (github.com/gstew5)

8 points

11 years ago

44.

QuorumOS: A minimal, deterministic OS for verifiable execution in TEEs (github.com/tkhq)

7 points

a year ago

45.

Agile V: Turning AI Agents into Verifiable Engineering Systems (github.com/Agile-V)

6 points

9 days ago

46.

Google's Trillian – Verifiable Data Structures (github.com/google)

6 points

4 years ago

47.

Trillian: A transparent, scalable and cryptographically verifiable data store (github.com/google)

6 points

7 years ago

48.

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning (github.com/deepseek-ai)

5 points

6 months ago

49.

Paper-First Verifiable Credentials Specification Using QR Codes (github.com/Path-Check)

3 points

4 years ago

50.

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

3 points

2 months ago

51.

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

3 points

7 months ago

52.

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

3 points

9 months ago

53.

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

3 points

11 years ago

54.

Witness – signed, offline-verifiable records of real-time Grok observations (github.com/Thinklanceai)

3 points

7 days ago

55.

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

3 points

2 months ago

56.

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

3 points

nikolamilosevic

10 months ago

57.

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

3 points

a year ago

58.

Chia VDF (Verifiable Delay Function) Competition and Implementation (github.com/Chia-Network)

3 points

8 years ago

59.

Show HN: Circe – Deterministic, offline-verifiable receipts for AI agent actions (github.com/wv26296-ux)

2 points

5 months ago

60.

Show HN: Nova Stack – Verifiable TEE Apps on AWS Nitro with ZKP Attestation (github.com/sparsity-xyz)

2 points

4 months ago