Search: github.com/guarin | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Show HN: Kremis – Rust graph DB; every answer is fact, inference, or unknown

github.com/TyKolt

3 months ago

3 points

152.

Show HN: Cco – a sandbox for Claude Code so you can YOLO made safe(ish)ly

github.com/nikvdp

a year ago

3 points

153.

Where are the unit tests for git?

14 years ago

3 points

154.

Ask HN: My process only gets scheduled on M1 efficiency cores

4 years ago

3 points

155.

Show HN: J4 – A programming language implemented in C

11 years ago

3 points

156.

Ask HN: How would you structure data about a country?

12 years ago

3 points

157.

Show HN: L-Rep:Geometry engine,GA multivectors,dynamic trees in a single integer

github.com/nahhididwin

4 months ago

3 points

158.

Show HN: TMDD – continuous threat modelling that makes your code more secure

github.com/attasec

4 months ago

3 points

159.

Show HN: NullClaw – an autonomous AI assistant that fits in ~1MB

github.com/nullclaw

4 months ago

3 points

160.

Show HN: FIDO2 PRF with TPM and Fingerprint Auth for Confer on Linux

6 months ago

3 points

161.

Show HN: Two physics-based programming languages (WPE/TME and Crystalline)

github.com/Heimdall-Organization

7 months ago

3 points

162.

Show HN: Better Agents CLI

github.com/langwatch

7 months ago

3 points

163.

Show HN: I Found a Way for Crypto Casinos to Be Fair

probablyfair.org

8 months ago

3 points

164.

Show HN: Wasmind – A framework for building massively parallel agentic systems

github.com/SilasMarvin

9 months ago

3 points

165.

Show HN: Tsuki – Lua 5.4 ported to Rust

github.com/ultimaweapon

10 months ago

3 points

166.

Show HN: Regolith – Regex library for TypeScript made to prevent ReDoS attacks

github.com/JakeRoggenbuck

10 months ago

3 points

167.

Show HN: Vorsteh Queue – A powerful, ORM-agnostic queue engine

github.com/noxify

a year ago

3 points

168.

Show HN: A Source File Viewer

github.com/russellw

a year ago

3 points

169.

biski64 – Fast C PRNG (.42ns), 2^64 Period, BigCrush/PractRand Pass

github.com/danielcota

a year ago

3 points

170.

Show HN: Currex, Pythonic currency calculator with real-time exchange rates

github.com/stared

a year ago

3 points

171.

Show HN: GuardianUI – Simplify crypto E2E testing and monitoring

3 years ago

3 points

172.

Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI

github.com/Chimera-Protocol

4 months ago

2 points

173.

Show HN: A new programming language stronger than SQL, Java, and Python?

github.com/SPLWare

3 years ago

2 points

174.

New Open Source from Non-Traditional Builder

3 months ago

2 points

175.

Ask HN: Using GPT as a logic circuit instead of a text generator – Anyone tried?

a year ago

2 points

176.

Show HN: Hallx – Hallucination risk scoring for LLM outputs

github.com/dhanushk-offl

3 months ago

2 points

177.

Show HN: SkillFortify, a formal verification for AI agent skills

github.com/varun369

4 months ago

2 points

178.

Meishi Challenges Apple/Google: Open-Source P2P E2EE Contacts

4 months ago

2 points

179.

Show HN: I built a "sudo" mechanism for AI agents

github.com/cordum-io

5 months ago

2 points

180.

Show HN: Lean-pq a typesafe PostgreSQL connector for lean

github.com/typednotes

3 months ago

2 points