Search: github.com/rbas | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

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

4 points

a year ago

92.

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

3 points

6 months ago

93.

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

2 points

3 months ago

94.

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

1 point

5 years ago

95.

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

141 points

6 years ago

96.

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

1 point

9 months ago

97.

Xiaomi MiMo Reasoning Model (github.com/XiaomiMiMo)

482 points

a year ago

98.

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

480 points

6 years ago

99.

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

423 points

6 years ago

100.

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

397 points

a year ago

101.

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

349 points

a year ago

102.

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

334 points

2 years ago

103.

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

326 points

8 months ago

104.

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

323 points

8 months ago

105.

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

250 points

6 years ago

106.

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

243 points

11 years ago

107.

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

231 points

6 months ago

108.

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

187 points

5 years ago

109.

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

143 points

9 years ago

110.

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

123 points

8 years ago

111.

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

114 points

3 years ago

112.

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

87 points

7 years ago

113.

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

77 points

a year ago

114.

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

77 points

7 years ago

115.

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

74 points

2 years ago

116.

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

68 points

3 years ago

117.

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

56 points

11 years ago

118.

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

53 points

7 years ago

119.

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

29 points

2 years ago

120.

Show HN: skills-for-humanity – 171 structured reasoning skills for Claude Code (github.com/human-avatar)

28 points

11 days ago