Search: github.com/REAS | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

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

5 points

6 months ago

152.

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

5 points

7 years ago

153.

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

5 points

8 years ago

154.

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

5 points

11 years ago

155.

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

5 points

11 years ago

156.

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

5 points

a month ago

157.

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

5 points

a year ago

158.

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

5 points

8 years ago

159.

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

4 points

2 months ago

160.

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

4 points

3 years ago

161.

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

4 points

8 years ago

162.

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

4 points

3 months ago

163.

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

4 points

3 months ago

164.

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

4 points

10 months ago

165.

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

4 points

10 months ago

166.

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

4 points

a year ago

167.

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

4 points

a year ago

168.

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

4 points

3 years ago

169.

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

4 points

3 months ago

170.

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

4 points

6 months ago

171.

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

4 points

10 months ago

172.

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

4 points

10 months ago

173.

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

4 points

a year ago

174.

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

4 points

3 years ago

175.

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

4 points

6 years ago

176.

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

4 points

6 years ago

177.

Abstraction and Reasoning Corpus (github.com/fchollet)

4 points

7 years ago

178.

Show HN: Tablecloth – a new standard library for OCaml and ReasonML (github.com/darklang)

4 points

7 years ago

179.

Native, high-performance, cross-platform desktop apps – built with Reason (github.com/revery-ui)

4 points

7 years ago

180.

Learning to Reason: PhD Thesis Proposal, Wojciec Zaremba [pdf][2014] (github.com/wojzaremba)

4 points

10 years ago