Search: github.com/rbas | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

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

22 points

4 years ago

122.

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

22 points

6 years ago

123.

TypeScript team's reasoning for rejecting typed/checked exceptions (github.com/microsoft)

19 points

3 years ago

124.

Show HN: QwQ-32B APIs – o1 like reasoning at 1% the cost

17 points

a year ago

125.

Kamal: Reason behind choosing Docker instead micro VMs (like firecracker) (github.com/basecamp)

15 points

2 years ago

126.

Less Is More: Recursive Reasoning with Tiny Networks (github.com/SamsungSAILMontreal)

13 points

8 months ago

127.

Find the leaks (AKA - the reason I shot myself in the head) (gist.github.com)

13 points

13 years ago

128.

Show HN: WFGY – A reasoning engine that repairs LLM logic without retraining (github.com/onestardao)

11 points

a year ago

129.

20 reasons Satoshi Nakamoto is Elon Musk (gist.github.com)

10 points

4 years ago

130.

Show HN: TXT OS – Open-Source AI Reasoning, One Plain-Text File at a Time (github.com/onestardao)

10 points

a year ago

131.

Checkout my Pong Clone if you want to get a taste of ReasonML (github.com/pahann)

10 points

8 years ago

132.

Tora: A Tool-Integrated Reasoning Agent (github.com/microsoft)

10 points

3 years ago

133.

NY bill to require devices to conduct commercially reasonable age assurance (github.com/flatpak)

9 points

nickslaughter02

3 months ago

134.

Show HN: Posix shell abuse – Reassemble arguments AKA Transforming $* into $ (gist.github.com)

9 points

10 years ago

135.

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

9 points

6 months ago

136.

One more reason financial companies like Chase are ripe for attack (gist.github.com)

8 points

11 years ago

137.

Show HN: Bazaar – a new LLM benchmark for economic reasoning under uncertainty (github.com/lechmazur)

8 points

10 months ago

138.

Show HN: Neuron – Cognitive Multi-Agent Architecture for Reasoning

8 points

9 months ago

139.

Open Thoughts: Curating the best reasoning datasets (github.com/open-thoughts)

8 points

a year ago

140.

Ask HN: Is it reasonable to choose direct SQL over an ORM

7 points

7 years ago

141.

Five reasons why Ruby made sense for our highly concurrent app (SuperIMAP) (github.com/rustyio)

7 points

11 years ago

142.

BAbI tasks: Task generation for testing text understanding and reasoning (github.com/facebook)

7 points

11 years ago

143.

Show HN: LLMs as Planners, Not Reasoners (github.com/dkohlsdorf)

7 points

2 months ago

144.

Show HN: Deep Research – Open-Source Customizable Reasoning Framework for Devs (github.com/JigsawStack)

7 points

a year ago

145.

The reasons why Golang is a bad language, according to my friend (gist.github.com)

6 points

2 years ago

146.

Element Web and matrix.to unavailable for legal reasons (github.com/element-hq)

6 points

2 months ago

147.

Neurosymbolic AI server combining Prolog's symbolic reasoning with MCP (github.com/adamrybinski)

6 points

7 months ago

148.

Show HN: A tiny reasoning layer that steadies LLM outputs (MIT; +22.4% accuracy) (github.com/onestardao)

6 points

10 months ago

149.

HoarePrompt: Structural Reasoning About Program Correctness in Natural Language (github.com/msv-lab)

6 points

a year ago

150.

Deepseek R1 Zero learns to reason using reinforcement learning on base model [pdf] (github.com/deepseek-ai)

6 points

a year ago