Search: github.com/Canop | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Show HN: Unicmp – fast universal ordering function for Go (pkg.go.dev)

3 points

a year ago

152.

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

2 points

5 months ago

153.

Determinant – a minimal deterministic governance layer for AI pipelines

2 points

3 months ago

154.

Show HN: Verify-before-release x402 gateway for AI agent transactions

2 points

4 months ago

155.

Show HN: MEDF – Mutable Expression Description Format (github.com/maskin)

2 points

4 months ago

156.

Show HN: A Constitutional Framework for Ethical AI Decision-Making (github.com/SebastFock)

2 points

5 months ago

157.

Show HN: Jsonpak: JSON that is not bloated for Nim (github.com/planetis-m)

2 points

2 years ago

158.

Prism License Framework (a modular license generator)

2 points

2 months ago

159.

Show HN: We Evaluates Medical Research Agent Skills (github.com/aipoch)

2 points

2 months ago

160.

AAP – An open standard for verifiable AI agent actions (RFC draft)

2 points

3 months ago

161.

Show HN: Agentloom – import skills, agents, commands, and MCP from repos (agentloom.sh)

2 points

3 months ago

162.

Show HN: Browser-based EEG neurofeedback detecting golden ratio brain coherence (resonate.neurokinetikz.com)

2 points

4 months ago

163.

Ask HN: Critical review of a spec-first economic protocol

2 points

5 months ago

164.

Show HN: Postgres Temporal Tables and Logical Replication

2 points

7 years ago

165.

Show HN: Prima Veritas – Deterministic Analytics Engine for Reproducible ML (github.com/bryanziehl)

1 point

6 months ago

166.

Ask HN: Open-Source Medical School

1 point

4 years ago

167.

Show HN: Userscript that shows HN submission count for any page (gist.github.com)

1 point

2 months ago

168.

Show HN: Argus-seal – Forensic-ready log integrity using Merkle Trees (github.com/gamer-null)

1 point

4 months ago

169.

Show HN: cx_log gem to create one log per request (github.com/gupta-ankit)

1 point

2 years ago

170.

Ask HN: Embeddable Value-Oriented Languages?

1 point

3 years ago

171.

FrankenRobot - Android injection library based on resources qualifier mechanism. (github.com/menny)

1 point

13 years ago

172.

Show HN: Loom – A Markdown knowledge graph for better coding-agent execution (github.com/z3z1ma)

1 point

a month ago

173.

Show HN: deterministic oracle for hardware designs with replayable proofs (suprastructure.net)

1 point

a month ago

174.

Show HN: I got frustrated with SMILES, so I built one (github.com/sangeet01)

1 point

3 months ago

175.

Show HN: Rust-First L3 Limit Order Book Backtesting Engine with Python Bindings (github.com/chasemetoyer)

1 point

3 months ago

176.

Show HN: GuardClaw – cryptographically verifiable execution logs for AI agents (github.com/viruswami5511)

1 point

3 months ago

177.

Show HN: GuardLLM, hardened tool calls for LLM apps (github.com/mhcoen)

1 point

4 months ago

178.

Show HN: Nono – Kernel-enforced sandboxing for AI agents (github.com/lukehinds)

1 point

4 months ago

179.

Show HN: Faramesh – A deterministic gate for stochastic Autonomous AI agents

1 point

4 months ago

180.

Show HN: AI Domain Data Standard – Complete Tooling Suite (ai-domain-data.org)

1 point

5 months ago