Search: github.com/gunar | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

631.

Show HN: A Source File Viewer (github.com/russellw)

3 points

a year ago

632.

biski64 – Fast C PRNG (.42ns), 2^64 Period, BigCrush/PractRand Pass (github.com/danielcota)

3 points

a year ago

633.

Show HN: Scira-multilingual – Making AI search available in 14 languages (scira.generaltranslation.app)

3 points

a year ago

634.

Show HN: Currex, Pythonic currency calculator with real-time exchange rates (github.com/stared)

3 points

a year ago

635.

Show HN: News Site for Psychiatry, Neuroscience, Biohacking, DeSci Run by LLM (news.elata.bio)

3 points

2 years ago

636.

Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI (github.com/Chimera-Protocol)

2 points

4 months ago

637.

Show HN: A new programming language stronger than SQL, Java, and Python? (github.com/SPLWare)

2 points

3 years ago

638.

New Open Source from Non-Traditional Builder

2 points

3 months ago

639.

Ask HN: Using GPT as a logic circuit instead of a text generator – Anyone tried?

2 points

a year ago

640.

Show HN: Open Line Protocol – a minimal wire for AI agents (MIT) (github.com/terryncew)

2 points

9 months ago

641.

Show HN: Hallx – Hallucination risk scoring for LLM outputs (github.com/dhanushk-offl)

2 points

2 months ago

642.

Hawkeye – open-source flight recorder

2 points

3 months ago

643.

Show HN: DashClaw – intercept and audit AI agent decisions before they execute (github.com/ucsandman)

2 points

3 months ago

644.

Show HN: OmoiOS–190K lines of Python to stop babysitting AI agents (Apache 2.0) (github.com/kivo360)

2 points

3 months ago

645.

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

2 points

3 months ago

646.

Meishi Challenges Apple/Google: Open-Source P2P E2EE Contacts

2 points

3 months ago

647.

Show HN: Assembly Language for Agents (github.com/HuyNguyenAu)

2 points

4 months ago

648.

Show HN: I built a "sudo" mechanism for AI agents (github.com/cordum-io)

2 points

5 months ago

649.

Show HN: Apache TacticalMesh – Open-source tactical mesh networking for defense (github.com/TamTunnel)

2 points

5 months ago

650.

Show HN: I built an open source AI gateway that proxy calls to multiple LLMs (github.com/wx-yz)

2 points

a year ago

651.

We scanned 73 open-source MCP servers. Here's what source code analysis found

2 points

2 months ago

652.

Alive – Five Markdown files that give Claude Code a persistent memory

2 points

3 months ago

653.

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

2 points

3 months ago

654.

Show HN: HELmR – A runtime control layer for autonomous agents (github.com/helmr-labs)

2 points

3 months ago

655.

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

2 points

3 months ago

656.

Show HN: Raypher–eBPF-based runtime security and hardware identity for AI agents (github.com/kidigapeet)

2 points

4 months ago

657.

Show HN: ClawSec an open-source, community-driven secure skill suite (github.com/prompt-security)

2 points

4 months ago

658.

Ask HN: When should you stop building an open-source AI agent framework?

2 points

4 months ago

659.

Show HN: Wozz – open-source Kubernetes cost linter and cluster auditor

2 points

5 months ago

660.

Show HN: An AI collaboration playbook(AGENTS.md and code map and template) (privydrop.app)

2 points

5 months ago