Search: github.com/formml | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

481.

Show HN: AIP – An open protocol for verifying what AI agents are allowed to do (github.com/theaniketgiri)

1 point

4 months ago

482.

Show HN: QonQrete – Local-first multi-agent system for sandboxed code generation (github.com/illdynamics)

1 point

6 months ago

483.

Show HN: Xtract – Proof of Concept for Filterable Iterator in Golang (github.com/miyamo2)

1 point

2 years ago

484.

Show HN: Hazmat – I made unrestricted Claude Code safe on macOS (github.com/dredozubov)

1 point

2 months ago

485.

Show HN: PingCRM – Open-source personal networking CRM (github.com/sneg55)

1 point

3 months ago

486.

Show HN: HashTrade – Open-source LLM trading agent with episodic memory (github.com/mertozbas)

1 point

4 months ago

487.

Show HN: CSL MCP Server – Write and Verify AI Safety Policies from Claude/Cursor (pypi.org)

1 point

4 months ago

488.

Show HN: VisiGrid CLI – Git-diff for financial reconciliation (visigrid.app)

1 point

4 months ago

489.

I got 3 parallel agents to change 149 files with 17 errors instead of 500

1 point

5 months ago

490.

Show HN: Axis – A semantics-first logic language co-designed with AI (github.com/axis-foundation)

1 point

6 months ago

491.

Show HN: Pro Color Harmonies – A library for color harmonies (meodai.github.io)

1 point

7 months ago

492.

Show HN: Destinies of Pure Intelligence – A Manifesto

1 point

9 months ago

493.

Show HN: MirrorMind – A Recursive Agent Framework for Interpretable AI (mirrormind-mvp-5o4r8sttmusaptvkckl2n9.streamlit.app)

1 point

10 months ago

494.

Show HN: A kind of looking glass for web abuse

1 point

2 years ago

495.

Tamgu (탐구) a FIL Programming Language

1 point

7 years ago

496.

TryLogic (trylogic.heroku.com)

1 point

13 years ago

497.

GitHub commit Verification logic flaw and bypass

1 point

12 days ago

498.

Show HN: SuperCSV – a typed, self-describing data format (supercsv.com)

1 point

24 days ago

499.

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

1 point

a month ago

500.

Show HN: Webcellar – JavaScript (and TypeScript) in Excel Made Simple (github.com/Acmeon)

1 point

2 months ago

501.

Show HN: OneManCompany The first AI company with real corporate org structure (one-man-company.com)

1 point

2 months ago

502.

New Open Source Release

1 point

3 months ago

503.

Show HN: One, cross domain auto-researching knowledge graph Claude orchestrator (github.com/bcd532)

1 point

3 months ago

504.

Show HN: Another SQLite editor in browser powered by WASM and AI (sql.computelite.com)

1 point

3 months ago

505.

Show HN: RedDragon, LLM-assisted IR analysis of code across languages (github.com/avishek-sen-gupta)

1 point

3 months ago

506.

Show HN: ExtraSuite – pull / push for Google Drive (github.com/think41)

1 point

3 months ago

507.

I modeled traffic-weighted SLOs as probability chains in PromQL

1 point

3 months ago

508.

Show HN: SLOK – SLO composition with traffic-weighted service chains in K8s

1 point

3 months ago

509.

Show HN: NHE – Eliminating Frame Drops in 4K 144Hz via Direct-to-Silicon Logic

1 point

3 months ago

510.

Show HN: Open‑Source Capital Formation OS (Postgres and AI Agents) (github.com/agio711)

1 point

3 months ago