Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
61.
▲
Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence
(github.com/neelsomani)
16 points
nsomani
5 months ago
2 comments
62.
▲
Ask HN: Core GNU components (flex, libtool) in dismaintenance
12 points
eqvinox
6 years ago
6 comments
63.
▲
Show HN: FalkorDB – Open-source graph database major update (C/Rust)
7 points
roilipman
a year ago
3 comments
64.
▲
Show HN: WaveletLM – wavelet-based, attention-free model with O(n log n) scaling
(github.com/ramongougis)
7 points
anarmorarm
a month ago
1 comment
65.
▲
Show HN: A Git client for MicroPython microcontrollers (like the $6 ESP32)
(github.com/keredson)
7 points
keredson
3 years ago
discuss
66.
▲
Tell HN: Llamacpp now supports unified system RAM offloading on Linux
6 points
dabockster
2 months ago
discuss
67.
▲
Ask HN: Vector-space database (as a service)?
5 points
kleebeesh
9 years ago
5 comments
68.
▲
Show HN: Osscar – Measuring open-source growth beyond GitHub stars
(osscar.dev)
5 points
aleciffo
a month ago
discuss
69.
▲
StellarGraph v0.8.1 Open-Source Python Machine Learning Library for Graphs
5 points
StellarGraph
7 years ago
discuss
70.
▲
Show HN: Yeet – CLI tool to find and reclaim disk space
(github.com/sohanmanju)
4 points
sohanmanju
5 months ago
3 comments
71.
▲
Show HN: XOC 1.6.0: A Powerful, Commercially-Proven Compiler Framework
4 points
steven_known
a year ago
2 comments
72.
▲
Release of XOC Compiler Framework: A Powerful, Commercially-Proven Solution
4 points
steven_known
a year ago
discuss
73.
▲
Show HN: The Ansibles
(github.com/pjan)
3 points
pjan
13 years ago
1 comment
74.
▲
80.1 % on LoCoMo Long-Term Memory Benchmark with a pure open-source RAG pipeline
3 points
ViktorKuz
6 months ago
discuss
75.
▲
Show HN: The Great GitHub Nix Disk Space Heist
(wimpysworld.com)
3 points
flexiondotorg
a year ago
discuss
76.
▲
Show HN: I built a 2nd-order PyTorch optimizer for LLMs that runs on 16GB GPUs
2 points
dnosoz
a month ago
4 comments
77.
▲
I built an open-weights memory system that reaches 80.1% on the LoCoMo benchmark
2 points
ViktorKuz
6 months ago
2 comments
78.
▲
Show HN: Significance-Hypothesis-Based-ARC-AGI-2-puzzle-solver
(github.com/Judahmeek)
2 points
judahmeek
6 months ago
1 comment
79.
▲
Show HN: Building a self collected multiview mocap studio for robot training
(github.com/rerun-io)
2 points
pablovelagomez
a year ago
1 comment
80.
▲
Show HN: VerbatimRAG – RAG that returns only exact text from documents
2 points
justacoolname
10 months ago
discuss
81.
▲
MatrixTransformer – A Unified Framework for Matrix Transformations
2 points
AyodeleFikayomi
a year ago
discuss
82.
▲
Show HN: GitSlice – Extract folders or files from GitHub using CLI
(github.com/05sanjaykumar)
2 points
sanjaykumar584
a year ago
discuss
83.
▲
Show HN: Beyond-NanoGPT
(github.com/tanishqkumar)
2 points
fizzbuzz07
a year ago
discuss
84.
▲
Show HN: EmbedAnything – Rust Powered Inference, Ingestion and Indexing
(github.com/StarlightSearch)
2 points
Sonam_AI
a year ago
discuss
85.
▲
Show HN: font.delivery – A webfont download service
(github.com/sfhorg)
2 points
lyxell
2 years ago
discuss
86.
▲
Show HN: Code retrieval findings from a real-world benchmark
(github.com/Storia-AI)
2 points
CuriousJ
2 years ago
discuss
87.
▲
Show HN: Infinity – Incredibly fast database for RAG with powerful hybrid search
(github.com/infiniflow)
2 points
yingfeng
2 years ago
discuss
88.
▲
Show HN: WeakVim, My attempt at a modular, transparent starter kit for Neovim
(github.com/weakphish)
2 points
weakfish
4 years ago
discuss
89.
▲
Show HN: System that rediscovers physics laws from raw data autonomously
(protoscience.ai)
1 point
strujillo
3 months ago
2 comments
90.
▲
80.1 % on LoCoMo Long-Term Memory Benchmark with a pure open-source RAG pipeline
1 point
ViktorKuz
5 months ago
discuss
More