Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
841.
▲
Valori – Deterministic Substrate for AI (Code and ArXiv Paper)
4 points
varshith17
5 months ago
1 comment
842.
▲
Show HN: Searchable compression for JSON (p50≈0.18 ms; 10-min demo)
(github.com/kodomonocch1)
4 points
kodomonocch1
8 months ago
1 comment
843.
▲
Show HN: TLA+ AutoRepair (with GPT-4) to fix formal specs and understand them
(github.com/kerberosmansour)
4 points
kerberosmansour
3 years ago
1 comment
844.
▲
Show HN: I built proxy that keeps RAG working while hiding PII
4 points
rohansx
3 months ago
discuss
845.
▲
Show HN: Rriftt_ai.h – A bare-metal, dependency-free C23 tensor engine
(github.com/Rriftt)
4 points
Rriftt
3 months ago
discuss
846.
▲
Show HN: A Zero-Copy 1.58-bit LLM Engine hitting 117 Tokens/s on single CPU core
(github.com/r3-engine)
4 points
dhilipsiva
4 months ago
discuss
847.
▲
Show HN: SGR – A Linear-Complexity "Living Cell" Outperforming Transformers
4 points
MrPan
5 months ago
discuss
848.
▲
Show HN: Equations Explained Colorfully (KaTeX and Markdown)
(p.migdal.pl)
4 points
stared
6 months ago
discuss
849.
▲
Show HN: Kumi – a portable, declarative, functional core for business logic
(kumi-play-web.fly.dev)
4 points
goldenCeasar
7 months ago
discuss
850.
▲
Show HN: Easily visualize torch, Jax, tf, NumPy, etc. tensors
(github.com/hardik-vala)
4 points
HardikVala
7 months ago
discuss
851.
▲
Show HN: LunchSTEM (probably) the best STEM knowledge base in the world
(github.com/Freelunch-AI)
4 points
BrunoScaglione
8 months ago
discuss
852.
▲
Show HN: Turn pose photos into editable animation code
4 points
Amyang
9 months ago
discuss
853.
▲
Show HN: 1.5B LLM routing model that aligns to preferences, not leaderboards
(huggingface.co)
4 points
honorable_coder
a year ago
discuss
854.
▲
Show HN: Split Vim Markdown Preview – Terminal-Based Markdown Preview for Vim
(github.com/drewipson)
4 points
drewipson
a year ago
discuss
855.
▲
Show HN: DeepThink Plugin – Bring Gemini 2.5's parallel reasoning to open models
4 points
codelion
a year ago
discuss
856.
▲
Show HN: Manganite – Quickly turn Jupyter notebooks into web apps
(github.com/LCL-CAVE)
4 points
loehnsberg
3 years ago
discuss
857.
▲
Show HN: Olympic “combined climbing” calculator in Python
4 points
Radim
5 years ago
discuss
858.
▲
Ask HN: My career is over before it started, what next?
3 points
DreamScatter
6 years ago
15 comments
859.
▲
Show HN: Alice Architecture: An Attempt at Autonomous AGI Based on ±0 Theory
(github.com/xian367422611213344-source)
3 points
Norl-Seria
6 months ago
14 comments
860.
▲
I asked an AI to create "Unhackable Code". It gave me this. I'm scared
3 points
VOIDMAKINA
5 months ago
12 comments
861.
▲
Ask HN: What editor for LaTeX notes do you use?
3 points
quamserena
9 months ago
6 comments
862.
▲
Show HN: Agents Remember – Git-aware memory for coding agents
(github.com/Foxfire1st)
3 points
foxfire_1st
4 days ago
2 comments
863.
▲
Show HN: I built a LLM human rights evaluator for HN (content vs. site behavior)
(observatory.unratified.org)
3 points
9wzYQbTYsAIc
3 months ago
2 comments
864.
▲
Show HN: Axiom – C++ tensor library with NumPys API, optimized for Apple Silicon
(github.com/Frikallo)
3 points
noahkay13
4 months ago
2 comments
865.
▲
Show HN: Superfast – Cognitive Memory Graphs for Enterprise AI Agents
3 points
prabhatkr
2 months ago
1 comment
866.
▲
Show HN: P2PCLAW – I built a decentralized research network where AI agents
3 points
FranciscoAngulo
3 months ago
1 comment
867.
▲
Show HN: A compression tool that reduces linux binary downloads by 6%
3 points
mohsen1
3 months ago
1 comment
868.
▲
Show HN: Papercut – track ArXiv topics, get notified, skim with AI summaries
(github.com/rajatady)
3 points
rajatady
3 months ago
1 comment
869.
▲
Show HN: Neural_covenant – 129-modality AGI stack built for sovereignty
3 points
AISovereignDev
5 months ago
1 comment
870.
▲
Show HN: I built a low-level crypto lib that adds passwords to wallet mnemonics
3 points
mscikdf
6 months ago
1 comment
More