Search: github.com/formml | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

301.

Show HN: Quality News – Towards a fairer ranking algorithm for Hacker News

news.social-protocols.org

3 years ago

43 points

302.

Show HN: ModelRunner – open source, speech-enabled data management platform

modelrunner.org

4 years ago

42 points

303.

Show HN: Nucleus – A security-hardened, Nix-native container runtime

github.com/sig-id

13 days ago

40 points

304.

Show HN: Fastest search engine in the world

9 years ago

38 points

305.

Show HN: An Open Source XR(AR/VR) Operating System

10 months ago

38 points

306.

Show HN: Lama2 - Plain-Text Powered REST API Client for Teams

3 years ago

37 points

307.

Show HN: An expression parser supporting multiple types

github.com/torrentg

2 years ago

33 points

308.

ATLAS: Autoformalized Textbook Library At Scale

github.com/facebookresearch

a month ago

32 points

309.

Show HN: A stab at building my own string diffing library

4 years ago

29 points

310.

Ask HN: Is an interdisciplinary career worth it?

8 years ago

28 points

311.

Ask HN: I have 10 yrs of Exp. Failed 4 takehome projects. What am I doing wrong?

3 years ago

25 points

312.

Show HN: Open Notes – Community Notes-style context for Discord

4 months ago

20 points

313.

Priceloop NoCode Spreadsheet platform built in Scala and on-top of Postgres

4 years ago

19 points

314.

Show HN: Semcheck – AI Tool for checking implementation follows spec

github.com/rejot-dev

a year ago

19 points

315.

Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence

github.com/neelsomani

6 months ago

16 points

316.

Ask HN: Programmers Who Want to Get Better at Math

2 years ago

15 points

317.

Show HN: Leaping – Open-source debugging with LLMs

2 years ago

15 points

318.

Show HN: CocoIndex – Open-Source Data framework for AI, built for data freshness

github.com/cocoindex-io

a year ago

14 points

319.

Show HN: I made a free (open-source) extension, to use any LLM on Google sheet

2 years ago

14 points

320.

Show HN: SecretMemoryLocker – File Encryption Without Static Passwords

github.com/SecretML

10 months ago

14 points

321.

Show HN: Shared – Triptych for data exchange and persistence

github.com/pyrustic

4 years ago

14 points

322.

Show HN: Persona.js – a vanilla-JS agent UI library with native WebMCP (MIT)

persona-chat.dev

2 days ago

12 points

323.

Show HN: Cupcake – Better performance and security for coding agents (via OPA)

github.com/eqtylab

6 months ago

12 points

324.

Show HN: WFGY – A reasoning engine that repairs LLM logic without retraining

github.com/onestardao

a year ago

11 points

325.

Show HN: Tabme – Organizing Bookmarks and Tabs, done right

2 years ago

11 points

326.

Show HN: LLM Aided Transcription Improvement

github.com/Dicklesworthstone

2 years ago

11 points

327.

I Replaced My AI Agent's Flat Fact Store with a Graph Database

20 days ago

10 points

328.

Show HN: TheorIA – An Open Curated Physics Dataset (Equations,Explanations,JSON)

theoria-dataset.github.io

a year ago

9 points

329.

Show HN: The Thiele Machine – Coq-Verified Computational Model Beyond Turing

github.com/sethirus

5 months ago

9 points

330.

Show HN: git-lrc – Free, Micro AI Code Reviews That Run on Git Commit

github.com/HexmosTech

7 days ago

9 points