Search: github.com/reasondb | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

271.

Ask HN: Is the Open-Source Google Voice Builder *Really* Tied to GCE?

1 point

7 years ago

272.

Show HN: Civilization Patch – An Emotional Entropy Regulator for LLMs (github.com/rain1955)

1 point

6 months ago

273.

Show HN: Distill your own model from DeepSeek R1 in 30 mins (open+GUI)

4 points

a year ago

274.

Show HN: Moss – Cryptographic signing for AI agents (mosscomputing.com)

3 points

6 months ago

275.

Show HN: How many hours have you spent with Claude Code? (CLI tool)

2 points

3 months ago

276.

Ask HN: Any way to use Keybase without installing their app? (macOS)

1 point

5 years ago

277.

Restack: Full-Stack ReasonML (github.com/dysinger)

141 points

6 years ago

278.

BGE-Reasoner: An open-source framework for reasoning-intensive retrieval (github.com/FlagOpen)

1 point

9 months ago

279.

Xiaomi MiMo Reasoning Model (github.com/XiaomiMiMo)

482 points

a year ago

280.

Vim rendered on a cube for no reason (github.com/oakes)

480 points

6 years ago

281.

Reasons to prefer Linux over Windows (2014) (github.com/nbeaver)

423 points

6 years ago

282.

Show HN: AutoThink – Boosts local LLM performance with adaptive reasoning

397 points

a year ago

283.

MiniMax-M1 open-weight, large-scale hybrid-attention reasoning model (github.com/MiniMax-AI)

349 points

a year ago

284.

g1: Using Llama-3.1 70B on Groq to create o1-like reasoning chains (github.com/bklieger-groq)

334 points

2 years ago

285.

ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com/DebarghaG)

326 points

8 months ago

286.

Less is more: Recursive reasoning with tiny networks (alexiajm.github.io)

323 points

8 months ago

287.

Q: A faster re-implementaiton of jq written in Reason Native/OCaml (github.com/davesnx)

250 points

6 years ago

288.

The reason people burn out on open source (github.com/steveklabnik)

243 points

11 years ago

289.

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning [pdf] (github.com/deepseek-ai)

231 points

6 months ago

290.

Vim³ – Vim rendered on a cube for no reason (github.com/oakes)

187 points

5 years ago

291.

Limbo – A Reasoning System for First-Order Limited Belief (github.com/schwering)

143 points

9 years ago

292.

Relit: Typed Literal Macros for Reason (github.com/cyrus-)

123 points

8 years ago

293.

Chain-of-Thought Hub: Measuring LLMs' Reasoning Performance (github.com/FranxYao)

114 points

3 years ago

294.

Show HN: Fnm – Fast and simple Node.js version manager built in ReasonML (github.com/Schniz)

87 points

7 years ago

295.

California vanity license plate applications with reasons for rejection (2020) (github.com/veltman)

77 points

a year ago

296.

Ask HN: Twitter perma-banned my popular bot for a false reason

77 points

7 years ago

297.

Google Play rejecting app update without substantive reason (github.com/syncthing)

74 points

2 years ago

298.

Document reasoning to block DNS to 127.0.0.1 (github.com/easylist)

68 points

3 years ago

299.

Apple terminated my developer account for no reason (github.com/cyanzhong)

53 points

7 years ago

300.

Don't use Vim for the wrong reasons (2020) (gist.github.com)

29 points

2 years ago