Search: github.com/formml | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

481.

Show HN: DiscoGrad – Automatically differentiate across branches in C++ programs

github.com/DiscoGrad

2 years ago

2 points

482.

Ask HN: Should HN officially experiment with improving its ranking algorithms?

3 years ago

2 points

483.

Show HN: Dixit lets you search quotes close to your idea [Semantic quote search]

3 years ago

2 points

484.

Show HN: Kelp – A simple replacement for Homebrew written in Go

github.com/crhuber

4 years ago

2 points

485.

Multidimensional-relational-algebra

8 years ago

2 points

486.

Ask HN: Does updating license years matter for Open Source Software

10 years ago

StylifyYourBlog

2 points

487.

Show HN: Building a future where security checks leave no permanent trails

5 months ago

1 points

488.

Ask HN: The Great Programmer M-F Reset (with non-scientific moon claims)

5 years ago

1 points

489.

Over.js - Elegant function overloading in JavaScript

github.com/stretchr

13 years ago

1 points

490.

Show HN: Open-sourced an email QA lib 8 checks across 12 clients in 1 audit call

github.com/emailens

4 months ago

1 points

491.

Show HN: AIP – An open protocol for verifying what AI agents are allowed to do

github.com/theaniketgiri

4 months ago

1 points

492.

Show HN: QonQrete – Local-first multi-agent system for sandboxed code generation

github.com/illdynamics

6 months ago

1 points

493.

Show HN: Xtract – Proof of Concept for Filterable Iterator in Golang

github.com/miyamo2

2 years ago

1 points

494.

Show HN: Hazmat – I made unrestricted Claude Code safe on macOS

github.com/dredozubov

3 months ago

1 points

495.

Show HN: PingCRM – Open-source personal networking CRM

github.com/sneg55

3 months ago

1 points

496.

Show HN: HashTrade – Open-source LLM trading agent with episodic memory

github.com/mertozbas

4 months ago

1 points

497.

Show HN: CSL MCP Server – Write and Verify AI Safety Policies from Claude/Cursor

4 months ago

1 points

498.

Show HN: VisiGrid CLI – Git-diff for financial reconciliation

5 months ago

1 points

499.

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

5 months ago

1 points

500.

Show HN: Axis – A semantics-first logic language co-designed with AI

github.com/axis-foundation

7 months ago

1 points

501.

Show HN: Pro Color Harmonies – A library for color harmonies

meodai.github.io

7 months ago

1 points

502.

Show HN: Destinies of Pure Intelligence – A Manifesto

9 months ago

1 points

503.

Show HN: MirrorMind – A Recursive Agent Framework for Interpretable AI

mirrormind-mvp-5o4r8sttmusaptvkckl2n9.streamlit.app

a year ago

1 points

504.

Show HN: A kind of looking glass for web abuse

2 years ago

1 points

505.

Tamgu (탐구) a FIL Programming Language

7 years ago

1 points

506.

trylogic.heroku.com

13 years ago

1 points

507.

Show HN: Multi Agent World Cup Simulator

github.com/tantara

13 days ago

1 points

508.

GitHub commit Verification logic flaw and bypass

a month ago

1 points

509.

Show HN: SuperCSV – a typed, self-describing data format

a month ago

1 points

510.

Show HN: deterministic oracle for hardware designs with replayable proofs

suprastructure.net

2 months ago

1 points