Search: github.com/straker | Heykuki News

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)

16 points

5 months ago

302.

Show HN: Reddit Archiving Tool

16 points

3 years ago

303.

Show HN: CocoIndex – Open-Source Data framework for AI, built for data freshness (github.com/cocoindex-io)

14 points

a year ago

304.

Show HN: A stateful UI runtime for reactive web apps in Go (github.com/doors-dev)

14 points

2 months ago

305.

Show HN: Open-Source Favicon Provider (github.com/twentyhq)

14 points

3 years ago

306.

Show HN: Ouijit, an open-source task and terminal manager for coding agents (ouijit.com)

13 points

6 days ago

307.

Show HN: CivBench a long-horizon AI benchmark for multi-agent games (clashai.live)

12 points

3 months ago

308.

Show HN: Decentralized Database (github.com/dbpunk-labs)

12 points

3 years ago

309.

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

12 points

CollinSchneider

3 years ago

310.

Show HN: A competition game to write bots for the most efficient algo (github.com/kingofthegrid)

11 points

a year ago

311.

Show HN: OpenTiger – Autonomous dev orchestration that never stops (github.com/Andyyyy64)

11 points

3 months ago

312.

Show HN: Finagg – free and nearly unlimited financial data (github.com/theOGognf)

11 points

2 years ago

313.

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

10 points

5 years ago

314.

Show HN: Open-source implementation of Stanford's self-learning agent framework (github.com/kayba-ai)

10 points

8 months ago

315.

Show HN: Anvil – Desktop App for Spec Driven Development (github.com/zdenham)

10 points

2 months ago

316.

Show HN: Claude.md templates based on Boris Cherny's advice (github.com/abhishekray07)

10 points

4 months ago

317.

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

9 points

4 months ago

318.

Show HN: The biggest achievement of my life so far (github.com/adityaprasad-sudo)

9 points

ambitious_potat

4 months ago

319.

Show HN: Talk to AI Models in Terminal (github.com/Databingo)

9 points

3 years ago

320.

Ask HN: Have tracing JIT compilers lost?

9 points

8 years ago

321.

Show HN: I open-sourced a $1M engine for closing loops in embedding space (github.com/onestardao)

8 points

a year ago

322.

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

8 points

a year ago

323.

Show HN: Kurt Vonnegut's lost board game online (playghq.com)

8 points

2 years ago

324.

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

8 points

a month ago

325.

Show HN: Trawl – Scrape any site with natural language fields, not CSS selectors (github.com/akdavidsson)

8 points

3 months ago

326.

Show HN: Plano – Edge and service proxy with orchestration for AI agents (github.com/katanemo)

8 points

5 months ago

327.

Show HN: Build Live AI and RAG Pipelines in Minutes with YAML Templates (pathway.com)

8 points

2 years ago

328.

Show HN: MCP Mesh – one endpoint for all your MCP servers (OSS self-hosted) (github.com/decocms)

8 points

5 months ago

329.

Show HN: pglockanalyze - See the locks your Postgres migrations will acquire (github.com/agis)

8 points

a year ago

330.

Show HN: Find prompts that jailbreak your agent (open source) (security.vista-labs.ai)

8 points

a year ago