Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
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