Search: github.com/guarapi | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Show HN: DNC – A Decentralized Economic Protocol (No Blockchain) (github.com/POlLLOGAMER)

4 points

10 months ago

152.

Show HN: Containerized security-focused terminal IDE - de aka l7-devenv (github.com/legobeat)

4 points

2 years ago

153.

Ask HN: Would you support government open source grants?

3 points

4 years ago

154.

Show HN: Aethalloc – lock-free Rust memory allocator for Linux (github.com/shift)

3 points

3 months ago

155.

Show HN: ngrep – grep plus word embeddings (Rust) (github.com/0xNaN)

3 points

3 months ago

156.

Show HN: Mog, a programming language for AI agents (gist.github.com)

3 points

3 months ago

157.

Show HN: StripeMeter – Open-Source Usage Metering for Stripe Billing (github.com/geminimir)

3 points

9 months ago

158.

Risk Management and Hedging in a Polymarket Dual-Side Arbitrage Bot

3 points

3 months ago

159.

Show HN: Kremis – Rust graph DB; every answer is fact, inference, or unknown (github.com/TyKolt)

3 points

3 months ago

160.

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

3 points

a year ago

161.

Where are the unit tests for git?

3 points

14 years ago

162.

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

3 points

4 years ago

163.

Show HN: J4 – A programming language implemented in C

3 points

11 years ago

164.

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

3 points

3 months ago

165.

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

3 points

8 months ago

166.

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

3 points

9 months ago

167.

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

3 points

9 months ago

168.

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

3 points

10 months ago

169.

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

3 points

10 months ago

170.

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

3 points

a year ago

171.

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

2 points

4 months ago

172.

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

2 points

3 years ago

173.

New Open Source from Non-Traditional Builder

2 points

2 months ago

174.

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

2 points

a year ago

175.

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

2 points

2 months ago

176.

Show HN: OmoiOS–190K lines of Python to stop babysitting AI agents (Apache 2.0) (github.com/kivo360)

2 points

3 months ago

177.

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

2 points

3 months ago

178.

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

2 points

3 months ago

179.

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

2 points

3 months ago

180.

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

2 points

3 months ago