HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
361.
▲
Show HN: OxiLean – Pure Rust Interactive Theorem Prover (Zero C Deps, WASM)
1 comment
4 months ago
kitasan
2 points
362.
▲
Show HN: VeritasGraph – On-prem Graph RAG (3.3k+ visitors, 130 stars in 5 days)
github.com/bibinprathap
1 comment
9 months ago
Bibinprathap
2 points
363.
▲
Show HN: Project Chimera v1.2 – Neuro-Symbolic-Causal AI Agent (Open Source)
github.com/akarlaraytu
1 comment
9 months ago
aytuakarlar
2 points
364.
▲
Show HN: My Open Source HTML Drafting Program
github.com/dckimMysteryAuthor
1 comment
a year ago
dckimGUY
2 points
365.
▲
Show HN: Realistic Synthetic Conversations for Testing LLMs
github.com/Channel-Labs
1 comment
a year ago
otterk10
2 points
366.
▲
Show HN: DecisionBox – Continuous Accuracy Improvement for LLM Apps
github.com/fmops
1 comment
2 years ago
fliang
2 points
367.
▲
Show HN: Social Engineering Simulator in ChatGPT
chat.openai.com
1 comment
3 years ago
admtal
2 points
368.
▲
JavaScript library to add audio to web images
github.com/hacksparrow
discuss
13 years ago
hacksparrow
2 points
369.
▲
Show HN: Ways Of Working (WOW) - seeking tips for teamwork
discuss
4 days ago
jph
2 points
370.
▲
Show HN: Satd – a Bitcoin full node in Rust
github.com/epochbtc
discuss
7 days ago
epochbtc
2 points
371.
▲
Show HN: LLMhop – A tiny, stateless router for LLMs with a NixOS module
github.com/mirkolenz
discuss
19 days ago
mlenz
2 points
372.
▲
Show HN: Cyoda-go – application platform in Go without the Temporal/Kafka glue
github.com/Cyoda-platform
discuss
a month ago
physix
2 points
373.
▲
Show HN: DevReel – A virtual gym for practical software engineering challenges
devreel.tech
discuss
4 months ago
giota_dev
2 points
374.
▲
Show HN: CuaBot – Co-op computer-use for any coding agent
github.com/trycua
discuss
5 months ago
frabonacci
2 points
375.
▲
Show HN: Production-readiness – Turn Sr engineer intuition into automated checks
github.com/chuanjin
discuss
5 months ago
akacj
2 points
376.
▲
Show HN: Career Control System – Roadmap in a repo for experienced developers
discuss
6 months ago
we_can
2 points
377.
▲
Show HN: wireport – lightweight ingress+DNS+VPN for self-hosted apps behind NAT
github.com/MultionLabs
discuss
7 months ago
maxskorr
2 points
378.
▲
Show HN: Dream – An LLM memory architecture using adaptive TTL to control cost
discuss
7 months ago
matheusdevmp
2 points
379.
▲
Show HN: FastOpp: A Student-Friendly Starter for AI Web Apps
fastopp-site.fly.dev
discuss
9 months ago
jcasman
2 points
380.
▲
Show HN: Miniexact – An efficient DLX Exact-Cover solver with a Python interface
github.com/miniexact
discuss
10 months ago
maximaximal
2 points
381.
▲
Show HN: Preq – Community powered detection of hidden reliability problems
github.com/prequel-dev
discuss
a year ago
meehanto
2 points
382.
▲
Show HN: Nexus Protocol – An open-source OS for AI consciousness
github.com/tadepada
discuss
a year ago
tadepada
2 points
383.
▲
Show HN: Feedback Wanted: Viper – My AI-Powered Open-Source CTI Tool
github.com/ozanunal0
discuss
a year ago
rtfm01
2 points
384.
▲
Show HN: Awesome-psyop – tools against disinformation and AI-driven influence
github.com/rook2root
discuss
a year ago
cogitovirus
2 points
385.
▲
Lessons Learned Building MCP for Video Infrastructure Startup
discuss
a year ago
ashu_trv
2 points
386.
▲
Show HN: I wrote a concurrent log parser in Go to learn about concurrency
github.com/thevxn
discuss
a year ago
tackx
2 points
387.
▲
Show HN: Running local LLMs inside Godot
github.com/nobodywho-ooo
discuss
2 years ago
nobodywho-ooo
2 points
388.
▲
Show HN: I Built a Powertoys Run Plugin for Linear
discuss
2 years ago
vednig
2 points
389.
▲
Show HN: Minefield – Fast SBOM Management, 10k Packages Cached in 30s
github.com/bitbomdev
discuss
2 years ago
snaveen
2 points
390.
▲
SEMA Evolution: Redefining Malware Analysis Toolchain Architecture
discuss
2 years ago
ElNiak
2 points
More