Search: github.com/agda | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

571.

A Case Against Lookup Tables (github.com/Const-me)

1 point

10 years ago

572.

Get Pidgin working with Yahoo again 2016 (github.com/EionRobb)

1 point

10 years ago

573.

Quine Relay (Ruby to Scala to Scheme to Ruby again) (github.com/mame)

1 point

10 years ago

574.

Cards Against Humanity for the Web (github.com/ayonghosh)

1 point

10 years ago

575.

NeoMutt – a place to gather all the patches against the Mutt MUA (github.com/neomutt)

1 point

10 years ago

576.

Show HN: HackerNews Realified – Never Refresh HN Again (github.com/Bekt)

1 point

10 years ago

577.

Try again to “prevent piracy” (github.com/Nainterceptor)

1 point

11 years ago

578.

Easily test your Python HTTP library against a local copy of httpbin.org (github.com/kevin1024)

1 point

11 years ago

579.

Descent 3 Source Code (github.com/kevinbentley)

1255 points

2 years ago

580.

Show HN: InstantDB – A Modern Firebase (github.com/instantdb)

1145 points

2 years ago

581.

Show HN: GodotOS – Fake operating system interface made in the Godot engine (github.com/popcar2)

534 points

2 years ago

582.

Show HN: Z80-μLM, a 'Conversational AI' That Fits in 40KB (github.com/HarryR)

514 points

quesomaster9000

5 months ago

583.

Show HN: AsteroidOS 2.0 – Nobody asked, we shipped anyway (asteroidos.org)

470 points

4 months ago

584.

Show HN: We open sourced our entire text-to-SQL product (github.com/Dataherald)

464 points

2 years ago

585.

Inside The Internet Archive's Infrastructure (hackernoon.com)

456 points

5 months ago

586.

Tell HN: Stripe killed my music locker service, so I'm open sourcing it

446 points

3 years ago

587.

Show HN: Building a web server in assembly to give my life (a lack of) meaning (github.com/imtomt)

430 points

a month ago

588.

Show HN: Open-source macOS AI copilot using vision and voice (github.com/elfvingralf)

430 points

2 years ago

589.

Show HN: 80% faster, 50% less memory, 0% loss of accuracy Llama finetuning (github.com/unslothai)

385 points

3 years ago

590.

Show HN: Stop AI scrapers from hammering your self-hosted blog (using porn) (github.com/vivienhenz24)

373 points

6 months ago

591.

Launch HN: QuestDB (YC S20) – Fast open source time series database

357 points

6 years ago

592.

Show HN: Claude Code skills that build complete Godot games (github.com/htdt)

337 points

3 months ago

593.

Show HN: Answer Overflow – Indexing Discord content into the web (answeroverflow.com)

333 points

3 years ago

594.

Show HN: Moonshine Open-Weights STT models – higher accuracy than WhisperLargev3 (github.com/moonshine-ai)

316 points

3 months ago

595.

Show HN: Live coaching app for remote SWE interviews, uses Whisper and GPT-4 (github.com/leetcode-mafia)

301 points

3 years ago

596.

Show HN: Wallstreetlocal – View investments from America's biggest companies (github.com/bruhbruhroblox)

299 points

2 years ago

597.

Show HN: Airdraw (airdraw.io)

269 points

2 years ago

598.

Launch HN: Jitsu (YC S20) – Open-Source Segment Alternative

265 points

5 years ago

599.

Launch HN: Bloop (YC S21) – Code Search with GPT-4

264 points

3 years ago

600.

Show HN: I've open sourced DD Poker (github.com/dougdonohoe)

255 points

2 years ago