Search: github.com/rbas | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

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

4 points

6 years ago

182.

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

4 points

6 years ago

183.

Abstraction and Reasoning Corpus (github.com/fchollet)

4 points

7 years ago

184.

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

4 points

7 years ago

185.

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

4 points

7 years ago

186.

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

4 points

10 years ago

187.

Show HN: A reasoning model that infers over whole tasks in 1ms in latent space (github.com/OrderOneAI)

3 points

a year ago

188.

Show HN: Klarity – OS tool to debug LLM reasoning patterns with entropy analysis (github.com/klara-research)

3 points

a year ago

189.

Making GPT-2 better at math reasoning with a new attention mechanism (github.com/Kim-Ai-gpu)

3 points

7 months ago

190.

AIngram – SQLite shared reasoning memory for agent loops, no API keys (github.com/bozbuilds)

3 points

2 months ago

191.

Show HN: SkeptAI – adversarial reasoning agent that challenges LLM outputs

3 points

3 months ago

192.

TypeScript doesn't follow semver due to marketing reasons (github.com/microsoft)

3 points

2 years ago

193.

The multiple reasons why the lives of .NET developers will always suck (2022) (github.com/dotnet)

3 points

3 years ago

194.

OpenAI doesn't want to say the reason why they removed GTA from their release (github.com/openai)

3 points

9 years ago

195.

SketchVLM: Letting VLMs draw on images while explaining their reasoning (github.com/Brandon-Collins7)

3 points

a month ago

196.

Show HN: A Geometric Algebra NN Framework (100% on 13-hop reasoning) (github.com/Concode0)

3 points

2 months ago

197.

AI reasoning enhancement through bias elimination (github.com/OscarLawrence)

3 points

10 months ago

198.

Show HN: Growl Owl 2 RL Reasoner (github.com/Trivyn)

3 points

4 months ago

199.

A reasonable and simple Git client (github.com/lihail)

3 points

4 months ago

200.

Show HN: I made a semantic OS for language reasoning (not kidding) (github.com/onestardao)

3 points

10 months ago

201.

Hierarchical Reasoning Model – SOTA on Arc-AGI (github.com/sapientinc)

3 points

10 months ago

202.

MiniMax-M1, first open-weight, large-scale hybrid-attention reasoning model (github.com/MiniMax-AI)

3 points

a year ago

203.

Invert a Binary Tree – $10k AI Reasoning Challenge (v2) (gist.github.com)

3 points

YeGoblynQueenne

2 years ago

204.

OmniGen – A single model for Text2Image, Image edit, Reasoning (github.com/VectorSpaceLab)

3 points

2 years ago

205.

Show HN: Neurallambda, Adds reasoning via differentiable Lambda Calculus (github.com/neurallambda)

3 points

2 years ago

206.

GitHub: Neurallambda. Reasoning Computers via Differentiable Lambda Calculus (github.com/neurallambda)

3 points

2 years ago

207.

BlendSQL: Unified dialect for orchestrating SQLite logic and LLM reasoning (github.com/parkervg)

3 points

2 years ago

208.

LegalBench: To evaluate English large language models on legal reasoning (github.com/HazyResearch)

3 points

3 years ago

209.

Multimodal Chain-of-Thought Reasoning in Language Models (github.com/amazon-science)

3 points

3 years ago

210.

The reasoning behind removing user-defined operators in Elm 0.19 (gist.github.com)

3 points

benjaminjosephw

8 years ago