Search: github.com/TimoSta | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

Sumi – Open-source voice-to-text with local AI polishing

2 points

3 months ago

182.

Show HN: Greens – mirror private GitHub activity to your public graph (github.com/yuvrajangadsingh)

2 points

3 months ago

183.

Show HN: I built a 0-CPU desktop app to track LLM limits,Python/DjangoPyWebView (github.com/PeterJFrancoIII)

2 points

3 months ago

184.

Show HN: ZoneMapzone World Clock (zonemap.live)

2 points

3 months ago

185.

Show HN: Formally Verified a Millennium Prize Problem in Coq Yang-Mills Mass Gap (github.com/Shariq81)

2 points

3 months ago

186.

Show HN: ESP32-S3 probe – a UART "flight recorder" with auto frame decoder (github.com/choihimchan)

2 points

4 months ago

187.

Show HN: Lentando, private habit and substance tracker (vanilla JavaScript, PWA) (github.com/KilledByAPixel)

2 points

4 months ago

188.

Show HN: Timefence – Python lib to detect temporal data leak in ML training (github.com/gauthierpiarrette)

2 points

4 months ago

189.

Show HN: Open-source ClickHouse skills – SQL craft course for your agent (github.com/obsessiondb)

2 points

4 months ago

190.

Show HN: tmpo – Local-first CLI time tracker with automatic project detection (github.com/DylanDevelops)

2 points

4 months ago

191.

Show HN: EditorWatch – Detect AI cheating by analyzing how students write code (github.com/Vic-Nas)

2 points

4 months ago

192.

Show HN: Minima LMS – Bitmap view tracking, caption search, reusable content (github.com/cobel1024)

2 points

4 months ago

193.

Show HN: CleanAF – One-click Desktop cleaner for Windows (github.com/TheZemmouri)

2 points

4 months ago

194.

Show HN: Spine – Verifiable audit logs with BLAKE3 and Ed25519 (github.com/EulBite)

2 points

4 months ago

195.

Astra v1.0 – Formally verified smart contracts with six mathematical axioms

2 points

5 months ago

196.

Show HN: Glogos: a consensus-free attestation proposal

2 points

6 months ago

197.

Show HN: Quirky – server monitoring for real people (github.com/quirky-dev)

2 points

6 months ago

198.

Show HN: OTS-SDK – a tiny OpenTimestamps API that never keeps your data (github.com/Gridsfeed)

2 points

7 months ago

199.

Show HN: GroupMQ – A FIFO job queue for node and Redis (github.com/Openpanel-dev)

2 points

8 months ago

200.

Reverse engineered 90 legacy builder tools – created a YARA corpus

2 points

10 months ago

201.

Show HN: Tqu – A Minimal CLI for Queue-Based Task Tracking (github.com/primaprashant)

2 points

a year ago

202.

Show HN: Aesthetic Computer – Runtime and social network for creative computing (aesthetic.computer)

2 points

2 years ago

203.

Show HN: Exploring Apple Health with ClickHouse, Vega-Altair, Llama 3, Quarto (github.com/atlaslib)

2 points

2 years ago

204.

Show HN: Pream-team A TUI app that list PRs on multiple GH repos from your team (github.com/NikolaDucak)

2 points

2 years ago

205.

Ask HN: "Time travel" into a SQLite database using the WAL files?

2 points

2 years ago

206.

Show HN: Translate Subtitles Using GPT (subsgpt.com)

2 points

2 years ago

207.

Thaw: Python tool for CI/updating project dependencies

2 points

6 years ago

208.

Show HN: Prima Veritas – Deterministic Analytics Engine for Reproducible ML (github.com/bryanziehl)

1 point

6 months ago

209.

Show HN: VectorGuard-Nano – Free secure messaging for AI agents (github.com/Active-IQ)

1 point

4 months ago

210.

Reimagining the imaginary unit I – new proof (PGP signed)

1 point

a year ago