Search: github.com/agda | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

631.

Launch HN: Optic (YC S18) – Automate Routine Programming

8 years ago

183 points

632.

Launch HN: Flower (YC W23) – Train AI models on distributed or sensitive data

3 years ago

180 points

633.

Show HN: Svix – Open-Source Webhooks Service Written in Rust

github.com/svix

4 years ago

176 points

634.

Build Android apps using Rust and Iced

github.com/ibaryshnikov

6 months ago

173 points

635.

Show HN: Elodin – A better framework for physics simulation

github.com/elodin-sys

2 years ago

167 points

636.

Show HN: Personalized Duolingo (kind of) for vocabulary building

github.com/baturyilmaz

a year ago

161 points

637.

Show HN: Serverless Postgres

github.com/kiwicopple

2 years ago

159 points

638.

Show HN: Nano-web – a low latency one binary webserver designed for serving SPAs

github.com/radiosilence

2 years ago

157 points

639.

Show HN: I built an open-source data copy tool called ingestr

github.com/bruin-data

2 years ago

156 points

640.

Document poisoning in RAG systems: How attackers corrupt AI's sources

3 months ago

155 points

641.

Show HN: Neum AI – Open-source large-scale RAG framework

github.com/NeumTry

3 years ago

155 points

642.

Show HN: Slime OS – An open-source app launcher for RP2040 based devices

github.com/abeisgoat

a year ago

154 points

643.

Show HN: Yaak – An open source, Git-friendly desktop API client

a year ago

153 points

644.

Show HN: Streamdal – an open-source tail -f for your data

github.com/streamdal

3 years ago

148 points

645.

Show HN: DenchClaw – Local CRM on Top of OpenClaw

github.com/DenchHQ

4 months ago

147 points

646.

Show HN: PlayBooks – Jupyter Notebooks style on-call investigation documents

github.com/DrDroidLab

2 years ago

TheBengaluruGuy

147 points

647.

Show HN: Benchmarking VLMs vs. Traditional OCR

a year ago

146 points

648.

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

5 years ago

144 points

649.

Show HN: Oasis – An open-source, 3D-printed smart terrarium

github.com/justbuchanan

a year ago

141 points

650.

Show HN: Marimo pair – Reactive Python notebooks as environments for agents

github.com/marimo-team

3 months ago

140 points

651.

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

4 years ago

140 points

652.

Show HN: Inspect and extract files from MSI installers directly in your browser

pymsi.readthedocs.io

a year ago

135 points

653.

Show HN: Infisical – open-source secret management platform

3 years ago

131 points

654.

Redis vs. KeyDB vs. Dragonfly vs. Skytable

4 years ago

130 points

655.

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

4 years ago

130 points

656.

Show HN: Sonauto API – Generative music for developers

a year ago

127 points

657.

Show HN: A context-aware permission guard for Claude Code

github.com/manuelschipper

3 months ago

127 points

658.

Show HN: Host a planet-scale geocoder for $10/mo

blog.ellenhp.me

2 years ago

127 points

659.

Show HN: Statewright – Visual state machines that make AI agents reliable

github.com/statewright

a month ago

126 points

660.

Show HN: Denormalized – Embeddable Stream Processing in Rust and DataFusion

github.com/probably-nothing-labs

2 years ago

125 points