Search: github.com/CIRCL | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

541.

Show HN: Lambda Quest – Scheme live-coding

2 points

4 years ago

542.

Show HN: Meaning-Based Judgment Simulation for LLM Interfaces

1 point

a year ago

543.

Hi, I'm Viktor.I wasn't a programmer. I didn't build apps. I didn't write code

1 point

5 months ago

544.

Show HN: Quantum4J – A Pure Java Quantum Computing SDK (github.com/vijayanandg)

1 point

7 months ago

545.

Benchmark of ZKVM and Proving Schemes

1 point

a year ago

546.

Show HN: Hyperlocal DNSSEC Validating Unbound Docker Image (github.com/madnuttah)

1 point

4 years ago

547.

Show HN: Busbar – every LLM behind one URL, in a single Rust binary (github.com/MattJackson)

1 point

18 hours ago

548.

Show HN: Elia – A governed cognitive architecture (Phase 0 live) (github.com/Jmc-arch)

1 point

3 months ago

549.

Show HN: Ffetch v5 – TypeScript-first fetch client (npmjs.com)

1 point

3 months ago

550.

Show HN: Single-header C++ libraries for LLM APIs – zero deps beyond libcurl

1 point

3 months ago

551.

Show HN: Reflex – local code search engine and MCP server for AI coding (github.com/reflex-search)

1 point

3 months ago

552.

Show HN: The Bridge Language – Declarative dataflow for controlled egress (github.com/stackables)

1 point

3 months ago

553.

Show HN: A2A Protocol – A Quantum-Humanistic Economy for AI Agents on Base L2

1 point

4 months ago

554.

Show HN: AgentForge – Multi-LLM Orchestrator in 15KB (github.com/ChunkyTortoise)

1 point

4 months ago

555.

Show HN: C2PA is broken. I fixed it with an adaptive registry and open protocol (github.com/HumanLemming996)

1 point

4 months ago

556.

Show HN: Open-source zero-trust framework for AI agents- 12 services, all tested (berlinailabs.de)

1 point

4 months ago

557.

Show HN: I built a dashboard to stop AI agents from burning my API credits (github.com/justin55afdfdsf5ds45f4ds5f45ds4)

1 point

4 months ago

558.

Show HN: Redress – failure policy for Python services (github.com/aponysus)

1 point

4 months ago

559.

Show HN: Rtipc – real-time, zero-copy IPC for Linux (github.com/mausys)

1 point

4 months ago

560.

Show HN: Atrion – Deterministic traffic orchestration using physics (Node.js) (github.com/laphilosophia)

1 point

5 months ago

561.

Show HN: Pinakes – Open-source library system with built-in public catalog (github.com/fabiodalez-dev)

1 point

6 months ago

562.

Show HN: A roguelike with a physics sandbox and Excel clone as minigames

1 point

8 months ago

563.

Show HN: I am building nerd: ed for live nw flows (file in motion) (github.com/DantrazTrev)

1 point

10 months ago

564.

Show HN: TyxonQ, A Chinese Full-Stack Quantum Software Framework on Real Machine (github.com/QureGenAI-Biotech)

1 point

10 months ago

565.

Show HN: Cryptographic proofs that algorithms stay fair over time [pdf] (github.com/skylessdev)

1 point

10 months ago

566.

I built orKa-reasoning: a modular orchestration layer for explainable AI agents

1 point

marcosomma-orka

a year ago

567.

Show HN: Templon – A strict, modern template string engine for JavaScript/TS (github.com/amirfarzamnia)

1 point

a year ago

568.

Show HN: Solving the Millionaires' Problem in Rust (github.com/vaktibabat)

1 point

a year ago

569.

Show HN: Guardian – A Lightweight Alternative to Failsafe

1 point

a year ago

570.

Show HN: I need feedback on my dependency visualization library (github.com/jnoncode)

1 point

2 years ago