Search: github.com/REAS | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

ORMs are criticized for the wrong reasons

github.com/getlago

3 years ago

4 points

182.

An ergonomic, cross-platform, standard library for ReasonML and OCaml

github.com/darklang

6 years ago

4 points

183.

Spin: Project scaffolding tool and set of templates for Reason and OCaml

github.com/tmattio

6 years ago

4 points

184.

Abstraction and Reasoning Corpus

github.com/fchollet

7 years ago

4 points

185.

Show HN: Tablecloth – a new standard library for OCaml and ReasonML

github.com/darklang

7 years ago

4 points

186.

Native, high-performance, cross-platform desktop apps – built with Reason

github.com/revery-ui

7 years ago

4 points

187.

Learning to Reason: PhD Thesis Proposal, Wojciec Zaremba [pdf][2014]

github.com/wojzaremba

10 years ago

4 points

188.

Show HN: A reasoning model that infers over whole tasks in 1ms in latent space

github.com/OrderOneAI

a year ago

3 points

189.

Show HN: Klarity – OS tool to debug LLM reasoning patterns with entropy analysis

github.com/klara-research

a year ago

3 points

190.

Show HN: Ariadne – reason about your codebase on a walk, run, or commute

21 days ago

3 points

191.

Making GPT-2 better at math reasoning with a new attention mechanism

github.com/Kim-Ai-gpu

8 months ago

3 points

192.

AIngram – SQLite shared reasoning memory for agent loops, no API keys

github.com/bozbuilds

2 months ago

3 points

193.

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

3 months ago

3 points

194.

TypeScript doesn't follow semver due to marketing reasons

github.com/microsoft

2 years ago

3 points

195.

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

github.com/dotnet

3 years ago

3 points

196.

OpenAI doesn't want to say the reason why they removed GTA from their release

github.com/openai

9 years ago

3 points

197.

SketchVLM: Letting VLMs draw on images while explaining their reasoning

github.com/Brandon-Collins7

2 months ago

3 points

198.

Show HN: A Geometric Algebra NN Framework (100% on 13-hop reasoning)

github.com/Concode0

3 months ago

3 points

199.

AI reasoning enhancement through bias elimination

github.com/OscarLawrence

10 months ago

3 points

200.

Objective reasons to prefer Linux to Windows (2014)

github.com/nbeaver

2 days ago

3 points

201.

Show HN: Growl Owl 2 RL Reasoner

github.com/Trivyn

4 months ago

3 points

202.

A reasonable and simple Git client

github.com/lihail

4 months ago

3 points

203.

Show HN: I made a semantic OS for language reasoning (not kidding)

github.com/onestardao

a year ago

3 points

204.

Hierarchical Reasoning Model – SOTA on Arc-AGI

github.com/sapientinc

a year ago

3 points

205.

MiniMax-M1, first open-weight, large-scale hybrid-attention reasoning model

github.com/MiniMax-AI

a year ago

3 points

206.

Invert a Binary Tree – $10k AI Reasoning Challenge (v2)

gist.github.com

2 years ago

YeGoblynQueenne

3 points

207.

OmniGen – A single model for Text2Image, Image edit, Reasoning

github.com/VectorSpaceLab

2 years ago

3 points

208.

Show HN: Neurallambda, Adds reasoning via differentiable Lambda Calculus

github.com/neurallambda

2 years ago

3 points

209.

GitHub: Neurallambda. Reasoning Computers via Differentiable Lambda Calculus

github.com/neurallambda

2 years ago

3 points

210.

BlendSQL: Unified dialect for orchestrating SQLite logic and LLM reasoning

github.com/parkervg

2 years ago

3 points