Search: github.com/versity | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: VersityGW COSI Driver – Manage S3 Buckets as Kubernetes CRDs

github.com/isac322

3 months ago

2 points

2.

The Versity S3 Gateway: A High-Performance S3 Translation Service

github.com/versity

8 months ago

2 points

3.

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

github.com/Th0rgal

4 months ago

1 points

4.

Show HN: VerityNgn–Open-source AI that fact-checks YouTube videos

hotchilianalyticsllc.mintlify.app

5 months ago

1 points

5.

Show HN: Verity – A tiny and super fast open-source server for Altcha

github.com/Flameborn

a year ago

1 points

6.

Launch HN: Runtime (YC P26) – Sandboxed coding agents for everyone on a team

a month ago

103 points

7.

Show HN: GentleOS – A pair of hobby OSes for vintage 32-bit and 16-bit PCs

github.com/luke8086

15 days ago

132 points

8.

Show HN: Ratchet – safe SPI flash writes (polling, erase-verify) in Rust

github.com/jackulau

4 hours ago

5 points

9.

Show HN: Lathe – Use LLMs to learn a new domain, not skip past it

github.com/devenjarvis

15 days ago

402 points

10.

Show HN: Flox 1.0 – Open-source dev env as code with Nix

github.com/flox

2 years ago

382 points

11.

Show HN: We built an 8-bit CPU as 2nd year EE students

github.com/c0rRupT9

7 days ago

108 points

12.

Show HN: Open Codex – OpenAI Codex CLI with open-source LLMs

github.com/codingmoh

a year ago

106 points

13.

Show HN: Talos – Open-source WASM interpreter for Lean

github.com/cajal-technologies

4 days ago

105 points

14.

Show HN: Selector Forge – browser extension for AI-generated resilient selectors

github.com/Intuned

5 hours ago

25 points

15.

Show HN: A zero-telemetry clipboard, color picker, and capture suite

8 days ago

6 points

16.

Show HN: Topaz – A small application language that compiles through Rust

github.com/studiohaze

5 days ago

5 points

17.

Forked CozoDB to give agents cognitive primitives

3 days ago

4 points

18.

Ask HN: What's your go-to queue system?

a day ago

3 points