Search: github.com/mrThe | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

271.

The MotherWiki has been updated interestingly

1 point

9 years ago

272.

A Mathematica package for generating symbolic models from data (github.com/paulknysh)

1 point

9 years ago

273.

Operator Overloading for Fun and Profit – logic from mathematical expressions (github.com/burtonsamograd)

1 point

9 years ago

274.

UniMath: Univalent Mathematics (github.com/UniMath)

1 point

10 years ago

275.

Not your mother's wiki (github.com/moforw)

1 point

10 years ago

276.

Polyglot repository of soltutions about Mathematical problems at ProjectEuler (github.com/DestructHub)

1 point

10 years ago

277.

Show HN: Atopile – Design circuit boards with code

595 points

2 years ago

278.

Show HN: Teable – Open-Source No-Code Database Fusion of Postgres and Airtable (github.com/teableio)

279 points

2 years ago

279.

Show HN: Chebyshev approximation calculator (stuffmatic.com)

278 points

2 years ago

280.

Show HN: Visualizing the math that powers 3D character animation (diegomacario.github.io)

238 points

4 years ago

281.

I won't be posting any more preimages against neuralhash for now

196 points

5 years ago

282.

Show HN: Talk to any ArXiv paper just by changing the URL (github.com/evanhu1)

194 points

2 years ago

283.

Show HN: I made a tool to communicate data using the PC speaker (github.com/ggerganov)

189 points

5 years ago

284.

Train CIFAR10 to 94% in under 10 seconds on a single A100 (github.com/tysam-code)

151 points

3 years ago

285.

Show HN: Trane, an automated system for learning complex skills (github.com/trane-project)

119 points

4 years ago

286.

Show HN: Agent framework that generates its own topology and evolves at runtime (github.com/adenhq)

107 points

4 months ago

287.

Show HN: Fine-grained stylistic control of LLMs using model arithmetic (github.com/eth-sri)

85 points

2 years ago

288.

Show HN: Mathpad – Physical keypad for typing math symbols (crowdsupply.com)

78 points

10 months ago

289.

Show HN: Fast Random Library for C++17 (github.com/DmitriBogdanov)

52 points

a year ago

290.

Show HN: I built a P2P network where AI agents publish formally verified science

47 points

FranciscoAngulo

3 months ago

291.

Show HN: GlyphLang – An AI-first programming language

44 points

5 months ago

292.

Show HN: NLP Flashcards for Most of the Internet

29 points

5 years ago

293.

Show HN: SymDerive – A functional, stateless symbolic math library

26 points

4 months ago

294.

Show HN: Pg_mooncake – Delta/Iceberg columnstore tables in Postgres (github.com/Mooncake-Labs)

25 points

2 years ago

295.

Aura-State: Formally Verified LLM State Machine Compiler

23 points

3 months ago

296.

Show HN: GizmoSQL – Run DuckDB as a Server with Arrow Flight SQL (github.com/gizmodata)

17 points

a year ago

297.

Show HN: Dexter – an opinionated day planner for Mac (dexterplanner.com)

17 points

a year ago

298.

Show HN: Woxi - A Rust-based interpreter for a subset of the Wolfram Language (github.com/ad-si)

14 points

a year ago

299.

Share my pain point: I want dead easy version control.

12 points

14 years ago

300.

Show HN: Graph-Oriented Generation – Beating RAG for Codebases by 89% (github.com/dchisholm125)

12 points

3 months ago