Search: github.com/seL4 | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

481.

I packaged 20 years of enterprise AI sales experience as a Claude Skill

github.com/vonarmen-wq

7 days ago

1 points

482.

Supporting CSS selectors when navigating to a URL fragment

github.com/bryanmcquade

8 years ago

1 points

483.

Nostr is a stupid simple P2P protocol that works, built by builders

4 years ago

248 points

484.

Show HN: A discovery-focused search engine for Hacker News

2 years ago

193 points

485.

Show HN: Distr 2.0 – A year of learning how to ship to customer environments

github.com/distr-sh

4 months ago

101 points

486.

Show HN: Metorial (YC F25) – Vercel for MCP

github.com/metorial

8 months ago

59 points

487.

Show HN: RePlaya – self-hosted browser session replay with live tailing

github.com/s2-streamstore

21 days ago

50 points

488.

Show HN: Woomarks, transfer your Pocket links to this app or self-host it

10 months ago

44 points

489.

Show HN: Generate a CV-style history for open-source contributors on GitHub

3 years ago

25 points

490.

Show HN: Keel – A schema-driven back end engine with Go and TypeScript

2 years ago

11 points

491.

Show HN: A context aware backend for AI coding agents

8 months ago

10 points

492.

Show HN: Open Computer Use

github.com/e2b-dev

a year ago

9 points

493.

Show HN: InsForge – A Postgres BaaS built for prompt-driven development

7 months ago

7 points

494.

Show HN: Keel Studio – From prompt to production-ready back end in 2 mins

2 years ago

6 points

495.

Tell HN: Z-library IPFS frontend already offline

3 years ago

5 points

496.

Show HN: Kelos – Define your AI coding agent workflow as YAML on Kubernetes

github.com/kelos-dev

4 months ago

4 points

497.

Gaia – open-source assistant that does for actions what ChatGPT did for answers

4 months ago

4 points

498.

Show HN: Distr 2.0 – A year of learning how to ship to customer environments

github.com/distr-sh

5 months ago

4 points

499.

Show HN: After 3 years, we've shipped Sveltos v1.0.0

github.com/projectsveltos

10 months ago

4 points

500.

Show HN: Latch, a feature flagging tool built on Google Storage

github.com/dwwoelfel

3 years ago

4 points

501.

Show HN: BetterDB Cloud – monitor Valkey/Redis in VPCs with a lightweight agent

4 months ago

4 points

502.

Show HN: A WordPress MCP Server – Connect Claude Desktop to WordPress via AI

github.com/docdyhr

a year ago

3 points

503.

Show HN: The Rouge is my attempt at an AI product factory

github.com/gregario

2 months ago

3 points

504.

Show HN: Axon – Let coding agents develop their own framework on Kubernetes

github.com/axon-core

4 months ago

3 points

505.

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

github.com/enricoros

8 months ago

3 points

506.

Show HN: Kelos – Run Claude —dangerously-skip-permissions on Kubernetes

github.com/kelos-dev

4 months ago

2 points

507.

Show HN: FreeLLMRouter – Live ranked list of OpenRouter free models

4 months ago

2 points

508.

Show HN: Built a habit tracker that I can't ignore

github.com/timf34

3 months ago

2 points

509.

Show HN: Atombot – atomic-lightweight AI assistant for local models and GPT‑5.4

github.com/daegwang

4 months ago

2 points

510.

Observe MCP Communication

7 months ago

2 points