Search: github.com/provrb | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Show HN: L-Rep:Geometry engine,GA multivectors,dynamic trees in a single integer (github.com/nahhididwin)

3 points

3 months ago

32.

New PHP SAPI in Safe Rust

3 points

5 months ago

33.

Show HN: Two physics-based programming languages (WPE/TME and Crystalline) (github.com/Heimdall-Organization)

3 points

6 months ago

34.

Security Layer 4.0 – First semantic firewall blocks malicious intent"

3 points

6 months ago

35.

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

3 points

8 months ago

36.

Show HN: SkillFortify, a formal verification for AI agent skills (github.com/varun369)

2 points

3 months ago

37.

Show HN: Lean-pq a typesafe PostgreSQL connector for lean (github.com/typednotes)

2 points

3 months ago

38.

Show HN: SkillFortify, Formal verification for AI agents (auto-discovers) (github.com/varun369)

2 points

3 months ago

39.

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

2 points

3 months ago

40.

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

1 point

9 years ago

41.

Principally new search

1 point

7 years ago

42.

Show HN: Blockrand – Verifiable randomness API with a double-blind threat model (github.com/blockrand-api)

1 point

rishi_blockrand

4 months ago

43.

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

1 point

4 months ago

44.

Show HN: Tacit – The missing Layer 3 of the AI agent stack (open source) (github.com/tacitprotocol)

1 point

3 months ago

45.

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

1 point

4 months ago

46.

Show HN: ZkSafeZones – Civilian Protection in Conflict Areas (zklocus.dev)

1 point

2 years ago