Search: github.com/straker | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

301.

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

github.com/neelsomani

6 months ago

16 points

302.

Show HN: Reddit Archiving Tool

3 years ago

16 points

303.

Show HN: CocoIndex – Open-Source Data framework for AI, built for data freshness

github.com/cocoindex-io

a year ago

14 points

304.

Show HN: A stateful UI runtime for reactive web apps in Go

github.com/doors-dev

2 months ago

14 points

305.

Show HN: Open-Source Favicon Provider

github.com/twentyhq

3 years ago

14 points

306.

Show HN: TLA+ Process Studio

tlaplus-process-studio.com

3 days ago

13 points

307.

Show HN: CivBench a long-horizon AI benchmark for multi-agent games

4 months ago

12 points

308.

Show HN: Decentralized Database

github.com/dbpunk-labs

4 years ago

12 points

309.

Show HN: Swishjam (YC W23) - simple open source front end performance monitoring

3 years ago

CollinSchneider

12 points

310.

Show HN: A competition game to write bots for the most efficient algo

github.com/kingofthegrid

a year ago

11 points

311.

Show HN: OpenTiger – Autonomous dev orchestration that never stops

github.com/Andyyyy64

4 months ago

11 points

312.

Show HN: Finagg – free and nearly unlimited financial data

github.com/theOGognf

2 years ago

11 points

313.

Ask HN: I created a free service to help people make money. Am I crazy?

5 years ago

10 points

314.

Show HN: Open-source implementation of Stanford's self-learning agent framework

github.com/kayba-ai

8 months ago

10 points

315.

Show HN: Anvil – Desktop App for Spec Driven Development

github.com/zdenham

3 months ago

10 points

316.

Show HN: Claude.md templates based on Boris Cherny's advice

github.com/abhishekray07

5 months ago

10 points

317.

Terraform requires a DAG. AWS allows cycles. Here's how I map the difference.

5 months ago

9 points

318.

Show HN: The biggest achievement of my life so far

github.com/adityaprasad-sudo

4 months ago

ambitious_potat

9 points

319.

Show HN: Talk to AI Models in Terminal

github.com/Databingo

3 years ago

9 points

320.

Ask HN: Have tracing JIT compilers lost?

8 years ago

9 points

321.

Show HN: I open-sourced a $1M engine for closing loops in embedding space

github.com/onestardao

a year ago

8 points

322.

DeepSeek-R1 Exhibits Deceptive Alignment: AI That Knows It's Unsafe

a year ago

8 points

323.

Show HN: Kurt Vonnegut's lost board game online

2 years ago

8 points

324.

Show HN: Llm.sql – Run a 640MB LLM on SQLite, with 210MB peak RSS and 7.4 tok/s

2 months ago

8 points

325.

Show HN: Trawl – Scrape any site with natural language fields, not CSS selectors

github.com/akdavidsson

4 months ago

8 points

326.

Show HN: Plano – Edge and service proxy with orchestration for AI agents

github.com/katanemo

6 months ago

8 points

327.

Show HN: Build Live AI and RAG Pipelines in Minutes with YAML Templates

2 years ago

8 points

328.

Show HN: MCP Mesh – one endpoint for all your MCP servers (OSS self-hosted)

github.com/decocms

6 months ago

8 points

329.

Show HN: pglockanalyze - See the locks your Postgres migrations will acquire

github.com/agis

a year ago

8 points

330.

Show HN: Find prompts that jailbreak your agent (open source)

security.vista-labs.ai

a year ago

8 points