HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
481.
▲
Show HN: Theoriz3r, minimal proof of concept exploratory theorem prover
github.com/tsvibt
discuss
3 years ago
tbt
3 points
482.
▲
Show HN: Prepare your tax return on the command-line
github.com/habutax
discuss
4 years ago
aclindsa
3 points
483.
▲
Ask HN: What Is Gitmemory.com?
discuss
5 years ago
usui
3 points
484.
▲
Show HN: DNA Platform – A School for Outliers
7 comments
5 months ago
thaianhsoft
2 points
485.
▲
Show HN: Skales – Local AI agent desktop app (.exe/.dmg, 300MB idle RAM)
6 comments
4 months ago
marioskales
2 points
486.
▲
Show HN: DIY video magnifier with readout support based on Raspberry Pi
github.com/ctrlw
2 comments
2 years ago
ctrl-w
2 points
487.
▲
Managing dependencies in non-manifest languages
1 comment
2 months ago
riteshnoronha16
2 points
488.
▲
Show HN: Finetuning LLMs: Open-source vs. Close-source
1 comment
3 years ago
rohit_saha
2 points
489.
▲
Show HN: Satd – a Bitcoin full node in Rust
github.com/epochbtc
discuss
8 days ago
epochbtc
2 points
490.
▲
Show HN: A minimal context engine with streaming API
github.com/ohmstone
discuss
2 months ago
tonelord
2 points
491.
▲
Show HN: Skillcop: Block malicious Claude Skills before they execute
github.com/cfitzgerald-pd
discuss
3 months ago
bennydog224
2 points
492.
▲
Show HN: Claude Skill for temporary cost tracking
github.com/jbdamask
discuss
4 months ago
jbdamask
2 points
493.
▲
Show HN: A human-curated, CLI-driven Context Layer for AI agents
ctxlayer.dev
discuss
4 months ago
anatoliikmt
2 points
494.
▲
Show HN: Fullbleed – Rust HTML/CSS-to-PDF with Deterministic Output+Python CLI
discuss
4 months ago
krflol
2 points
495.
▲
Show HN: Bellwether – MCP Server Testing and Drift Detection for CI/CD
github.com/dotsetlabs
discuss
5 months ago
dotsetgreg
2 points
496.
▲
Show HN: Minima LMS – Bitmap view tracking, caption search, reusable content
github.com/cobel1024
discuss
5 months ago
_vlie
2 points
497.
▲
Show HN: Debba.sql – A lightweight SQL manager built with Tauri and Rust
github.com/debba
discuss
5 months ago
debba
2 points
498.
▲
Show HN: Telio – AI agents for call/text support, built on sandboxed lakehouses
gettelio.com
discuss
6 months ago
exAspArk
2 points
499.
▲
Show HN: Kprotect – eBPF-based file protection using process lineage
github.com/khoinp1012
discuss
6 months ago
khoinp1012
2 points
500.
▲
Show HN: Crovia Spider v1 –Forensic crawler exposing compliance gaps in LAION-5B
github.com/croviatrust
discuss
7 months ago
crovia
2 points
501.
▲
Show HN: TDS Compass – AI prompt for your communication style
resonantlabsai.github.io
discuss
7 months ago
relationalai
2 points
502.
▲
Show HN: WorkBill – Modern Alternative to QuickBooks
demo.workbill.co
discuss
7 months ago
aswinmohanme
2 points
503.
▲
Show HN: Word Wolfer, Number Wolfer – educational games inspired by Munchers
memalign.github.io
discuss
8 months ago
memalign
2 points
504.
▲
Show HN: Local Push-to-Transcribe
github.com/spacefarers
discuss
8 months ago
spacefarers
2 points
505.
▲
Show HN: Cozy Keys, play MIDI keys in the browser
cozykeys.pages.dev
discuss
8 months ago
sultson
2 points
506.
▲
Show HN: Sarpro – 5–20× faster Sentinel‑1 GRD → GeoTIFF/JPEG
github.com/bogwi
discuss
10 months ago
danielVi
2 points
507.
▲
Reverse engineered 90 legacy builder tools – created a YARA corpus
discuss
a year ago
GokbakarE
2 points
508.
▲
Show HN: Communal Growth, find others with similar interests in books or papers
communalgrowth.org
discuss
a year ago
CarpaDorada
2 points
509.
▲
Show HN: Auto-greyscale specific apps after time limit reached
github.com/flxapps
discuss
a year ago
aygeaye
2 points
510.
▲
Show HN: GitSlice – Extract folders or files from GitHub using CLI
github.com/05sanjaykumar
discuss
a year ago
sanjaykumar584
2 points
More