Search: github.com/rbas | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

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

6 points

a year ago

152.

The Abstraction and Reasoning Corpus (github.com/fchollet)

6 points

2 years ago

153.

Show HN: r1_vlm – Open-Source Framework for Visual Reasoning with GRPO (github.com/groundlight)

5 points

a year ago

154.

Show HN: Open-source AI assistant for interview reasoning (github.com/evinjohnn)

5 points

4 months ago

155.

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

5 points

6 months ago

156.

Revery: Native ReasonML cross platform UI (github.com/revery-ui)

5 points

7 years ago

157.

Braid: A functional language with Reason-like syntax that compiles to Go (github.com/joshsharp)

5 points

8 years ago

158.

Reasonably strong Computer Go (board game) AI in 540 lines of Python (github.com/pasky)

5 points

11 years ago

159.

Airbnb JavaScript Style Guide – A Mostly Reasonable Approach to JavaScript (github.com/airbnb)

5 points

11 years ago

160.

I blind A/B tested 40 Claude prompt codes, only 7 shift reasoning (gist.github.com)

5 points

a month ago

161.

Elimination Game: Multi-Agent LLM Social Reasoning, Strategy, and Deception (github.com/lechmazur)

5 points

a year ago

162.

Show HN: Use ReasonML to Send JavaScript to Google-Closure via Java and JNI, Optimized Res (github.com/fxfactorial)

5 points

8 years ago

163.

Zero-hallucination knowledge engine – LLM never reasons, graph does all the work (github.com/skvcool-rgb)

4 points

2 months ago

164.

Strong reasoning skills and mathematical thinking is important to program well? (github.com/spamegg1)

4 points

3 years ago

165.

Ask HN: Google took down Chrome Extension without reason. What should I do now?

4 points

8 years ago

166.

BookGraph: Moving beyond naive RAG with graph-native AI reasoning (github.com/sumant1122)

4 points

3 months ago

167.

Engram – AI memory engine: knowledge graph, search, reasoning in one binary (github.com/dx111ge)

4 points

3 months ago

168.

Lorenzo Battistela Reproduces Hierarchical Reasoning Model (github.com/sapientinc)

4 points

10 months ago

169.

Show HN: Single-agent long-horizon reasoning within one LLM run (huggingface.co)

4 points

10 months ago

170.

Open Thoughts: open data curation for reasoning models (github.com/open-thoughts)

4 points

a year ago

171.

Show HN: Quantum-Enhanced Mathematical Reasoning System – Expert Verification

4 points

a year ago

172.

MM-React: Multimodal Reasoning and Action with ChatGPT (github.com/microsoft)

4 points

3 years ago

173.

Show HN: GitHub Repo Agent – an agent that explores and reasons on GitHub repos (github.com/gauravvij)

4 points

3 months ago

174.

Poetiq: SOTA Reasoning on ARC-AGI (github.com/poetiq-ai)

4 points

6 months ago

175.

Injecting doubts in CoT of reasoning models (github.com/martianlantern)

4 points

10 months ago

176.

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

4 points

10 months ago

177.

Show HN: DeepThink Plugin – Bring Gemini 2.5's parallel reasoning to open models

4 points

a year ago

178.

ORMs are criticized for the wrong reasons (github.com/getlago)

4 points

3 years ago

179.

An ergonomic, cross-platform, standard library for ReasonML and OCaml (github.com/darklang)

4 points

6 years ago

180.

Spin: Project scaffolding tool and set of templates for Reason and OCaml (github.com/tmattio)

4 points

6 years ago