Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
181.
▲
Show HN: Outbound, a minimal reverse tunnel in Go
(github.com/kwakubiney)
1 point
kwakubiney
3 months ago
discuss
182.
▲
Show HN: Verity, Formally verified smart contracts from spec to bytecode
(github.com/Th0rgal)
1 point
th0rgal2
3 months ago
discuss
183.
▲
SpokedPy – Polyglot visual IDE with Universal IR, live execution (17 languages)
1 point
mdifrancesco
3 months ago
discuss
184.
▲
Show HN: Kremis – Deterministic memory graph for AI agents (Rust)
(github.com/M2Dr3g0n)
1 point
M2Dr3g0n
4 months ago
discuss
185.
▲
Show HN: AudioNimbus – Safe Rust Wrapper for Steam Audio
(github.com/MaxenceMaire)
1 point
mxncmr
4 months ago
discuss
186.
▲
Show HN: Kremis – Graph-based memory for AI agents with no hidden state (Rust)
(github.com/M2Dr3g0n)
1 point
M2Dr3g0n
4 months ago
discuss
187.
▲
Show HN: Kurpod – an encrypted OSS "container file" you can name vacation.jpg
(github.com/srv1n)
1 point
Tsarp
4 months ago
discuss
188.
▲
Show HN: AsyncFast – a typed, message-driven framework inspired by FastAPI
(asyncfast.readthedocs.io)
1 point
jackwburridge
4 months ago
discuss
189.
▲
Show HN: Xhttpy – unified HTTP API request tool (sync/async, stream/non‑stream)
(github.com/hscspring)
1 point
evil_yam
4 months ago
discuss
190.
▲
Show HN: RouterLab – open-source AI API with Swiss hosting
(routerlab.ch)
1 point
ScioNos
5 months ago
discuss
191.
▲
Show HN: Browser extension to LeetCode easily on mobile
(github.com/seancze)
1 point
seancze
5 months ago
discuss
192.
▲
Show HN: Gh-PR-review, inline PR comments for GitHub CLI
(github.com/agynio)
1 point
NBenkovich
6 months ago
discuss
193.
▲
Show HN: LogLens Playground – Query structured logs in browser(WASM,client-side)
(getloglens.com)
1 point
Caelrith
6 months ago
discuss
194.
▲
Show HN: ThinkReview open source browser Copilot GitLab and ADO PRs(Ollama)
(github.com/Thinkode)
1 point
jkshenawy22
7 months ago
discuss
195.
▲
Show HN: Log Bull – a simple log collection system for developers (Docker-based)
(github.com/logbull)
1 point
rostislav_dugin
7 months ago
discuss
196.
▲
Two tiny Bun-native packages tRPC over Bun.serve and a Kysely Postgres dialect
1 point
lacion
8 months ago
discuss
197.
▲
Show HN: Bitrpc – a Rust RPC library using bitcode, HTTP3, and io_uring
(github.com/fourlexboehm)
1 point
alexboehm
8 months ago
discuss
198.
▲
Show HN: AsyncFlow – Event-loop aware simulator for async distributed systems
(github.com/AsyncFlow-Sim)
1 point
gb00
10 months ago
discuss
199.
▲
Show HN: Determystic, get agents to follow your coding conventions
(github.com/piercefreeman)
1 point
icyfox
10 months ago
discuss
200.
▲
Show HN: Retend – A(nother) new JavaScript framework
(github.com/adebola-io)
1 point
adebola-io
a year ago
discuss
201.
▲
Show HN: Lintspec, a Solidity NatSpec Linter
(github.com/beeb)
1 point
beeb
a year ago
discuss
202.
▲
Show HN: Handle Batch Errors in Go
(github.com/zgiber)
1 point
spirit-sparrow
2 years ago
discuss
203.
▲
Show HN: Meta's Segment Anything Model in a Chrome Extension
(github.com/kevmo314)
1 point
kevmo314
3 years ago
discuss
204.
▲
Show HN: Wirepig – Mock HTTP and TCP deps with real sockets in Node.js tests
(github.com/griffinmyers)
1 point
griffinmyers
3 years ago
discuss
205.
▲
Sequel: A Database Toolkit for Ruby [GitHub]
(github.com/trafficbroker)
48 points
emson
16 years ago
20 comments
206.
▲
How We Made GitHub Fast - GitHub
(github.com/blog)
10 points
emson
15 years ago
discuss
207.
▲
Working Node.js on Raspberry Pi — Gist
(gist.github.com)
6 points
emson
14 years ago
discuss
208.
▲
Ruby compiled into JavaScript · GitHub
(github.com/replit)
4 points
emson
14 years ago
discuss
209.
▲
Show HN: Llumen – Lightweight LLM chat app that runs in <1s with OpenRouter
(github.com/pinkfuwa)
3 points
easonqq0000
8 months ago
discuss
210.
▲
Tool to manage user server SSH authorized keys from GitHub public keys
(github.com/teodor-pripoae)
2 points
ersoft
3 years ago
discuss
More