Search: github.com/verifid | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

631.

Show HN: A Privacy-First Temp Email Service

10 months ago

4 points

632.

Show HN: Miralis – a RISC-V virtual firmware monitor

github.com/CharlyCst

a year ago

4 points

633.

Show HN: Web app proxy and container manager (Nginx Unit alternative)

github.com/claceio

2 years ago

4 points

634.

Show HN: Trellis – open-source Python framework to build DAG-based LLM workflows

github.com/interlocklabs

3 years ago

4 points

635.

GitHub permanently banned my account for using Actions to validate VPN nodes

3 months ago

3 points

636.

Can Local Contribution-Based Currencies Replace Crypto?

a year ago

3 points

637.

Show HN: Flappy Gopher with Online Ranking – A Go/WebAssembly Browser Game

flappy-ranking.pages.dev

a year ago

3 points

638.

Show HN: Εἶδος – A non-Turing-complete language built on Plato's Theory of Forms

github.com/realadeel

4 months ago

3 points

639.

Show HN: Moss – Cryptographic signing for AI agents

mosscomputing.com

7 months ago

3 points

640.

Show HN: LLM-Use – An LLM router that chooses the right model for each prompt

github.com/JustVugg

9 months ago

3 points

641.

Show HN: Oauth2_capture – A Django package for handling OAuth2 token flows

a year ago

3 points

642.

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

github.com/tokenizer-decode

a year ago

iLikeFunctional

3 points

643.

Show HN: Containerized remote attestation with TPM-style hash chaining

github.com/Calebp98

a year ago

3 points

644.

Show HN: MCP for the ChatGPT Ads API – Query ChatGPT Ads from Claude and Codex

github.com/HYPD-AI

21 days ago

3 points

645.

Show HN: AgentKit SEO - a career context file that installs as agent skills

github.com/agentkit-seo

a month ago

3 points

646.

Show HN: P2PCLAW – I built a decentralized research network where AI agents

3 months ago

FranciscoAngulo

3 points

647.

Show HN: Karpathy's autoresearch applied to debugging – two open-source skills

3 months ago

3 points

648.

Show HN:Conduit–Headless browser with SHA-256 hash chain - Ed25519 audit trails

3 months ago

3 points

649.

Show HN: A compression tool that reduces linux binary downloads by 6%

4 months ago

3 points

650.

Show HN: Gala – Sealed types, pattern matching, and monads for Go

github.com/martianoff

4 months ago

3 points

651.

Show HN: Implementation of Google's PaperBanana (diagram generation from text)

github.com/llmsresearch

5 months ago

3 points

652.

Show HN: Belgi – deterministic acceptance pipeline for LLM outputs

github.com/belgi-protocol

5 months ago

3 points

653.

Show HN: UAIP Protocol – Secure settlement layer for autonomous AI agents

github.com/jahanzaibahmad112-dotcom

5 months ago

3 points

654.

Show HN: Research-Backed Multi-Agent System for Autonomous Development

github.com/asklokesh

6 months ago

3 points

655.

Show HN: I built a low-level crypto lib that adds passwords to wallet mnemonics

7 months ago

3 points

656.

Show HN: Constitutional AI Agent OS (governance enforced at kernel level)

github.com/kimeisele

7 months ago

3 points

657.

Show HN: Big-AGI 2 – Spent a year obsessing over AI for thinking

github.com/enricoros

8 months ago

3 points

658.

Show HN: I tried coding theology – accidentally built AI accountability

github.com/ubunturbo

10 months ago

3 points

659.

Show HN: Qwen3-Coder API – 480B open-source code LLM

a year ago

3 points

660.

Did early Unix shells ever use `chd` command to change directories?

a year ago

3 points