Search: github.com/reasondb | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

331.

Show HN: Lore – A reasoning engine that stores the "why" behind code changes

2 points

5 months ago

332.

Diverse LLM subsets via k-means (100K-1M) [Pretraining, IF, Reasoning] (github.com/AmanPriyanshu)

2 points

8 months ago

333.

Anyone else hacking on long-horizon reasoning frameworks for LLMs? (github.com/Mehditerranean28)

2 points

9 months ago

334.

GitHub will not rollback their new Home Feed for performance reasons (github.com/orgs)

2 points

3 years ago

335.

Frap: Formal Reasoning About Programs (github.com/achlipala)

2 points

8 years ago

336.

5 Reasons You Should Avoid Github's Atom Editor (gist.github.com)

2 points

12 years ago

337.

Step 3.7 Flash loves to use wait in the reasoning (gist.github.com)

2 points

4 days ago

338.

Reasons to Use Std:SIMD (github.com/NoNaeAbC)

2 points

20 days ago

339.

Show HN: Smriti, version control for reasoning state (github.com/himanshudongre)

2 points

2 months ago

340.

Universal Knowledge Store and Grounding Layer for AI Reasoning Engines (github.com/alash3al)

2 points

2 months ago

341.

Show HN: Orchestrating AI into reviewable PRs you can reason about (github.com/ninthwave-sh)

2 points

2 months ago

342.

Reasoning.json – DKIM for AI Agents (Ed25519-Signed Brand Context for LLMs) (github.com/SaschaDeforth)

2 points

2 months ago

343.

Show HN: Cairn – Event-sourced reasoning graphs for AI memory (github.com/smcady)

2 points

3 months ago

344.

Show HN: VerdictMail – IMAP daemon that uses LLM reasoning to catch phishing (github.com/ascarola)

2 points

3 months ago

345.

Show HN: "hard questions" as a shared language for cross-domain reasoning (github.com/onestardao)

2 points

4 months ago

346.

Show HN: 8B Parallel Coordinated Reasoning Model (github.com/stepfun-ai)

2 points

6 months ago

347.

OptiLLM: Accuracy improvements on reasoning tasks with zero training (github.com/algorithmicsuperintelligence)

2 points

6 months ago

348.

Show HN: Implementation and ablation of the Hierarchical Reasoning Model (HRM) (github.com/krychu)

2 points

9 months ago

349.

Evaluation Code – GPT-5 on Multimodal Medical Reasoning (github.com/wangshansong1)

2 points

9 months ago

350.

Visual Reasoning and Tool Use Double GPT-5's Arc-AGI-2 Success Rate (github.com/zoecarver)

2 points

10 months ago

351.

Show HN: PTS Library – Analyze LLM reasoning through "thought anchors"

2 points

10 months ago

352.

Show HN: The Architecture Navigator – Design lenses for scalable reasoning (github.com/kanaria007)

2 points

a year ago

353.

AReaL, Distributed Reinforcement Learning System for LLM Reasoning (github.com/inclusionAI)

2 points

a year ago

354.

One reason why AMD isn't useful (github.com/jcoglan)

2 points

14 years ago

355.

OmiAI – open-source SDK that combines DeepSeek R1 reasoning with other models (github.com/JigsawStack)

2 points

a year ago

356.

Cot Decoding – Eliciting Reasoning from LLMs

2 points

2 years ago

357.

Meta's Agentic System: Multistep reasoning,websearch,code interpreter for Llama3 (github.com/meta-llama)

2 points

2 years ago

358.

A somewhat intuitive reason for -1/12 (gist.github.com)

2 points

2 years ago

359.

Check out my GitHub for no reason (github.com)

2 points

2 years ago

360.

POPL'22 Artifact for “Twist: Sound Reasoning for Purity and Entanglement in Qua (github.com/psg-mit)

2 points

4 years ago