Search: github.com/zf3 | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Show HN: Music for working (gist.github.com)

1 point

7 years ago

152.

Show HN: Tool to patch Chrome on Android to provide limited userscripts support (github.com/zb3)

1 point

8 years ago

153.

Z3 (github.com/Z3Prover)

1 point

8 years ago

154.

An insult to injury, ZFS on Linux (github.com/zfsonlinux)

1 point

9 years ago

155.

A simple tool to fetch domain names from CT log servers (github.com/zb3)

1 point

10 years ago

156.

Show HN: CanvasVideoRecorder – export your canvas and WebGL animations (github.com/zb3)

1 point

11 years ago

157.

Zfec – Efficient, portable erasure coding tool (github.com/tahoe-lafs)

91 points

10 years ago

158.

Show HN: View and diff files in ZFS snapshots (github.com/j-keck)

50 points

12 years ago

159.

Z3 Made Unreasonably Easy (github.com/RocketRace)

20 points

5 years ago

160.

Show HN: Solving Zodiac's Z32 – top candidate has anomaly visible from space (github.com/dstampher)

4 points

6 months ago

161.

ZFS-undelete: an easy-to-use CLI tool to recover files from ZFS snapshots (github.com/arctic-penguin)

3 points

3 years ago

162.

GoZFS is a pure-Go implementation of ZFS userspace (github.com/lorenz)

2 points

7 years ago

163.

Install Ubuntu server with ZFS root (github.com/kstenerud)

1 point

6 years ago

164.

ZFS for MacOS X (dustin.github.com)

5 points

17 years ago

165.

Show HN: Agent-to-code JIT compiler for Z3-theorem-proving agents (github.com/stanford-mast)

6 points

7 months ago

166.

Taill – tail the last file in a directory (github.com/pmccarren)

1 point

11 years ago

167.

ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com/DebarghaG)

326 points

8 months ago

168.

Interactive, file-level Time Machine-like tool for ZFS (github.com/kimono-koans)

253 points

4 years ago

169.

Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs (github.com/zwegner)

153 points

3 years ago

170.

Sanoid – Replication and Backups with ZFS (github.com/jimsalterjrs)

125 points

6 years ago

171.

Show HN: Jetpack, a FreeBSD Jail/ZFS-based container runtime (github.com/3ofcoins)

96 points

11 years ago

172.

NetBSD: a new version of the CDDL dtrace and ZFS code (github.com/NetBSD)

92 points

8 years ago

173.

Graviton Database: ZFS for key-value stores (github.com/deroproject)

86 points

6 years ago

174.

Zfs support for docker (beta) (github.com/Gandi)

32 points

12 years ago

175.

Bzfs 1.17.0 near real-time ZFS replication tool is out (github.com/whoschek)

19 points

5 months ago

176.

Consider adding warnings against using ZFS native encryption (github.com/openzfs)

18 points

2 years ago

177.

TFS: ZFS inspired file system written in Rust (github.com/redox-os)

12 points

7 years ago

178.

Implement Docker on ZFS (github.com/docker)

5 points

12 years ago

179.

Interactive, file-level Time Machine-like tool for ZFS/btrfs/nilfs2 (github.com/kimono-koans)

4 points

2 years ago

180.

A GTK-based application for browsing and restoring ZFS snapshots (github.com/atheriel)

4 points

3 years ago