Search: github.com/ergonomica | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

Show HN: Lean-pq a typesafe PostgreSQL connector for lean (github.com/typednotes)

2 points

3 months ago

122.

Show HN: Ayder HTTP-native durable event log in C (50K msg/s, P99 3ms, Raft HA) (github.com/A1darbek)

2 points

6 months ago

123.

Show HN: I wrote an LLM inference engine in pure Go – 48 tok/s zero dependencies (github.com/computerex)

2 points

3 months ago

124.

Show HN: Msgspec-config, yet another config library for msgspec (github.com/maxpareschi)

2 points

3 months ago

125.

Show HN: LocalAgent: local coding agent CLI with trust and replay (github.com/CalvinSturm)

2 points

3 months ago

126.

Show HN: Lobsim: L3 Limit Order Book replay and paper execution simulator (github.com/kpetridis24)

2 points

4 months ago

127.

Show HN: Dimension-TT – A typesafe wrapper for Java Swing Tables using Java 24 (github.com/akardapolov)

2 points

5 months ago

128.

Show HN: Scribble – streaming-friendly transcription engine in Rust (github.com/itsmontoya)

2 points

5 months ago

129.

Show HN: Git-scope – Fast TUI for viewing Git status across many repos (github.com/Bharath-code)

2 points

6 months ago

130.

Show HN: Simo.io – Security-first wired open-source Smart Home System for pros (simo.io)

2 points

6 months ago

131.

Show HN: VT Code – LLM-agnostic coding agent with MCP/ACP and sandboxed tools (github.com/vinhnx)

2 points

7 months ago

132.

Show HN: Rkik – A light, efficient NTP diagnosis tool written in Rust (v1.10) (github.com/aguacero7)

2 points

9 months ago

133.

Show HN: Code – coding CLI with browser control and diffs (github.com/just-every)

2 points

10 months ago

134.

Show HN: OpenAPI-TypeScript-server – Codegen TypeScript servers from OpenAPI (github.com/jasonblanchard)

2 points

10 months ago

135.

Show HN: Voft – VAVR‑style objects for Typscript (github.com/artus)

2 points

a year ago

136.

Show HN: Visual Source, local design token manager (github.com/jhwz)

2 points

a year ago

137.

Show HN: Rules-gen – CLI tool that generates Cursor and Windsurf rules (npmjs.com)

2 points

a year ago

138.

Show HN: Easily compute expensive functions inside type safe Web Workers (github.com/jaaamesey)

2 points

a year ago

139.

Show HN: Sane: pure Python, single file command runner (github.com/mikeevmm)

2 points

3 years ago

140.

Show HN: PNGR Stack – Postgres/Nginx/Golang/React in Docker-compose, hot-reload (github.com/karlkeefer)

2 points

3 years ago

141.

Async-stripe 0.14, a rust client to accept payments

2 points

4 years ago

142.

The Beef Programming Language

2 points

6 years ago

143.

PyRatatui – Python bindings for the Ratatui terminal UI library

1 point

3 months ago

144.

Show HN: Zym, embeddable script lang with continuations, preemption, mem control

1 point

3 months ago

145.

Show HN: Bankster – "money as data" toolkit for Clojure (registry, bigdec, EDN) (github.com/randomseed-io)

1 point

4 months ago

146.

Show HN: Blockrand – Verifiable randomness API with a double-blind threat model (github.com/blockrand-api)

1 point

rishi_blockrand

4 months ago

147.

Show HN: Chat-rs, yet another LLM provider (github.com/eggermarc)

1 point

2 months ago

148.

Show HN: Outbound, a minimal reverse tunnel in Go (github.com/kwakubiney)

1 point

3 months ago

149.

Show HN: Verity, Formally verified smart contracts from spec to bytecode (github.com/Th0rgal)

1 point

3 months ago

150.

SpokedPy – Polyglot visual IDE with Universal IR, live execution (17 languages)

1 point

3 months ago