Search: github.com/zf3 | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

211.

ZFS Crypto (github.com/illumos)

1 point

7 years ago

212.

Show HN: Grilops – Solve any Nikoli-style grid logic puzzle with Python and z3 (github.com/obijywk)

1 point

7 years ago

213.

Arch Linux Easy ZFS Installer (github.com/danboid)

1 point

7 years ago

214.

Show HN: A Linjat Solver Using Z3 (github.com/redfast00)

1 point

7 years ago

215.

Show HN: PgDog – Shard Postgres without extensions (github.com/pgdogdev)

307 points

a year ago

216.

Show HN: Low-cost backup to S3 Glacier Deep Archive (github.com/mrichtarsky)

120 points

4 years ago

217.

Show HN: SirixDB – Bitemporal binary JSON database system and event store (github.com/sirixdb)

109 points

3 years ago

218.

Show HN: LoopMix128 – Fast C PRNG (.46ns), 2^128 Period, BigCrush/PractRand Pass (github.com/danielcota)

76 points

a year ago

219.

Aura-State: Formally Verified LLM State Machine Compiler

23 points

3 months ago

220.

Show HN: I made a dual-bootable NixBSD (NixOS and FreeBSD) image (github.com/jonhermansen)

9 points

4 months ago

221.

AI coding agents accidentally introduced vulnerable dependencies

7 points

3 months ago

222.

Show HN: Co-locating Debian Bullseye with an evil maid

6 points

3 years ago

223.

Show HN: Jbofs – explicit file placement across independent disks (github.com/aozgaa)

4 points

2 months ago

224.

Show HN: stagDB – Free and Open-Source database manager with instant branching (github.com/arbit-tech)

3 points

10 months ago

225.

Show HN: Evolutionary (binary) JSON DBS keeping an immutable revision history

3 points

3 years ago

226.

Show HN: Theoriz3r, minimal proof of concept exploratory theorem prover (github.com/tsvibt)

3 points

3 years ago

227.

Show HN: Cleaner, faster wordpress-theming with Skellie

3 points

14 years ago

228.

Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI (github.com/Chimera-Protocol)

2 points

4 months ago

229.

Show HN: Qwack – Collaborative steering for AI agents built on OpenCode (qwack.ai)

2 points

3 months ago

230.

Show HN: SynthGenie – Natural Language to Sound Design for Hardware Synths (synthgenie.com)

2 points

serverlessmania

a year ago

231.

Show HN: Planedrift – Play Infocom games in the browser (planedrift.app)

2 points

2 months ago

232.

Show HN: Shoebox – S3 API for your local filesystem (github.com/deepjoy)

2 points

3 months ago

233.

Show HN: OpenClaw – Self-host OpenClaw in one command

2 points

3 months ago

234.

Show HN: Code Scalpel – AST analyzer and security scanner (MCP server) (codescalpel.dev)

2 points

4 months ago

235.

Show HN: Biski64 – Fast PRNG (~.40ns/call), Passes BigCrush/PractRand, Injective (github.com/danielcota)

2 points

a year ago

236.

Evolutionary, JSON data store (keeping the full revision history)

2 points

3 years ago

237.

Show HN: CSL MCP Server – Write and Verify AI Safety Policies from Claude/Cursor (pypi.org)

1 point

4 months ago

238.

Show HN: Uback 0.7 – A universal bridge between backup sources and destinations (github.com/sloonz)

1 point

4 months ago

239.

Show HN: A verified foundation of mathematics in Coq (Theory of Systems)

1 point

5 months ago

240.

Show HN: Bluesky analytics API by Graphtracks is out (graphtracks.com)

1 point

9 months ago