HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
31.
▲
Scraping and crawling websites using Rust and ReasonML
github.com/alfinsuryaS
discuss
6 years ago
rebeicca
1 points
32.
▲
Conservation of software-based artworks (2016)
github.com/REAS
discuss
7 years ago
panic
1 points
33.
▲
Type-safe Universal Application
github.com/revskill10
discuss
8 years ago
revskill
1 points
34.
▲
ReasonML: Syntax proposal: async/await
github.com/facebook
discuss
8 years ago
based2
1 points
35.
▲
Common compiler back end: Lightbend scalac, EPFL Dotty, Twitter reasonable-scala
github.com/twitter
discuss
8 years ago
AheadOfTime295
1 points
36.
▲
ReasonablyTyped – Convert TypeScript and Flow Definitions to ReasonML Interfaces
github.com/ReasonablyTyped
discuss
9 years ago
networked
1 points
37.
▲
Reason Syntax Proposal: Hash Tags–a way to think about polymorphic variants
github.com/facebook
discuss
9 years ago
aendruk
1 points
38.
▲
Reasonable Scala Compiler
github.com/twitter
discuss
9 years ago
djsumdog
1 points
39.
▲
Reasonable Scala – A New Scala Compiler from Twitter
github.com/twitter
discuss
9 years ago
_lbaq
1 points
40.
▲
The Lotus program analysis framework
discuss
7 months ago
cutelimination
2 points
41.
▲
Show HN: Ghashboard is a dashboard builder for GitHub Actions
github.com/fileformat
discuss
a year ago
Fileformat
2 points
42.
▲
Show HN: Vector databases are the wrong primitive for AI agents
github.com/brainfish-ai
1 comment
3 months ago
ajainvivek
1 points
43.
▲
Show HN: A Write Barrier That Blocks Structural Collapse in LLM Reasoning
1 comment
4 months ago
persistentVlad
1 points
44.
▲
I built orKa-reasoning: a modular orchestration layer for explainable AI agents
discuss
a year ago
marcosomma-orka
1 points
45.
▲
Beyond All Reason – open-source RTS game built on top of the Recoil RTS Engine
github.com/beyond-all-reason
4 comments
a year ago
shiryel
18 points
46.
▲
GitHub: Awesome-reasoning, a curated list of datasets for reasoning AIs
github.com/neurallambda
discuss
2 years ago
neurallambda
17 points
47.
▲
Beyond All Reason: open-source RTS game built on top of the Spring RTS Engine
github.com/beyond-all-reason
discuss
4 years ago
ingve
10 points
48.
▲
Persistent Reasoning Hieroglyphic Calculator (Academic Boundary Case)
github.com/PersistentVlad
1 comment
4 months ago
persistentVlad
2 points
49.
▲
LLM temporal and causal reasoning research
github.com/krellixlabs
discuss
a month ago
radu_me
2 points
50.
▲
Agentic Reasoning: Reasoning LLM with Agentic Tools
github.com/theworldofagents
discuss
a year ago
mountainview
2 points
51.
▲
Show HN: LLM-Reasoner:Make any LLM to think deeper like OpenAI o1
github.com/harishsg993010
discuss
a year ago
mrxhacker99
2 points
52.
▲
Awesome ReasonML
github.com/vramana
discuss
9 years ago
testcross
2 points
53.
▲
Beyond All Reason
github.com
discuss
2 months ago
Razengan
1 points
54.
▲
Show HN: Minimal reasoning determinism stress test (no claims)
github.com/seesea500-Hyb
discuss
6 months ago
seesea
1 points
55.
▲
Procedural Reasoning Datasets
github.com/open-thought
discuss
a year ago
t55
1 points
56.
▲
Reasoning Gym – Procedural RL reasoning datasets
github.com/open-thought
discuss
a year ago
t55
1 points
57.
▲
Reasoning Gym: Procedural Dataset Generation for Reinforcement Learning
github.com/open-thought
discuss
a year ago
starzmustdie
1 points
58.
▲
Fullstack Reason–native-compiled server and ReasonReact client and code sharing
github.com/yawaramin
discuss
6 years ago
yawaramin
1 points
59.
▲
Robot on Table Simulator – Java
github.com/Rob-Leggett
discuss
9 years ago
leggettr
1 points
60.
▲
Emerging reasoning with reinforcement learning
hkust-nlp.notion.site
211 comments
a year ago
pella
248 points
More