Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
511.
▲
Show HN: Provepy – A Python decorator that proves your code using Lean and LLMs
3 points
spaccy05
2 months ago
discuss
512.
▲
Show HN: LAPACK without Fortran77; a C11 translation
(github.com/ilayn)
3 points
ilayn
2 months ago
discuss
513.
▲
Universal package repository SaaS Repsy announces the open source version
3 points
repsy
2 months ago
discuss
514.
▲
Show HN: FC-Eval – CLI to Benchmark Local or Cloud LLMs on Function Calling
(github.com/gauravvij)
3 points
gauravvij137
3 months ago
discuss
515.
▲
Show HN: Compose Launcher – A macOS app to run multiple Docker Compose files
(github.com/yingbo)
3 points
yingbo
3 months ago
discuss
516.
▲
Show HN: SecretDrop – Open-source encrypted secret sharing (MIT)
(github.com/bilustek)
3 points
vigo
3 months ago
discuss
517.
▲
Show HN: Vim-Claude-code – Use Claude directly inside Vim
(github.com/rishi-opensource)
3 points
rishi-sharma
3 months ago
discuss
518.
▲
Show HN: Goutils – 70 type-safe generic functions for async/functional Go
(github.com/skatiyar)
3 points
skatiyar
4 months ago
discuss
519.
▲
Show HN: Kybera – Agentic Smart Wallet with AI Osint and Reputation Tracking
(kybera.xyz)
3 points
xipz
4 months ago
discuss
520.
▲
Show HN: Env-shelf – Open-source desktop app to manage .env files
(env-shelf.vercel.app)
3 points
ivanglpz
4 months ago
discuss
521.
▲
Show HN: Destructive_command_guard (Dcg)
(github.com/Dicklesworthstone)
3 points
eigenvalue
4 months ago
discuss
522.
▲
Show HN: "htop" for PyTorch training, see stalls, memory and step time live
3 points
traceopt
5 months ago
discuss
523.
▲
Show HN: Frigatebird – analytical SQL engine built from first principles
(github.com/Frigatebird-db)
3 points
nottorus
5 months ago
discuss
524.
▲
Show HN: A simple way to find open source issues to contribute to
(k-dash.github.io)
3 points
K-dash
5 months ago
discuss
525.
▲
Show HN: Obsidenc – a Rust-based paranoid-grade encryption utility
(github.com/markrai)
3 points
markrai
6 months ago
discuss
526.
▲
Show HN: PowerKit for Tmux – 32 Plugins
(github.com/fabioluciano)
3 points
fabioluciano
6 months ago
discuss
527.
▲
Show HN: A lightweight Git history explorer written in Go
(github.com/thiagokokada)
3 points
kokada
6 months ago
discuss
528.
▲
Show HN: Git-Scope – A Fast TUI Dashboard for Managing Multiple Git Repos
(bharath-code.github.io)
3 points
iam_pbk
6 months ago
discuss
529.
▲
Show HN: Rs-Utcp, a Rust Implementation of the Universal Tool Calling Protocol
(github.com/universal-tool-calling-protocol)
3 points
juanviera23
6 months ago
discuss
530.
▲
Show HN: Dynamic Code Execution with MCP: A More Efficient Approach
(github.com/pranftw)
3 points
pranftw
7 months ago
discuss
531.
▲
Show HN: React micro-framework (SSG and router for Vite/React)
(github.com/nerds-with-keyboards)
3 points
floydnoel
7 months ago
discuss
532.
▲
Bzfs 1.13.0 – 1‑second (even sub‑second) ZFS replication across fleets
3 points
werwolf
8 months ago
discuss
533.
▲
Show HN: Get more out of your Claude Code plan with VibeBooster
(github.com/wsun19)
3 points
wsun19
9 months ago
discuss
534.
▲
Show HN: WordPress Without PHP – Build Apps and CLI Tools in TypeScript
(github.com/rnaga)
3 points
rnaga
a year ago
discuss
535.
▲
Show HN: I built tinyORM, a minimal, database-agnostic TypeScript ORM
(github.com/marcospgp)
3 points
thisismyswamp
a year ago
discuss
536.
▲
Show HN: Intentflow – YAML-based UX engine with flags, tooltips, and LLM routing
(github.com/mixpeek)
3 points
Beefin
a year ago
discuss
537.
▲
Show HN: Wasmrun – A WASM runtime with plugin support (formerly Chakra)
3 points
anistark
a year ago
discuss
538.
▲
Show HN: Cognition-wheel – parallel LLM fusion with bias masking and judging
(github.com/Hormold)
3 points
Hormold
a year ago
discuss
539.
▲
Show HN: Offloading GPU Workloads from Kubernetes to RunPod via Virtual Kubelet
(github.com/BSVogler)
3 points
BSVogler
a year ago
discuss
540.
▲
Show HN: A toy MCP for AI agents to code, run, and see output of GPU code safely
(github.com/mehmetoguzderin)
3 points
mehmetoguzderin
a year ago
discuss
More