Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
331.
▲
Show HN: OxiLean – Pure Rust Interactive Theorem Prover (Zero C Deps, WASM)
2 points
kitasan
3 months ago
1 comment
332.
▲
Show HN: minfern – Type inference for JavaScript without transpilation
(github.com/sinelaw)
2 points
_sinelaw_
5 months ago
1 comment
333.
▲
Valence and HYVE, RT Physics Attention and a "Synthetic Organism"
2 points
PaperScarecrow
2 months ago
discuss
334.
▲
Show HN: Pure Rust IFC/BIM Viewer in the Browser via WebAssembly
(bimifc.de)
2 points
holg
3 months ago
discuss
335.
▲
Show HN: Virtual Protest Protocol – Scaling activism via 50-person cells
(github.com/voice-of-japan)
2 points
sakanakana00
4 months ago
discuss
336.
▲
Show HN: SC-NeuroCore – Rust neuromorphic compiler, 512× speedup
(github.com/anulum)
2 points
anulum
4 months ago
discuss
337.
▲
Show HN: Kontra - data quality validator that avoids unnecessary full scans
(github.com/Saevarl)
2 points
saevarl
4 months ago
discuss
338.
▲
Show HN: Instagram: Private Posts Exposed to Unauthenticated Requests
(github.com/jatin-dot-py)
2 points
jatin-dot-py
4 months ago
discuss
339.
▲
Show HN: Polymcp Implements Ollama for Local and Cloud Model Execution
2 points
justvugg
5 months ago
discuss
340.
▲
Show HN: A 134-Modality AGI Core Built in Python (Velocity_Nova_Prime)
2 points
AISovereignDev
5 months ago
discuss
341.
▲
Show HN: I built a visual, MLOps tool (Skyulf)
(skyulf.com)
2 points
flyingriverhrse
5 months ago
discuss
342.
▲
Show HN: Market Processing Engine in C++20 (150M orders/SEC)
(github.com/PIYUSH-KUMAR1809)
2 points
kpiyush8826
5 months ago
discuss
343.
▲
Show HN: Git-scope – Blazing TUI to manage 50 Git repos without CD-ing dirs
(github.com/Bharath-code)
2 points
iam_pbk
6 months ago
discuss
344.
▲
Show HN: FISE – A rule-based, keyless semantic envelope for web/API data
(demo.fise.dev)
2 points
anbkit
6 months ago
discuss
345.
▲
Show HN: Sarpro – 5–20× faster Sentinel‑1 GRD → GeoTIFF/JPEG
(github.com/bogwi)
2 points
danielVi
10 months ago
discuss
346.
▲
Show HN: Haven – Selfhost a private blog instead of using Facebook
(github.com/havenweb)
2 points
mawise
10 months ago
discuss
347.
▲
Show HN: Dfembed is a Rust-powered Python lib turning DataFrames into vector db
(github.com/a-agmon)
2 points
alonagmon
10 months ago
discuss
348.
▲
Show HN: Matplotloom: Weave frames into Matplotlib animations simply and quickly
(github.com/ali-ramadhan)
2 points
PolarizedPoutin
2 years ago
discuss
349.
▲
Ask HN: Strange Issue: Does Window Visibility Affect Performance on OS X?
1 point
polymathist
11 years ago
2 comments
350.
▲
Show HN: PolyCouncil: Multi-Model Deliberation Engine for LMStudio (Open Source)
(github.com/TrentPierce)
1 point
tpierce89
7 months ago
1 comment
351.
▲
Show HN: I got frustrated with SMILES, so I built one
(github.com/sangeet01)
1 point
sangeet01
3 months ago
discuss
352.
▲
Show HN: PolyClaw – An Autonomous Docker-First MCP Agent for PolyMCP
1 point
justvugg
4 months ago
discuss
353.
▲
Show HN: PolyMCP – Orchestrate AI agents across Python tools and MCP servers
1 point
justvugg
4 months ago
discuss
354.
▲
Show HN: Polymcp and Ollama for Simple Local and Cloud LLM Execution
1 point
justvugg
4 months ago
discuss
355.
▲
Show HN: Bingsan – Apache Iceberg REST Catalog in Go (24k rps, multi-node)
(teampaprika.github.io)
1 point
youngbum
4 months ago
discuss
356.
▲
Show HN: Structured data extraction using local quantized LLMs
(github.com/nxank4)
1 point
nxank4
4 months ago
discuss
357.
▲
Show HN: Loclean – Local semantic data cleaning with LLMs and Pydantic
(github.com/nxank4)
1 point
nxank4
4 months ago
discuss
358.
▲
Show HN: Omni_genesis – A 132-modality AGI core built for execution
1 point
AISovereignDev
5 months ago
discuss
359.
▲
Show HN: Rephole, semantic code-search for your repos via REST API
(github.com/twodHQ)
1 point
riktar
6 months ago
discuss
360.
▲
Show HN: Kassouf-Btc-Options – Thorp-Kassouf Option Models on Bitcoin
(github.com/dradicchi)
1 point
dcvr
7 months ago
discuss
More