Search: github.com/REAS | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

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

3 points

6 months ago

92.

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

2 points

3 months ago

93.

Show HN: Mandoline – Custom LLM Evaluations for Real-World Use Cases (mandoline.ai)

2 points

2 years ago

94.

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

1 point

5 years ago

95.

Show HN: SimpSave – A lightweight Python KV store with read‑and‑use persistence (github.com/Water-Run)

1 point

6 months ago

96.

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

141 points

6 years ago

97.

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

1 point

9 months ago

98.

Xiaomi MiMo Reasoning Model (github.com/XiaomiMiMo)

482 points

a year ago

99.

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

480 points

6 years ago

100.

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

423 points

6 years ago

101.

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

397 points

a year ago

102.

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

349 points

a year ago

103.

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

334 points

2 years ago

104.

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

326 points

8 months ago

105.

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

323 points

8 months ago

106.

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

250 points

6 years ago

107.

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

243 points

11 years ago

108.

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

231 points

6 months ago

109.

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

187 points

5 years ago

110.

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

143 points

9 years ago

111.

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

123 points

8 years ago

112.

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

114 points

3 years ago

113.

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

87 points

7 years ago

114.

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

77 points

a year ago

115.

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

77 points

7 years ago

116.

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

74 points

2 years ago

117.

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

68 points

3 years ago

118.

Reasonable System for CSS Stylesheet Structure (github.com/rstacruz)

56 points

11 years ago

119.

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

53 points

7 years ago

120.

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

29 points

2 years ago