Search: github.com/satie | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

241.

Show HN: SoV0: a fixed-supply zero-fee cryptocurrency (github.com/sov0)

4 points

4 years ago

242.

Show HN: Ü Programming Language (github.com/Panzerschrek)

4 points

7 months ago

243.

Show HN: Dyson Sphere simulation (C++/OpenGL) (github.com/corvo001)

4 points

9 months ago

244.

Show HN: Nerve – a bottom-up, network-based approach to universal integration (get-nerve.com)

4 points

2 years ago

245.

Show HN: Generic Hooking Mechanism for Python (github.com/pyrustic)

4 points

4 years ago

246.

TLA+ Formal Modeling and Programmers: Avoiding the Imperative “Brainwash”

4 points

5 years ago

247.

Show HN: CoSig – WebAuthn co-signing for MCP tool calls (github.com/skyforest)

4 points

3 months ago

248.

Show HN: OQP – A verification protocol for AI agents

4 points

2 months ago

249.

Show HN: Ship of Theseus License (github.com/tilework-tech)

4 points

2 months ago

250.

Show HN: Polyglot Web Assembler done using AI (github.com/Srid68)

4 points

8 months ago

251.

Show HN: Never train another ML model again (github.com/Pravko-Solutions)

4 points

a year ago

252.

Show HN: I built PdfDing – A selfhosted PDF manager and viewer (github.com/mrmn2)

4 points

a year ago

253.

Show HN: Toqito–A Python library for research in quantum information theory (github.com/vprusso)

4 points

2 years ago

254.

Show HN: Attorch – PyTorch's nn module written in Python using OpenAI's Triton (github.com/BobMcDear)

4 points

2 years ago

255.

Show HN: Simon – LLM chat and Semantic Search = Postgres and 10 lines of code (github.com/Shabang-Systems)

4 points

3 years ago

256.

Show HN: MarkFlowy – A Markdown editor, which is lighter, smarter and purer (github.com/drl990114)

3 points

9 months ago

257.

Show HN: I built a url builder library for JavaScript (github.com/ikeohachidi)

3 points

4 years ago

258.

Show HN: Hackamaps – A global hackathon map I build after hitting Lovable Limits

3 points

a month ago

259.

Show HN: Twitch Plays Claude – Crowd-controlled live coding experiment (twitch.tv)

3 points

5 months ago

260.

Show HN: gtrash – A Trash CLI manager: safe alternative to rm command (github.com/umlx5h)

3 points

2 years ago

261.

Show HN: FeedFlow – a minimalistic and opinionated RSS Reader (feedflow.dev)

3 points

3 years ago

262.

Show HN: Kadō, an open source habit tracker app for iOS (github.com/scastiel)

3 points

a month ago

263.

Show HN: GeoFastMapAPI – open-source Fast vector and raster server for mapmakers (geofastmap.com)

3 points

rupestre-campos

2 months ago

264.

Show HN: Starlink constellation health – 108 reentry anomalies in TLE data (zenodo.org)

3 points

2 months ago

265.

Show HN: Fluent, a tiny lang for differentiable tensors and reactive programming (github.com/mlajtos)

3 points

5 months ago

266.

Show HN: Unified.nvim – A Neovim plugin for inline Git diffs (github.com/axkirillov)

3 points

a year ago

267.

Show HN: Psuedocode Expander (github.com/Explosion-Scratch)

3 points

a year ago

268.

A curated list of fun and flashy text animation libraries

3 points

a year ago

269.

Show HN: Language Server MCP Server Written in Go (github.com/isaacphi)

3 points

a year ago

270.

Show HN: Doot is a fast, simple and intuitive dotfiles manager (github.com/pol-rivero)

3 points

a year ago