HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
271.
▲
POPL'22 Artifact for “Twist: Sound Reasoning for Purity and Entanglement in Qua
github.com/psg-mit
discuss
4 years ago
todsacerdoti
2 points
272.
▲
Fried GPU: The reason your PR wasn't merged for over a year
github.com/pop-os
discuss
5 years ago
withinboredom
2 points
273.
▲
RTEC: An Engine for Complex Event Recognition and Stream Reasoning
github.com/aartikis
discuss
6 years ago
cer-group
2 points
274.
▲
Bastet: A ReasonML/OCaml library for category theory and abstract algebra
github.com/Risto-Stevcev
discuss
6 years ago
AnthonBerg
2 points
275.
▲
An example of a reasonably complex monolith web applications in Go
github.com/vural
discuss
7 years ago
vural
2 points
276.
▲
Reasons/history on the “globalThis” naming for JavaScript cross-platform global
github.com/tc39
discuss
7 years ago
fagnerbrack
2 points
277.
▲
The Reason I Created AgentDoc and Why You Don't Need It
github.com/cf020031308
discuss
7 years ago
cf020031308
2 points
278.
▲
SoftRas: Differentiable Renderer for Image-Based 3D Reasoning
github.com/ShichenLiu
discuss
7 years ago
formalsystem
2 points
279.
▲
Reasonable Scala Compiler (rsc) Now Part of Language Tools Team at Twitter
github.com/twitter
discuss
7 years ago
AheadOfTime295
2 points
280.
▲
Kant's Critique of Pure Reason: A Mind Map
github.com/ilalev
discuss
8 years ago
Averroito
2 points
281.
▲
Some Go benchmarks, reasonables and counterintuitives
github.com/go101
discuss
8 years ago
tapirl
2 points
282.
▲
Bitcoin.org removes 'Low processing fees' as a reason to use Bitcoin
github.com/bitcoin-dot-org
discuss
8 years ago
BillFranklin
2 points
283.
▲
Gravitron: A ReasonML game that compiles to JS, native Android, iOS and macOS
github.com/jaredly
discuss
8 years ago
3648
2 points
284.
▲
80+ hrs of contributions to MDN docs reverted with no reason, no contact info
github.com/gopherjs
discuss
9 years ago
shurcooL
2 points
285.
▲
Compile OCaml/Reason to static iOS libraries
github.com/saschatimme
discuss
9 years ago
testcross
2 points
286.
▲
Ohai: “cargo new” / “npm init” for native reason/ocaml
github.com/jaredly
discuss
9 years ago
testcross
2 points
287.
▲
Rules.css – for a simple reason
discuss
10 years ago
rakibtg
2 points
288.
▲
Reop – reasonable expectation of privacy
github.com/tedu
2 comments
12 years ago
jc123
1 points
289.
▲
One more reason to love Open Source, issue solved in just a few hours
github.com/twain47
2 comments
13 years ago
ziodave
1 points
290.
▲
Show HN: Topas-DSPL – A 15M param AI that solves hard reasoning tasks(ARC-AGI-2)
github.com/Bitterbot-AI
2 comments
6 months ago
Doug_Bitterbot
1 points
291.
▲
SCE Core – a state-evolution engine for explainable AI reasoning
github.com/yanixkz
1 comment
2 months ago
yanixkz
1 points
292.
▲
Show HN: Clonar – A Node.js RAG pipeline with 8-stage multihop reasoning
github.com/clonar714-jpg
1 comment
4 months ago
sowmith-tsrc
1 points
293.
▲
Know: Compiling LLM reasoning into a shared, open knowledge network
github.com/JoostdeJonge
1 comment
4 months ago
joostdejonge
1 points
294.
▲
Cognitive Orthogonal Reasoning Engine
github.com/Aethelred-dev
1 comment
7 months ago
phboot
1 points
295.
▲
Reason to choose a library or replace to? (db client library)
github.com/valkey-io
1 comment
2 years ago
anotherCodder
1 points
296.
▲
GitHub stays with algorithmic feed for 'user experience and performance' reasons
github.com/orgs
1 comment
3 years ago
beeman
1 points
297.
▲
Secret sharing: A usable, reasonably secure alternative for PGP
1 comment
7 years ago
prbinu
1 points
298.
▲
A Reasonable Default Timezone for Every Country
github.com/rahulgi
1 comment
7 years ago
exochrono
1 points
299.
▲
Easily Reassemble Quicklook Thumbnails on OS X
github.com/CoderCookE
1 comment
8 years ago
ejcook111
1 points
300.
▲
Show HN: Deductive Reasoning Tool
github.com/silogizma
1 comment
8 years ago
fatiherikli
1 points
More