Search: github.com/rking | Heykuki News

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)

2 points

3 months ago

152.

Show HN: Raypher–eBPF-based runtime security and hardware identity for AI agents (github.com/kidigapeet)

2 points

3 months ago

153.

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

2 points

3 months ago

154.

Show HN: Pragmatica Aether – a distributed Java runtime that replaces Kubernetes (github.com/pragmaticalabs)

2 points

3 months ago

155.

Show HN: An offline first, with state-in-URL, workout planning and tracking app (mateuszitelli.github.io)

2 points

5 months ago

156.

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

2 points

5 months ago

157.

Show HN: Market Processing Engine in C++20 (150M orders/SEC) (github.com/PIYUSH-KUMAR1809)

2 points

5 months ago

158.

Show HN: High-performance lock-free networking/messaging for Rust (github.com/bugthesystem)

2 points

6 months ago

159.

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

2 points

3 years ago

160.

Show HN: Logging in Java with Diagnostic Backtraces

2 points

6 years ago

161.

Ask HN: React UI Frameworks

1 point

3 years ago

162.

Extend RabbitMQ to Mobile/Web using PubNub

1 point

13 years ago

163.

Show HN: macOS screensaver that displays Google Trends as fish in a deep-ocean (apoorvkulkarni.com)

1 point

a month ago

164.

Show HN: I built a coding agent that works with 8k context local models (github.com/razvanneculai)

1 point

a month ago

165.

Show HN: I got frustrated with SMILES, so I built one (github.com/sangeet01)

1 point

3 months ago

166.

Show HN: DAAO – Deploy AI agents to your servers via Zero-Trust tunnels (github.com/daao-platform)

1 point

3 months ago

167.

Show HN: Aside – Local meeting capture with vault-native AI distillation (github.com/jshph)

1 point

3 months ago

168.

Show HN: Natural language semiconductor geometry generator powered by LLMs (github.com/rusrushal13)

1 point

3 months ago

169.

Show HN: MasteryTrack, Open-source 10000-hour practice tracker(Tauri/Rust/React) (github.com/Alpha-Mintamir)

1 point

6 months ago

170.

Show HN: Tree Dangler (jasonthorsness.com)

1 point

6 months ago

171.

Show HN: Interview Tracking Tool (interviews.tools)

1 point

7 months ago

172.

Show HN: Usage4Claude – Monitor Claude AI usage from macOS menu bar (github.com/f-is-h)

1 point

7 months ago

173.

Show HN: Running Ubo Pod on macOS [video] (youtube.com)

1 point

8 months ago

174.

Show HN: Witmo – AI-powered gaming coach from screenshots (github.com/ymyke)

1 point

a year ago

175.

Omni SenseVoice: High-Speed Speech Recognition with Words Timestamps (github.com/lifeiteng)

169 points

2 years ago

176.

An innovative cryptocurrency payment platform to provide payment solutions (github.com/Victor-Sava)

6 points

2 years ago

177.

Jailbreak Prompts for All Major AI Models (github.com/elder-plinius)

5 points

2 years ago

178.

Go Goodies for Swift. Including goroutines, channels, defer, and panic (github.com/tidwall)

4 points

11 years ago

179.

Vedis: An Embedded C Library Implementation of Redis (github.com/symisc)

3 points

12 years ago

180.

Embed the resource files into the executable program (github.com/webd90kb)

2 points

2 years ago