Search: github.com/formml | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

301.

Show HN: An expression parser supporting multiple types (github.com/torrentg)

33 points

2 years ago

302.

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

29 points

4 years ago

303.

Ask HN: Is an interdisciplinary career worth it?

28 points

8 years ago

304.

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

25 points

3 years ago

305.

Show HN: Open Notes – Community Notes-style context for Discord (opennotes.ai)

20 points

4 months ago

306.

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

19 points

4 years ago

307.

Show HN: Semcheck – AI Tool for checking implementation follows spec (github.com/rejot-dev)

19 points

a year ago

308.

Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence (github.com/neelsomani)

16 points

5 months ago

309.

Ask HN: Programmers Who Want to Get Better at Math

15 points

2 years ago

310.

Show HN: Leaping – Open-source debugging with LLMs

15 points

2 years ago

311.

Show HN: CocoIndex – Open-Source Data framework for AI, built for data freshness (github.com/cocoindex-io)

14 points

a year ago

312.

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

14 points

2 years ago

313.

Show HN: SecretMemoryLocker – File Encryption Without Static Passwords (github.com/SecretML)

14 points

9 months ago

314.

Show HN: Shared – Triptych for data exchange and persistence (github.com/pyrustic)

14 points

4 years ago

315.

Show HN: Cupcake – Better performance and security for coding agents (via OPA) (github.com/eqtylab)

12 points

6 months ago

316.

Show HN: WFGY – A reasoning engine that repairs LLM logic without retraining (github.com/onestardao)

11 points

a year ago

317.

Show HN: Tabme – Organizing Bookmarks and Tabs, done right (gettabme.com)

11 points

2 years ago

318.

Show HN: LLM Aided Transcription Improvement (github.com/Dicklesworthstone)

11 points

2 years ago

319.

Show HN: TheorIA – An Open Curated Physics Dataset (Equations,Explanations,JSON) (theoria-dataset.github.io)

9 points

a year ago

320.

Show HN: The Thiele Machine – Coq-Verified Computational Model Beyond Turing (github.com/sethirus)

9 points

5 months ago

321.

Show HN: An OpenAPI guide written for developers (speakeasyapi.dev)

9 points

2 years ago

322.

Show HN: Coderive – Iterating through 1 Quintillion Inside a Loop in just 50ms (github.com/DanexCodr)

8 points

5 months ago

323.

Fancy JavaScript excel library for browsers and node: xlsx-import

8 points

6 years ago

324.

Show HN: Honcho – Open-source memory infrastructure, powered by custom models (github.com/plastic-labs)

8 points

4 months ago

325.

Show HN: Quality News – Towards a fairer ranking algorithm for Hacker News (news.social-protocols.org)

8 points

3 years ago

326.

Ask HN: starter books for learning about grammars, parsers and compilers?

7 points

michaelsbradley

13 years ago

327.

Show HN: DSS, a lightweight TUI spreadsheet editor and dashboard in Go (github.com/VincenzoManto)

7 points

a month ago

328.

Show HN: A Theory of Anxiety Conditions (a-theory-of-anxiety-conditions.github.io)

7 points

4 years ago

329.

Ask HN: Benefits to Keeping Packages Updated?

6 points

3 years ago

330.

Ask HN: How Important is Professionalism When People Apply to Your Startup?

6 points

17 years ago