Search: github.com/rking | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Show HN: OxiLean – Pure Rust Interactive Theorem Prover (Zero C Deps, WASM)

4 months ago

2 points

152.

Show HN: Raypher–eBPF-based runtime security and hardware identity for AI agents

github.com/kidigapeet

4 months ago

2 points

153.

Show HN: VibeBar – macOS Menu Bar Monitor for Claude Code, Codex and OpenCode

4 months ago

2 points

154.

Show HN: Pragmatica Aether – a distributed Java runtime that replaces Kubernetes

github.com/pragmaticalabs

4 months ago

2 points

155.

Show HN: An offline first, with state-in-URL, workout planning and tracking app

mateuszitelli.github.io

5 months ago

2 points

156.

I made a free open-source SwiftUI macOS menu bar app to track Claude Code usage

6 months ago

2 points

157.

Show HN: Market Processing Engine in C++20 (150M orders/SEC)

github.com/PIYUSH-KUMAR1809

6 months ago

2 points

158.

Show HN: High-performance lock-free networking/messaging for Rust

github.com/bugthesystem

6 months ago

2 points

159.

Ask HN: How the hell do you get a Mozilla add-on published?

3 years ago

2 points

160.

Show HN: Logging in Java with Diagnostic Backtraces

6 years ago

2 points

161.

Ask HN: React UI Frameworks

3 years ago

1 points

162.

Extend RabbitMQ to Mobile/Web using PubNub

13 years ago

1 points

163.

Show HN: macOS screensaver that displays Google Trends as fish in a deep-ocean

apoorvkulkarni.com

2 months ago

1 points

164.

Show HN: I built a coding agent that works with 8k context local models

github.com/razvanneculai

2 months ago

1 points

165.

Show HN: I got frustrated with SMILES, so I built one

github.com/sangeet01

3 months ago

1 points

166.

Show HN: DAAO – Deploy AI agents to your servers via Zero-Trust tunnels

github.com/daao-platform

3 months ago

1 points

167.

Show HN: Aside – Local meeting capture with vault-native AI distillation

github.com/jshph

4 months ago

1 points

168.

Show HN: Natural language semiconductor geometry generator powered by LLMs

github.com/rusrushal13

4 months ago

1 points

169.

Show HN: MasteryTrack, Open-source 10000-hour practice tracker(Tauri/Rust/React)

github.com/Alpha-Mintamir

7 months ago

1 points

170.

Show HN: Tree Dangler

jasonthorsness.com

7 months ago

1 points

171.

Show HN: Interview Tracking Tool

interviews.tools

7 months ago

1 points

172.

Show HN: Usage4Claude – Monitor Claude AI usage from macOS menu bar

github.com/f-is-h

8 months ago

1 points

173.

Show HN: Running Ubo Pod on macOS [video]

8 months ago

1 points

174.

Show HN: Witmo – AI-powered gaming coach from screenshots

github.com/ymyke

a year ago

1 points

175.

Omni SenseVoice: High-Speed Speech Recognition with Words Timestamps

github.com/lifeiteng

2 years ago

169 points

176.

Notepad++ Zero-Click RCE via Path Traversal (CVE-2026-52884)

github.com/notepad-plus-plus

12 days ago

24 points

177.

An innovative cryptocurrency payment platform to provide payment solutions

github.com/Victor-Sava

2 years ago

6 points

178.

Jailbreak Prompts for All Major AI Models

github.com/elder-plinius

2 years ago

5 points

179.

Go Goodies for Swift. Including goroutines, channels, defer, and panic

github.com/tidwall

11 years ago

4 points

180.

Vedis: An Embedded C Library Implementation of Redis

github.com/symisc

12 years ago

3 points