Search: github.com/AdoPi | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

361.

Show HN: Soul Protocol – an open standard for portable AI identity

1 point

3 months ago

362.

Show HN: Twick – React SDK for building timeline-based video editors (github.com/ncounterspecialist)

1 point

3 months ago

363.

Show HN: FuturLang – Natural language formal verification

1 point

4 months ago

364.

Show HN: FastAPI Matrix Admin – Zero-config secure admin panel with cyberpunk UI (github.com/rasinmuhammed)

1 point

6 months ago

365.

Show HN: JPlus – The Java Superset Language (github.com/nieuwmijnleven)

1 point

8 months ago

366.

Ask HN: Which learning style is better? Mastery Learning or Spiral approach?

1 point

7 years ago

367.

Show HN: Num command – simple Unix statistics tool – seeking feedback

1 point

11 years ago

368.

Show HN: Phases, Scala macros for multiphase classes

1 point

11 years ago

369.

Show HN: AI agents who prevent context drift through gossip (wuphf.team)

1 point

a month ago

370.

Show HN: Agent Package Manager (APM) for Agent Configuration (github.com/microsoft)

1 point

3 months ago

371.

Show HN: SnapDrift – a simpler visual regression workflow for GitHub Actions (github.com/ranacseruet)

1 point

3 months ago

372.

Show HN: Verity, Formally verified smart contracts from spec to bytecode (github.com/Th0rgal)

1 point

3 months ago

373.

Show HN: TuFT – Open-source multi-tenant, Tinker-compatible fine-tuning platform (github.com/agentscope-ai)

1 point

3 months ago

374.

Show HN: Sayiir – Durable, simple, workflow engine in Rust, no replay (github.com/sayiir)

1 point

3 months ago

375.

Ochat – reproducible, diffable LLM workflows in a single Markdown file

1 point

dakotamurphyucf

4 months ago

376.

Show HN: Gait – because "what did the AI agent do?" shouldn't require guesswork (github.com/davidahmann)

1 point

4 months ago

377.

Open source Agent Testing (BSL 1.1)

1 point

4 months ago

378.

Show HN: GuardLLM, hardened tool calls for LLM apps (github.com/mhcoen)

1 point

4 months ago

379.

Show HN: .portab- a portable file format for transporting browser windows (github.com/Shroffx-n)

1 point

4 months ago

380.

Show HN: Aicpm – Verifiable AI provenance labels for web content

1 point

4 months ago

381.

Show HN: stable_pydantic – catch Pydantic schema breakage in two tests (github.com/QuartzLibrary)

1 point

4 months ago

382.

Looking for testers for RaspberryPi+NES emulator project

1 point

14 years ago

383.

Looking for someone to take over / acquire an early AI infra product (Rayrift)

1 point

4 months ago

384.

Show HN: Early Research Preview of a Rust-Based Agentic OS Runtime [video] (youtube.com)

1 point

4 months ago

385.

Rust-gun – template and magic CLI and gates for Rust workspaces

1 point

4 months ago

386.

Show HN: Linky – AI-powered link submission that adapts to any website (github.com/jiweiyeah)

1 point

5 months ago

387.

Show HN: UniVersCell – Universal constraint language and decision framework (github.com/FIFI93160)

1 point

5 months ago

388.

A (humble) new proposal for the FE ecosystem

1 point

5 months ago

389.

Show HN: Interlock – Circuit breaker for AI infrastructure with signed audits

1 point

6 months ago

390.

I killed a worker mid-payment to test "exactly-once" execution

1 point

6 months ago