Search: github.com/provrb | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Show HN: Provepy – A Python decorator that proves your code using Lean and LLMs

2 months ago

3 points

32.

Show HN: L-Rep:Geometry engine,GA multivectors,dynamic trees in a single integer

github.com/nahhididwin

4 months ago

3 points

33.

New PHP SAPI in Safe Rust

6 months ago

3 points

34.

Show HN: Two physics-based programming languages (WPE/TME and Crystalline)

github.com/Heimdall-Organization

7 months ago

3 points

35.

Security Layer 4.0 – First semantic firewall blocks malicious intent"

7 months ago

3 points

36.

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

probablyfair.org

8 months ago

3 points

37.

Show HN: SkillFortify, a formal verification for AI agent skills

github.com/varun369

4 months ago

2 points

38.

Show HN: Lean-pq a typesafe PostgreSQL connector for lean

github.com/typednotes

3 months ago

2 points

39.

Show HN: SkillFortify, Formal verification for AI agents (auto-discovers)

github.com/varun369

4 months ago

2 points

40.

Show HN: I applied Markowitz port. theory to agent teams / proved it in a zkVM

4 months ago

2 points

41.

Ask HN: Should I use SPAM as part of my marketing campaign?

9 years ago

1 points

42.

Principally new search

7 years ago

1 points

43.

Show HN: Blockrand – Verifiable randomness API with a double-blind threat model

github.com/blockrand-api

5 months ago

rishi_blockrand

1 points

44.

Show HN: VOR – A verified runtime with 0% hallucination via observations

5 months ago

1 points

45.

Show HN: Tacit – The missing Layer 3 of the AI agent stack (open source)

github.com/tacitprotocol

4 months ago

1 points

46.

Show HN: Aicpm – Verifiable AI provenance labels for web content

4 months ago

1 points

47.

Show HN: ZkSafeZones – Civilian Protection in Conflict Areas

2 years ago

1 points