Search: github.com/ergonomica | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Show HN: Verity, Formally verified smart contracts from spec to bytecode

github.com/Th0rgal

4 months ago

1 points

152.

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

4 months ago

1 points

153.

Show HN: Kremis – Deterministic memory graph for AI agents (Rust)

github.com/M2Dr3g0n

4 months ago

1 points

154.

Show HN: AudioNimbus – Safe Rust Wrapper for Steam Audio

github.com/MaxenceMaire

4 months ago

1 points

155.

Show HN: Kremis – Graph-based memory for AI agents with no hidden state (Rust)

github.com/M2Dr3g0n

4 months ago

1 points

156.

Show HN: Kurpod – an encrypted OSS "container file" you can name vacation.jpg

github.com/srv1n

4 months ago

1 points

157.

Show HN: AsyncFast – a typed, message-driven framework inspired by FastAPI

asyncfast.readthedocs.io

5 months ago

1 points

158.

Show HN: Xhttpy – unified HTTP API request tool (sync/async, stream/non‑stream)

github.com/hscspring

5 months ago

1 points

159.

Show HN: RouterLab – open-source AI API with Swiss hosting

5 months ago

1 points

160.

Show HN: Gh-PR-review, inline PR comments for GitHub CLI

github.com/agynio

6 months ago

1 points

161.

Show HN: LogLens Playground – Query structured logs in browser(WASM,client-side)

7 months ago

1 points

162.

Show HN: ThinkReview open source browser Copilot GitLab and ADO PRs(Ollama)

github.com/Thinkode

7 months ago

1 points

163.

Show HN: Log Bull – a simple log collection system for developers (Docker-based)

github.com/logbull

8 months ago

rostislav_dugin

1 points

164.

Two tiny Bun-native packages tRPC over Bun.serve and a Kysely Postgres dialect

8 months ago

1 points

165.

Show HN: Bitrpc – a Rust RPC library using bitcode, HTTP3, and io_uring

github.com/fourlexboehm

9 months ago

1 points

166.

Show HN: AsyncFlow – Event-loop aware simulator for async distributed systems

github.com/AsyncFlow-Sim

10 months ago

1 points

167.

Show HN: Determystic, get agents to follow your coding conventions

github.com/piercefreeman

10 months ago

1 points

168.

Show HN: Retend – A(nother) new JavaScript framework

github.com/adebola-io

a year ago

1 points

169.

Show HN: Lintspec, a Solidity NatSpec Linter

github.com/beeb

a year ago

1 points

170.

Show HN: Handle Batch Errors in Go

github.com/zgiber

2 years ago

1 points

171.

Show HN: Meta's Segment Anything Model in a Chrome Extension

github.com/kevmo314

3 years ago

1 points

172.

Show HN: Wirepig – Mock HTTP and TCP deps with real sockets in Node.js tests

github.com/griffinmyers

3 years ago

1 points

173.

DeepSeek-V2: A Strong, Economical, and Efficient Moe Language Model

github.com/deepseek-ai

2 years ago

14 points

174.

Show HN: Build Autonomous Economically-focused Agents using the AEA framework

github.com/fetchai

5 years ago

5 points

175.

Icepi Zero – The portable, economical FPGA development board

github.com/cheyao

a year ago

2 points

176.

Launch HN: Wasp (YC W21) – DSL for building full-stack web apps

5 years ago

222 points

177.

Show HN: Rust based log analytics with Parquet on S3

github.com/parseablehq

3 years ago

13 points

178.

Show HN: Levi – run AlphaEvolve on your Claude Code/Codex for dirt cheap

ttanv.github.io

15 days ago

5 points

179.

Show HN: Generate phishing alternative domains for Handshake

6 years ago

2 points

180.

Agentic web browsing can't scale with cloud LLMs

8 months ago

1 points