Search: github.com/viridia | Heykuki News

HK

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 years ago

2 points

32.

Scala is learnable [Paul Snively]

psnively.github.com

15 years ago

6 points

33.

Show HN: I Found a Way for Crypto Casinos to Be Fair

probablyfair.org

8 months ago

3 points

34.

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

4 months ago

BizinikiwiBrain

1 points

35.

Verifiable Data Structures (2015) [pdf]

github.com/google

9 years ago

75 points

36.

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

github.com/deepseek-ai

7 months ago

231 points

37.

Cryptographically verifiable code review system for cargo Rust package manager

github.com/crev-dev

5 years ago

95 points

38.

Verifiable science on modified PCR machine

github.com/ClemHeyd

a year ago

53 points

39.

Google Trillian: A Verifiable Data Structure Architecture for Large Merkle Trees

github.com/google

8 years ago

17 points

40.

Show HN: Like Twitter, but Immutable, Verifiable and Decentralized

github.com/publiusfederalist

4 years ago

14 points

41.

Decentral, Crypto-Secure, Anonymous, Verifiable Voting/Polling System

github.com/davejakenic

4 years ago

9 points

42.

Verifiable Brute Force Strength

gist.github.com

6 months ago

9 points

43.

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning

github.com/deepseek-ai

7 months ago

9 points

44.

An Embedded DSL for Verifiable Computing

github.com/gstew5

11 years ago

8 points

45.

QuorumOS: A minimal, deterministic OS for verifiable execution in TEEs

github.com/tkhq

a year ago

7 points

46.

Agile V: Turning AI Agents into Verifiable Engineering Systems

github.com/Agile-V

a month ago

6 points

47.

Google's Trillian – Verifiable Data Structures

github.com/google

4 years ago

6 points

48.

Trillian: A transparent, scalable and cryptographically verifiable data store

github.com/google

7 years ago

6 points

49.

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning

github.com/deepseek-ai

7 months ago

5 points

50.

Paper-First Verifiable Credentials Specification Using QR Codes

github.com/Path-Check

4 years ago

3 points

51.

Show HN: verifiable API and MCP calls

github.com/peacprotocol

2 months ago

3 points

52.

SPL – AI patterns with verifiable truth scores

github.com/spliq

8 months ago

3 points

53.

Show HN: VeritasGraph,An on-premise Graph RAG with verifiable source attribution

github.com/bibinprathap

9 months ago

3 points

54.

Dumb and verifiable scrypt implementation

github.com/indutny

11 years ago

3 points

55.

Witness – signed, offline-verifiable records of real-time Grok observations

github.com/Thinklanceai

25 days ago

3 points

56.

TournO: Tournament Optimization for Non-Verifiable RL

github.com/haizelabs

3 months ago

3 points

57.

Build generative search engine with verifiable answers

github.com/nikolamilosevic86

a year ago

nikolamilosevic

3 points

58.

Rust2ada: Converts Rust code to formally verifiable Ada, including itself

github.com/IntuitionAmiga

a year ago

3 points

59.

Chia VDF (Verifiable Delay Function) Competition and Implementation

github.com/Chia-Network

8 years ago

3 points

60.

Show HN: Circe – Deterministic, offline-verifiable receipts for AI agent actions

github.com/wv26296-ux

5 months ago

2 points