Search: github.com/reasonml | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

A curated list of papers on LLMs reasoning failures

github.com/Peiyang-Song

4 months ago

2 points

92.

Awesome-Rust-Formalized-Reasoning

github.com/newca12

5 years ago

2 points

93.

Explaianble Graph Machine Learning a Survey

github.com/AstraZeneca

5 years ago

benitorosenberg

1 points

94.

Show HN: ssh chat.shazow.net

12 years ago

171 points

95.

Show HN: Apprise v1.0.0 – A lightweight all-in-one notification solution

github.com/caronc

4 years ago

18 points

96.

Show HN: Subtle.sh – Zero-setup E2E encrypted messaging using OpenPGP and Soketi

2 years ago

10 points

97.

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

7 years ago

1 points

98.

Show HN: Civilization Patch – An Emotional Entropy Regulator for LLMs

github.com/rain1955

7 months ago

1 points

99.

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

a year ago

4 points

100.

Show HN: Moss – Cryptographic signing for AI agents

mosscomputing.com

6 months ago

3 points

101.

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

4 months ago

2 points

102.

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

5 years ago

1 points

103.

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

github.com/FlagOpen

10 months ago

1 points

104.

Xiaomi MiMo Reasoning Model

github.com/XiaomiMiMo

a year ago

482 points

105.

Vim rendered on a cube for no reason

github.com/oakes

6 years ago

480 points

106.

Reasons to prefer Linux over Windows (2014)

github.com/nbeaver

6 years ago

423 points

107.

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

a year ago

397 points

108.

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

github.com/MiniMax-AI

a year ago

349 points

109.

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

github.com/bklieger-groq

2 years ago

334 points

110.

ProofOfThought: LLM-based reasoning using Z3 theorem proving

github.com/DebarghaG

9 months ago

326 points

111.

Less is more: Recursive reasoning with tiny networks

alexiajm.github.io

9 months ago

323 points

112.

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

github.com/davesnx

6 years ago

250 points

113.

The reason people burn out on open source

github.com/steveklabnik

12 years ago

243 points

114.

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

github.com/deepseek-ai

7 months ago

231 points

115.

Vim³ – Vim rendered on a cube for no reason

github.com/oakes

5 years ago

187 points

116.

Limbo – A Reasoning System for First-Order Limited Belief

github.com/schwering

9 years ago

143 points

117.

Relit: Typed Literal Macros for Reason

github.com/cyrus-

8 years ago

123 points

118.

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

github.com/FranxYao

3 years ago

114 points

119.

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

github.com/veltman

a year ago

77 points

120.

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

7 years ago

77 points