Search: github.com/reasondb | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

301.

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

28 points

11 days ago

302.

Show HN: Phidata – Build AI Agents with memory, knowledge, tools and reasoning (github.com/phidatahq)

27 points

2 years ago

303.

Hierarchical Reasoning Model – 1k training samples SoTA reasoning v/s CoT (github.com/sapientinc)

26 points

10 months ago

304.

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

22 points

4 years ago

305.

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

22 points

6 years ago

306.

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

19 points

3 years ago

307.

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

17 points

a year ago

308.

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

15 points

2 years ago

309.

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

13 points

8 months ago

310.

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

13 points

13 years ago

311.

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

11 points

a year ago

312.

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

10 points

4 years ago

313.

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

10 points

a year ago

314.

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

10 points

8 years ago

315.

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

10 points

3 years ago

316.

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

9 points

6 months ago

317.

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

8 points

11 years ago

318.

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

8 points

10 months ago

319.

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

8 points

9 months ago

320.

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

8 points

a year ago

321.

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

7 points

11 years ago

322.

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

7 points

11 years ago

323.

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

7 points

2 months ago

324.

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

7 points

a year ago

325.

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

6 points

2 years ago

326.

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

6 points

2 months ago

327.

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

6 points

7 months ago

328.

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

6 points

10 months ago

329.

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

6 points

a year ago

330.

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

6 points

a year ago