Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
A Lean 4-verified Balansis lib to eliminate NaN and make zero-division safe
(github.com/XTeam-Pro)
2 points
AndrewHakmi
6 hours ago
discuss
2.
▲
Extensions to the xterm protocol
(github.com/kovidgoyal)
3 points
noch
9 years ago
4 comments
3.
▲
Application Info Across Organization
1 point
strathclyde
3 years ago
1 comment
4.
▲
Rust core team promotes Linux on 64-bit Arm to Tier-1 supported platform status
(github.com/rust-lang)
138 points
fork-bomber
6 years ago
15 comments
5.
▲
ChatCody, the GitHub Bot That Boosts Team Productivity
(github.com/marketplace)
5 points
winkmaster
3 years ago
7 comments
6.
▲
Show HN: Xray – team profiling based on VCS mining
(github.com/ludovicianul)
3 points
ludovicianul
9 years ago
discuss
7.
▲
Show HN: HelixDB – Open-source vector-graph database for AI applications (Rust)
(github.com/HelixDB)
237 points
GeorgeCurtis
a year ago
112 comments
8.
▲
Show HN: Dap-mux – Connect your editor and REPL to the same debug session
7 points
YesJustWolf
7 days ago
1 comment
9.
▲
Show HN: RunSecret – An open source secrets management CLI for developers
(github.com/runsecret)
2 points
devenjarvis
a year ago
discuss
10.
▲
Show HN: Logverz 1.0: 10x Faster Insights, 90% Cheaper, Securely in AWS
(github.com/logleads)
2 points
LogLeads
a year ago
discuss
11.
▲
Show HN: Dsensei, pinpoint the root cause of metric change in one minute
(github.com/dsensei)
2 points
liuyl_t
3 years ago
discuss
12.
▲
Show HN: WC26-MCP – 18 tools for World Cup 2026 data for your AI
(wc26.ai)
1 point
jordanlyall
4 months ago
1 comment
13.
▲
Show HN: I Built a GitHub Action to Wait for Vercel Deployments Before CI
(github.com/marketplace)
1 point
bakkerinho
10 months ago
1 comment
14.
▲
Ask HN: What Slack bots are you using?
1 point
fjaguero
10 years ago
1 comment
15.
▲
Show HN: GitHub Action for Vercel deployments without deployment_status events
(github.com/marketplace)
1 point
bakkerinho
a year ago
discuss
16.
▲
Show HN: Noe, a mutating webhook to make multi-arch simpler in Kubernetes
(medium.com)
1 point
joaoqalves
3 years ago
discuss