Search: github.com/agda | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

631.

Show HN: Personalized Duolingo (kind of) for vocabulary building (github.com/baturyilmaz)

161 points

a year ago

632.

Show HN: Serverless Postgres (github.com/kiwicopple)

159 points

2 years ago

633.

Show HN: Nano-web – a low latency one binary webserver designed for serving SPAs (github.com/radiosilence)

157 points

2 years ago

634.

Show HN: I built an open-source data copy tool called ingestr (github.com/bruin-data)

156 points

2 years ago

635.

Document poisoning in RAG systems: How attackers corrupt AI's sources (aminrj.com)

155 points

3 months ago

636.

Show HN: Neum AI – Open-source large-scale RAG framework (github.com/NeumTry)

155 points

3 years ago

637.

Show HN: Slime OS – An open-source app launcher for RP2040 based devices (github.com/abeisgoat)

154 points

a year ago

638.

Show HN: Yaak – An open source, Git-friendly desktop API client (yaak.app)

153 points

a year ago

639.

Show HN: Streamdal – an open-source tail -f for your data (github.com/streamdal)

148 points

3 years ago

640.

Show HN: DenchClaw – Local CRM on Top of OpenClaw (github.com/DenchHQ)

147 points

3 months ago

641.

Show HN: PlayBooks – Jupyter Notebooks style on-call investigation documents (github.com/DrDroidLab)

147 points

TheBengaluruGuy

2 years ago

642.

Show HN: Benchmarking VLMs vs. Traditional OCR (getomni.ai)

146 points

a year ago

643.

Show HN: Datree (YC W20): Prevent K8s misconfigurations from reaching production

144 points

5 years ago

644.

Show HN: Oasis – An open-source, 3D-printed smart terrarium (github.com/justbuchanan)

141 points

a year ago

645.

Show HN: Marimo pair – Reactive Python notebooks as environments for agents (github.com/marimo-team)

140 points

2 months ago

646.

Launch HN: Mito (YC S20) – Edit a spreadsheet, generate Python

140 points

4 years ago

647.

Show HN: Inspect and extract files from MSI installers directly in your browser (pymsi.readthedocs.io)

135 points

a year ago

648.

Show HN: Infisical – open-source secret management platform (infisical.com)

131 points

3 years ago

649.

Redis vs. KeyDB vs. Dragonfly vs. Skytable

130 points

4 years ago

650.

Launch HN: Metlo (YC S21) – Open-source software for securing your APIs

130 points

4 years ago

651.

Show HN: Sonauto API – Generative music for developers (sonauto.ai)

127 points

a year ago

652.

Show HN: A context-aware permission guard for Claude Code (github.com/manuelschipper)

127 points

3 months ago

653.

Show HN: Host a planet-scale geocoder for $10/mo (blog.ellenhp.me)

127 points

2 years ago

654.

Show HN: Statewright – Visual state machines that make AI agents reliable (github.com/statewright)

126 points

a month ago

655.

Show HN: Denormalized – Embeddable Stream Processing in Rust and DataFusion (github.com/probably-nothing-labs)

125 points

2 years ago

656.

Show HN: Layerform – Open-source development environments using Terraform files (github.com/ergomake)

124 points

3 years ago

657.

Launch HN: Cactus (YC S25) – AI inference on smartphones (github.com/cactus-compute)

123 points

9 months ago

658.

Launch HN: Artie (YC S23) – Real time data replication to data warehouses

123 points

3 years ago

659.

Launch HN: Slauth (YC S22) – auto-generate secure IAM policies for AWS and GCP

122 points

3 years ago

660.

Tell HN: Cloudflare Is Blocking Firefox Forks Waterfox Classic and Pale Moon

122 points

4 years ago