Search: github.com/REAS | Heykuki News

HK

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

6 months ago

3 points

92.

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

4 months ago

2 points

93.

Show HN: Mandoline – Custom LLM Evaluations for Real-World Use Cases

2 years ago

2 points

94.

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

5 years ago

1 points

95.

Show HN: SimpSave – A lightweight Python KV store with read‑and‑use persistence

github.com/Water-Run

6 months ago

1 points

96.

Restack: Full-Stack ReasonML

github.com/dysinger

6 years ago

141 points

97.

BGE-Reasoner: An open-source framework for reasoning-intensive retrieval

github.com/FlagOpen

10 months ago

1 points

98.

Xiaomi MiMo Reasoning Model

github.com/XiaomiMiMo

a year ago

482 points

99.

Vim rendered on a cube for no reason

github.com/oakes

6 years ago

480 points

100.

Reasons to prefer Linux over Windows (2014)

github.com/nbeaver

6 years ago

423 points

101.

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

a year ago

397 points

102.

MiniMax-M1 open-weight, large-scale hybrid-attention reasoning model

github.com/MiniMax-AI

a year ago

349 points

103.

g1: Using Llama-3.1 70B on Groq to create o1-like reasoning chains

github.com/bklieger-groq

2 years ago

334 points

104.

ProofOfThought: LLM-based reasoning using Z3 theorem proving

github.com/DebarghaG

9 months ago

326 points

105.

Less is more: Recursive reasoning with tiny networks

alexiajm.github.io

9 months ago

323 points

106.

Q: A faster re-implementaiton of jq written in Reason Native/OCaml

github.com/davesnx

6 years ago

250 points

107.

The reason people burn out on open source

github.com/steveklabnik

12 years ago

243 points

108.

DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning [pdf]

github.com/deepseek-ai

7 months ago

231 points

109.

Vim³ – Vim rendered on a cube for no reason

github.com/oakes

5 years ago

187 points

110.

Limbo – A Reasoning System for First-Order Limited Belief

github.com/schwering

9 years ago

143 points

111.

Relit: Typed Literal Macros for Reason

github.com/cyrus-

8 years ago

123 points

112.

Chain-of-Thought Hub: Measuring LLMs' Reasoning Performance

github.com/FranxYao

3 years ago

114 points

113.

Show HN: Fnm – Fast and simple Node.js version manager built in ReasonML

github.com/Schniz

7 years ago

87 points

114.

California vanity license plate applications with reasons for rejection (2020)

github.com/veltman

a year ago

77 points

115.

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

7 years ago

77 points

116.

Google Play rejecting app update without substantive reason

github.com/syncthing

2 years ago

74 points

117.

Document reasoning to block DNS to 127.0.0.1

github.com/easylist

3 years ago

68 points

118.

Reasonable System for CSS Stylesheet Structure

github.com/rstacruz

11 years ago

56 points

119.

Apple terminated my developer account for no reason

github.com/cyanzhong

7 years ago

53 points

120.

Don't use Vim for the wrong reasons (2020)

gist.github.com

2 years ago

29 points