HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
481.
▲
Show HN: OxiLean – Pure Rust Interactive Theorem Prover (Zero C Deps, WASM)
1 comment
4 months ago
kitasan
2 points
482.
▲
Show HN: Aspara – Open-source ML metrics tracker that stays fast at scale
github.com/prednext
1 comment
4 months ago
tkng
2 points
483.
▲
Show HN: Rampart – Open-source security for Claude and AI agents in YOLO mode
github.com/peg
1 comment
4 months ago
cl4p
2 points
484.
▲
Show HN: AI-assisted feature intake with human review (n8n workflow)
github.com/kavishsekhri
1 comment
5 months ago
kavishsekhri
2 points
485.
▲
Show HN: Offline tiles and routing and geocoding in one Docker Compose stack
github.com/corviont
1 comment
6 months ago
packet_mover
2 points
486.
▲
I built the "package manager" for your icons (one source → consistent outputs)
1 comment
6 months ago
Theryston
2 points
487.
▲
Show HN: CodeContext – Cut developer onboarding time from months to weeks
github.com/sonii-shivansh
1 comment
6 months ago
shivanshsonii
2 points
488.
▲
Show HN: Team Travel 12: exploring with grainorder, immutable graintime,Glow G2
github.com/kae3g
1 comment
8 months ago
KeatonDunsford
2 points
489.
▲
Show HN: I built an AI that remembers everything and learns from mistakes
github.com/vac-architector
1 comment
10 months ago
VAC-AGI
2 points
490.
▲
Show HN: Loft CLI – Fine-tune and run LLMs (1–3B) on 8 GB MacBook Air, no GPUs
1 comment
a year ago
dips2umar
2 points
491.
▲
Show HN: Predicting Energy Community Eligibility
github.com/benjamin-mathias-clark
1 comment
a year ago
benjaminclark
2 points
492.
▲
Show HN: Use Karpor to gain curcial visibility into Kubernetes
github.com/KusionStack
1 comment
2 years ago
elliotxx
2 points
493.
▲
Ask HN: Knowledge-base site using VSCodium/FOAM/MkDocs
1 comment
2 years ago
dv35z
2 points
494.
▲
Show HN: Jina NOW – lowcode solution for multimodal neural search
github.com/jina-ai
1 comment
4 years ago
gapovaj742
2 points
495.
▲
Show HN: Freestyle – Wispr Flow Alternative that respects privacy
github.com/freestyle-voice
discuss
9 hours ago
matteo8p
2 points
496.
▲
Show HN: Code Stitcher – The anti-agentic workflow
github.com/ue-patcher
discuss
a day ago
aihatterer
2 points
497.
▲
Show HN: After years as data engineer, I built the tool I wish my colleagues had
discuss
6 days ago
salterisp
2 points
498.
▲
Show HN: Elmo (Open Source AEO)
github.com/elmohq
discuss
a month ago
jrhizor
2 points
499.
▲
Show HN: Harper, a free ocean forecast for surfers
harper.surf
discuss
a month ago
fbenevides
2 points
500.
▲
Show HN: Shared team context for AI coding sessions with ambient intelligence
github.com/norrietaylor
discuss
3 months ago
torrienaylor
2 points
501.
▲
Show HN: Rac-delta – open protocol for differential dir sync (Rust/Node SDKs)
raccreative.github.io
discuss
3 months ago
Raccreative
2 points
502.
▲
Show HN: Batty – Run a team of AI coding agents in tmux with test gating
github.com/battysh
discuss
3 months ago
Zedmor
2 points
503.
▲
Show HN: Escape the Room, bounded AI stats game
github.com/AymanJabr
discuss
3 months ago
AymanJabr
2 points
504.
▲
Show HN: Arxitect – Claude Code plugin for software design principles
github.com/andonimichael
discuss
3 months ago
iamandoni
2 points
505.
▲
Show HN: PostgreSQL backup manager with BTRFS block-level deduplication
github.com/Lakshmipathi
discuss
3 months ago
giis
2 points
506.
▲
Show HN: Lexicon – Write complex legal contracts in Markdown
lexicon.esq
discuss
3 months ago
RichEO
2 points
507.
▲
Railtracks
discuss
3 months ago
soulfood5632
2 points
508.
▲
Show HN: Experiments Mapping the "Primitive Layer" in Language Models
github.com/dchisholm125
discuss
3 months ago
dchisholm125
2 points
509.
▲
Show HN: Fastify's slow startup is an AJV problem – here's a drop-in fix
discuss
3 months ago
greatvenerable
2 points
510.
▲
Show HN: Who watches the watchmen? A public decision track record for AI agents
agent-smith.org
discuss
3 months ago
hleichsenring
2 points
More