Search: github.com/guarin | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Show HN: J4 – A programming language implemented in C

3 points

11 years ago

152.

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

3 points

12 years ago

153.

Show HN: L-Rep:Geometry engine,GA multivectors,dynamic trees in a single integer (github.com/nahhididwin)

3 points

3 months ago

154.

Show HN: TMDD – continuous threat modelling that makes your code more secure (github.com/attasec)

3 points

3 months ago

155.

Show HN: NullClaw – an autonomous AI assistant that fits in ~1MB (github.com/nullclaw)

3 points

3 months ago

156.

Show HN: FIDO2 PRF with TPM and Fingerprint Auth for Confer on Linux (vitorpy.com)

3 points

5 months ago

157.

Show HN: Two physics-based programming languages (WPE/TME and Crystalline) (github.com/Heimdall-Organization)

3 points

6 months ago

158.

Show HN: Better Agents CLI (github.com/langwatch)

3 points

6 months ago

159.

Show HN: I Found a Way for Crypto Casinos to Be Fair (probablyfair.org)

3 points

8 months ago

160.

Show HN: Wasmind – A framework for building massively parallel agentic systems (github.com/SilasMarvin)

3 points

9 months ago

161.

Show HN: Tsuki – Lua 5.4 ported to Rust (github.com/ultimaweapon)

3 points

9 months ago

162.

Show HN: Regolith – Regex library for TypeScript made to prevent ReDoS attacks (github.com/JakeRoggenbuck)

3 points

10 months ago

163.

Show HN: Vorsteh Queue – A powerful, ORM-agnostic queue engine (github.com/noxify)

3 points

10 months ago

164.

Show HN: A Source File Viewer (github.com/russellw)

3 points

a year ago

165.

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

3 points

a year ago

166.

Show HN: Currex, Pythonic currency calculator with real-time exchange rates (github.com/stared)

3 points

a year ago

167.

Show HN: GuardianUI – Simplify crypto E2E testing and monitoring (guardianui.com)

3 points

3 years ago

168.

Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI (github.com/Chimera-Protocol)

2 points

4 months ago

169.

Show HN: A new programming language stronger than SQL, Java, and Python? (github.com/SPLWare)

2 points

3 years ago

170.

New Open Source from Non-Traditional Builder

2 points

2 months ago

171.

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

2 points

a year ago

172.

Show HN: Hallx – Hallucination risk scoring for LLM outputs (github.com/dhanushk-offl)

2 points

2 months ago

173.

Show HN: SkillFortify, a formal verification for AI agent skills (github.com/varun369)

2 points

3 months ago

174.

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

2 points

3 months ago

175.

Show HN: I built a "sudo" mechanism for AI agents (github.com/cordum-io)

2 points

5 months ago

176.

Show HN: Lean-pq a typesafe PostgreSQL connector for lean (github.com/typednotes)

2 points

3 months ago

177.

Show HN: SkillFortify, Formal verification for AI agents (auto-discovers) (github.com/varun369)

2 points

3 months ago

178.

Show HN: EncypherAI, Open-source tool for cryptographically verifying AI text (github.com/encypherai)

2 points

a year ago

179.

Show HN: Ts-result – Rust's Result<T, E> type for explicit error handling in TS (github.com/trylonai)

2 points

iLikeFunctional

a year ago

180.

Microsoft Wakeup: You Have a Killer Static Site Generator!

2 points

7 years ago