Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
331.
▲
All Reasonably Stable Tools
(github.com/zodiacon)
1 point
Cocktail
4 years ago
discuss
332.
▲
Database Reasoning over Text
(github.com/facebookresearch)
1 point
rch
5 years ago
discuss
333.
▲
KindNES: Reasonably accurate NES emulator written in Rust
(github.com/henryksloan)
1 point
ingve
5 years ago
discuss
334.
▲
Solution with detailed reasoning for Google Foobar Level 5 problem
(github.com/letientai299)
1 point
letientai299
5 years ago
discuss
335.
▲
Show HN: A Neural Symbolic Reasoning Method on Knowledge Graph
(github.com/derenlei)
1 point
atlas0401
6 years ago
discuss
336.
▲
OCaml/ReasonML binding to libuv, the cross-platform C library for async I/O
(github.com/aantron)
1 point
poga
6 years ago
discuss
337.
▲
Show HN: Routes – Typed bidirectional routes for OCaml/ReasonML
(github.com/anuragsoni)
1 point
anuragsoni
6 years ago
discuss
338.
▲
Show HN: Migrator-A CLI tool for easy and flexible reassignment of kafka topics
(github.com/djmgit)
1 point
djm_dev
7 years ago
discuss
339.
▲
Proof-of-concept for reasoning over the SemMedDB knowledge base using miniKanren
(github.com/webyrd)
1 point
tosh
7 years ago
discuss
340.
▲
Reasons for OutOfMemoryException
(github.com/dotnet)
1 point
azhenley
7 years ago
discuss
341.
▲
Ask HN: What are the best ways to reason about async protocols?
1 point
canadaduane
7 years ago
discuss
342.
▲
Show HN: Transliterate js docstrings to Jupyter Notebooks, written with ReasonML
(github.com/aphelionz)
1 point
markhenderson
8 years ago
discuss
343.
▲
Lisp.re (Lisp Syntax for Reason)
(github.com/jaredly)
1 point
tosh
8 years ago
discuss
344.
▲
mediKanren: PoC for reasoning over SemMedDB using miniKanren+heuristics+indexing
(github.com/webyrd)
1 point
greghendershott
8 years ago
discuss
345.
▲
Type and doc on hover in emacs for OCaml and Reasonml
(github.com/Khady)
1 point
testcross
8 years ago
discuss
346.
▲
Cloudformation based installer for reasonably secure multi-node kubeadm cluster
(github.com/itskoko)
1 point
discordianfish
8 years ago
discuss
347.
▲
Making Impossible States Impossible in ReasonML
(gist.github.com)
1 point
rvense
9 years ago
discuss
348.
▲
A reasonably secure travel laptop
(github.com/CrowdStrike)
1 point
zmanian
11 years ago
discuss
349.
▲
Show HN: Needle: We Distilled Gemini Tool Calling into a 26M Model
(github.com/cactus-compute)
776 points
HenryNdubuaku
a month ago
211 comments
350.
▲
Show HN: Factorio Learning Environment – Agents Build Factories
(jackhopkins.github.io)
749 points
noddybear
a year ago
209 comments
351.
▲
Show HN: Forge – Guardrails take an 8B model from 53% to 99% on agentic tasks
(github.com/antoinezambelli)
687 points
zambelli
20 days ago
252 comments
352.
▲
Show HN: Micasa – track your house from the terminal
(micasa.dev)
657 points
cpcloud
4 months ago
218 comments
353.
▲
Tell HN: Brother printers now locking out non-OEM paraphernalia
500 points
b112
4 years ago
294 comments
354.
▲
Show HN: AutoHotkey for Linux
(github.com/phil294)
500 points
phil294
4 years ago
183 comments
355.
▲
Show HN: We open sourced our entire text-to-SQL product
(github.com/Dataherald)
464 points
aazo11
2 years ago
144 comments
356.
▲
Show HN: FastGraphRAG – Better RAG using good old PageRank
(github.com/circlemind-ai)
457 points
liukidar
2 years ago
119 comments
357.
▲
Tell HN: Stripe killed my music locker service, so I'm open sourcing it
446 points
grose
3 years ago
172 comments
358.
▲
Show HN: Skyvern – Browser automation using LLMs and computer vision
(github.com/Skyvern-AI)
422 points
suchintan
2 years ago
139 comments
359.
▲
Show HN: We built an open source, zero webhooks payment processor
(github.com/flowglad)
405 points
agreeahmed
6 months ago
223 comments
360.
▲
Show HN: Doom (1993) in a PDF
(doompdf.pages.dev)
369 points
vk6
a year ago
74 comments
More