Search: github.com/agda | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

601.

Show HN: Answer Overflow – Indexing Discord content into the web

answeroverflow.com

3 years ago

333 points

602.

Show HN: Moonshine Open-Weights STT models – higher accuracy than WhisperLargev3

github.com/moonshine-ai

4 months ago

316 points

603.

Show HN: Live coaching app for remote SWE interviews, uses Whisper and GPT-4

github.com/leetcode-mafia

3 years ago

301 points

604.

Show HN: Wallstreetlocal – View investments from America's biggest companies

github.com/bruhbruhroblox

2 years ago

299 points

605.

Show HN: Airdraw

3 years ago

269 points

606.

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

5 years ago

265 points

607.

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

3 years ago

264 points

608.

Show HN: I've open sourced DD Poker

github.com/dougdonohoe

2 years ago

255 points

609.

Regression: malware reminder on every read still causes subagent refusals

github.com/anthropics

2 months ago

252 points

610.

Show HN: uFuzzy.js – A tiny, efficient fuzzy search that doesn't suck

github.com/leeoniya

4 years ago

251 points

611.

Show HN: Neosync – Open-Source Data Anonymization for Postgres and MySQL

github.com/nucleuscloud

2 years ago

246 points

612.

Show HN: Rebels in the sky – Terminal game about space pirates

github.com/ricott1

2 years ago

242 points

613.

Show HN: HelixDB – Open-source vector-graph database for AI applications (Rust)

github.com/HelixDB

a year ago

237 points

614.

Show HN: I made an open source and local translation app

github.com/niedev

2 years ago

236 points

615.

Show HN: Hibiki HTML – New frontend framework – no scaffolding, no Webpack

playground.hibikihtml.com

4 years ago

232 points

616.

Show HN: Sameshi – a ~1200 Elo chess engine that fits within 2KB

github.com/datavorous

4 months ago

230 points

617.

Show HN: Muscle-Mem, a behavior cache for AI agents

github.com/pig-dot-dev

a year ago

226 points

618.

Show HN: Coi – A language that compiles to WASM, beats React/Vue

5 months ago

225 points

619.

Show HN: Laser, a new game played on a chess board

3 years ago

218 points

620.

Launch HN: Blyss (YC W23) – Homomorphic encryption as a service

3 years ago

206 points

621.

Show HN: Rowboat – AI coworker that turns your work into a knowledge graph (OSS)

github.com/rowboatlabs

4 months ago

205 points

622.

Ask HN: Is there a way to efficiently subscribe to an SQL query for changes?

5 years ago

200 points

623.

Show HN: AI magics meet Infinite draw board

github.com/carefree0910

4 years ago

200 points

624.

Launch HN: Sweep (YC S23) – A bot to create simple PRs in your codebase

github.com/sweepai

3 years ago

198 points

625.

Launch HN: Weweb.io (YC W21) – Create websites visually using JAMstack tools

5 years ago

195 points

626.

Tell HN: Read up on your GitHub Support SLA

4 years ago

193 points

627.

Show HN: Laudspeaker – Open-source mobile push, SMS and email automation

github.com/laudspeaker

2 years ago

193 points

628.

Ask HN: Any indications Copilot scans your local files?

5 years ago

189 points

629.

Show HN: Fresh – A new terminal editor built in Rust

sinelaw.github.io

7 months ago

187 points

630.

Show HN: Richard – A CNN written in C++ and Vulkan (no ML or math libs)

github.com/robjinman

2 years ago

184 points