Search: github.com/reasonml | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Beyond All Reason: open-source RTS game built on top of the Spring RTS Engine

github.com/beyond-all-reason

4 years ago

10 points

62.

Persistent Reasoning Hieroglyphic Calculator (Academic Boundary Case)

github.com/PersistentVlad

4 months ago

2 points

63.

LLM temporal and causal reasoning research

github.com/krellixlabs

a month ago

2 points

64.

Agentic Reasoning: Reasoning LLM with Agentic Tools

github.com/theworldofagents

a year ago

2 points

65.

Show HN: LLM-Reasoner:Make any LLM to think deeper like OpenAI o1

github.com/harishsg993010

a year ago

2 points

66.

Beyond All Reason

2 months ago

1 points

67.

Show HN: Minimal reasoning determinism stress test (no claims)

github.com/seesea500-Hyb

6 months ago

1 points

68.

Procedural Reasoning Datasets

github.com/open-thought

a year ago

1 points

69.

Reasoning Gym – Procedural RL reasoning datasets

github.com/open-thought

a year ago

1 points

70.

Reasoning Gym: Procedural Dataset Generation for Reinforcement Learning

github.com/open-thought

a year ago

1 points

71.

Fullstack Reason–native-compiled server and ReasonReact client and code sharing

github.com/yawaramin

6 years ago

1 points

72.

Emerging reasoning with reinforcement learning

hkust-nlp.notion.site

a year ago

248 points

73.

Show HN: Entropy-Guided Loop – How to make small models reason

github.com/monostate

10 months ago

andrewmonostate

33 points

74.

Show HN: LinuxMate generates reproducible Linux setup script

github.com/Henkster72

5 months ago

2 points

75.

NARE: An LLM agent that amortizes reasoning into memory and executable rules

github.com/starface77

2 months ago

7 points

76.

A list of Crankshaft bailout reasons with examples

10 years ago

5 points

77.

Show HN: A repo to turn any model into a reasoning model without training

github.com/dl1683

6 months ago

4 points

78.

NARE – A framework that "crystallizes" LLM reasoning into fast Python scripts

github.com/starface77

2 months ago

3 points

79.

Ten Reasons to Switch from CoffeeScript to LiveScript

14 years ago

3 points

80.

Reasonably secure pair programming

github.com/goerz

10 years ago

3 points

81.

System2 Reasoning LLMs

github.com/zzli2022

a year ago

1 points

82.

Walrus – a distributed message streaming engine (Rust)

7 months ago

3 points

83.

Native Parallel Reasoner: Self-Evolving to Learn Parallel Reasoning

6 months ago

3 points

84.

Show HN: Fixing AI's Core Flaws, A protocol cuts LLM token waste by 40–70%

4 months ago

1 points

85.

Ask HN: Review my GAE app that allows you to regex-mute tweets.

16 years ago

1 points

86.

You will probably need jQuery

gist.github.com

12 years ago

222 points

87.

Why aren't you organizing your local user group?

ryanbrunner.github.com

14 years ago

7 points

88.

AKGR: Knowledge Graph Reasoning

github.com/LIANGKE23

2 years ago

5 points

89.

Eight Reasons to Switch from TensorFlow to CNTK

github.com/Microsoft

9 years ago

5 points

90.

ARN: Local semantic memory server for AI agents (Pi 5, 22ms recall, 10/10 tests)

github.com/tuuhe99-del

a month ago

2 points