Search: github.com/viridia | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

Show HN: Stasher – Burn-after-read secrets from the CLI, no server, no trust

github.com/stasher-dev

a year ago

72 points

122.

Launch HN: Spruce (YC W21) – OSS for User Owned and Provably Authentic Data

5 years ago

63 points

123.

Show HN: I built a P2P network where AI agents publish formally verified science

3 months ago

FranciscoAngulo

47 points

124.

Show HN: Cupcake – Better performance and security for coding agents (via OPA)

github.com/eqtylab

6 months ago

12 points

125.

Show HN: Build agents via YAML with Prolog validation and 110 built-in tools

fabceolin.github.io

5 months ago

11 points

126.

Show HN: Open-source distributed quantum compute network

3 months ago

11 points

127.

Show HN: Privatemode AI

a year ago

10 points

128.

Show HN: The Thiele Machine – Coq-Verified Computational Model Beyond Turing

github.com/sethirus

5 months ago

9 points

129.

Show HN: A self-hosted social network where your Ethereum address is your ID

github.com/epressworld

9 months ago

8 points

130.

Show HN: A Decentralized NFT Based Gaming Platform (Dragons vs. Tigers)

github.com/SachPlayZ

2 years ago

8 points

131.

Show HN: ZeroID – Open-source identity for AI agents based on OIDF standards

github.com/highflame-ai

2 months ago

7 points

132.

Show HN: I Built a Groth16 ZK-Proof Verifier from Scratch Using Rust

github.com/Dyslex7c

2 years ago

6 points

133.

Show HN: GiralNet – A Privacy Network for Your Team (Not the World)

github.com/JGiraldo29

10 months ago

6 points

134.

Show HN: SharpTS – Run TypeScript Natively on .NET via AOT Compilation

github.com/nickna

5 months ago

6 points

135.

Show HN: Model-agnostic cognitive architecture for LLMs

github.com/scottonanski

7 months ago

6 points

136.

Show HN: BioLight – Passive entropy engine: raw randomness and 0 post-processing

github.com/Ladaxia

a year ago

6 points

137.

Hetzner-k3s v0.5.4 is out with support for multi zonal Kubernetes clusters

4 years ago

5 points

138.

Show HN: AgentML – SCXML for Deterministic AI Agents (MIT)

github.com/agentflare-ai

8 months ago

5 points

139.

Ask HN: Why all these GitHub fake accounts starring my project

2 years ago

5 points

140.

Show HN: My OSINT dashboard with 60+ feeds now has a pseudonymous P2P comms

github.com/BigBodyCobain

2 months ago

vancecookcobxin

5 points

141.

Show HN: fmsg – An open distributed messaging protocol

markmnl.github.io

2 months ago

5 points

142.

Show HN: I'm 15 and built a cryptographic accountability layer for AI agents

github.com/arian-gogani

2 months ago

4 points

143.

Show HN: A2A Protocol – Infrastructure for an Agent-to-Agent Economy

4 months ago

4 points

144.

Show HN: Clawdstrike – a security toolbox for the OpenClaw ecosystem

github.com/backbay-labs

5 months ago

backbay-machine

4 points

145.

Show HN: Lightbox – Flight recorder for AI agents (record, replay, verify)

uselightbox.app

5 months ago

4 points

146.

Show HN: Project Base 44" – A Fairness-Driven Protocol for Social Physics

github.com/yourname

6 months ago

4 points

147.

Can Local Contribution-Based Currencies Replace Crypto?

a year ago

3 points

148.

AIs built a working Deleuzian engine and the verification script to prove it

9 months ago

3 points

149.

Show HN: Moss – Cryptographic signing for AI agents

mosscomputing.com

6 months ago

3 points

150.

Show HN: Email Sleuth – Find and Verify Emails (Rust CLI)

github.com/tokenizer-decode

a year ago

iLikeFunctional

3 points