Search: github.com/manuel | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

451.

Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence

github.com/neelsomani

6 months ago

16 points

452.

Show HN: AgentState – Lightweight state manager for multi-agent AI workflows

github.com/ayushmi

10 months ago

16 points

453.

Show HN: InsForge AI, Open-Source Agent Friendly Alternative to Supabase

9 months ago

15 points

454.

Show HN: GPT Router – Open-Source API Gateway for LLMs (OpenAI, Anthropic, etc.)

github.com/Writesonic

3 years ago

15 points

455.

Show HN:`npx continues` – resume same session Claude, Gemini, Codex when limited

github.com/yigitkonur

4 months ago

15 points

456.

Cache loop and memory loss in GPT – a user-side fix (tested with GPT itself)

github.com/sks38317

a year ago

15 points

457.

Show HN: Quickly Create Security Tests for All Your APIs (YC S21)

3 years ago

15 points

458.

Show HN: Kexa.io – Open-Source IT Security, Compliance and AI-Powered

8 months ago

15 points

459.

Show HN: Daf·thunk – open-source Editor for Prototyping Workflows on Cloudflare

a year ago

15 points

460.

Show HN: Agent Orchestrator, a local-first Harness Engineering control plane

3 months ago

15 points

461.

Tell HN: macOS keychains cannot always be restored from backups

6 years ago

14 points

462.

Show HN: Enter your domain and my open-source agent will hack it

github.com/usestrix

10 months ago

14 points

463.

Show HN: Shared – Triptych for data exchange and persistence

github.com/pyrustic

4 years ago

14 points

464.

Ask HN: Homebrew for Linux?

13 years ago

13 points

465.

Tell HN: Claude helped me maintain my old open source project

5 months ago

13 points

466.

Github is down (main site, *.github.io opening now)

robfig.github.io

13 years ago

13 points

467.

Show HN: ML condenses billions of logs into a tiny snapshot your LLM can debug

github.com/Rocketgraph

6 days ago

13 points

468.

Show HN: AI Rules Manager – Package manager for AI coding assistant rules

github.com/jomadu

9 months ago

13 points

469.

Show HN: KlavisAI-Open Source MCP Clients on Slack/Discord AndHosted MCP Servers

github.com/Klavis-AI

a year ago

13 points

470.

Show HN: Munimet.ro – ML-based status page for the local subways in SF

5 months ago

12 points

471.

Show HN: We open-sourced our GitOps template for ArgoCD

github.com/glasskube

2 years ago

12 points

472.

Ask HN: Where is MongoDB source code?

a year ago

12 points

473.

Show HN: Kindly RSS, a self-hostable RSS app designed for e-ink devices

a year ago

12 points

474.

Ask HN: How do you handle LICENSE notices in published Docker images?

2 years ago

12 points

475.

Show HN: UpTrain (YC W23) – open-source tool to evaluate LLM response quality

demo.uptrain.ai

3 years ago

12 points

476.

Show HN: Self-hosted time tracker using Rust, Tauri and React

github.com/AmineZouitine

3 years ago

12 points

477.

Ask HN: Looking for a 24-7 Real-Time Voice Transcription Tool

3 years ago

11 points

478.

Ask HN: I'm working on some tests for Amazon EBS volumes. What do you think?

17 years ago

11 points

479.

Show HN: Outline Driven Development – New AI-Assisted Coding Paradigm; BN

github.com/OutlineDriven

7 months ago

11 points

480.

Show HN: Artemis.fyi - Real-time tracker for the Artemis II Moon mission

3 months ago

11 points