Hackernews posts about Zs3

1. We could save petabytes of cache storage with Zstandard and Pingora (blog.cloudflare.com)
   139 points by torutofu 19 days ago | 62 comments
2. Online Z3 Guide (microsoft.github.io)
   72 points by Bluestein 5 days ago | 15 comments
3. Show HN: ZSvirt – A lightweight, scalable open source virtualization platform (github.com)
   72 points by czhou25 18 days ago | 14 comments
4. Synthesizing Loop-Free Programs with Rust and Z3 (2020) (fitzgen.com)
   26 points by karelpeeters 9 days ago | discuss
5. The ZSA Backpack (newsletters.feedbinusercontent.com)
   4 points by robenkleene 4 days ago | 1 comments
6. Show HN: Railo – Deterministic security patch bot using AST and Z3 (no LLMs) (www.railo.dev)
   4 points by mdzariflatif 25 days ago | 1 comments
7. Learn electronics by building your own SPICE with Python and Z3 (spicycircuits.dev)
   4 points by pkoird 28 days ago | discuss
8. Guesswork – zsh autosuggestions ranked by an AI model instead of prefix match (guesswork.findmalek.com)
   3 points by FindMalek 1 day ago | discuss
9. Show HN: Railo – Deterministic AST security patches verified with Z3 SMT (www.railo.dev)
   3 points by mdzariflatif 7 days ago | discuss
10. Oh My Zsh now supports a configurable update cooldown (github.com)
    3 points by robbyrussell 9 days ago | discuss
11. Programming Z3 (z3prover.github.io)
    3 points by Bluestein 16 days ago | discuss
12. The faces behind the feeds: Gen Z's private lives and public posts – in pictures (www.theguardian.com)
    3 points by mellosouls 29 days ago | discuss
13. ZSA Backpack (www.zsa.io)
    2 points by spiralpolitik 3 days ago | 2 comments
14. How we could save petabytes of cache storage with Zstandard and Pingora (blog.cloudflare.com)
    2 points by soheilpro 19 days ago | discuss
15. Patches Provide for Faster In-Kernel ZSTD Due to Embarrassingly Bad Inefficiency (www.phoronix.com)
    2 points by pella 25 days ago | discuss
16. A Conversation with Cinematographer Vilmos Zsigmond (cinemasojourns.com)
    2 points by jjgreen 29 days ago | discuss
17. Z3 (Computer) (en.wikipedia.org)
    1 points by Bluestein 3 days ago | discuss
18. Show HN: Smarter Shell History for Zsh (github.com)
    1 points by overflowy 4 days ago | discuss
19. Show HN: Aish – Warp-style AI command suggestions in 300 lines of Zsh (github.com)
    1 points by obilgic 12 days ago | discuss
20. Envoy's ZSTD filter leaves 77% of small JSON payloads on the wire (github.com)
    1 points by Rishikesh-glitc 20 days ago | discuss
21. Show HN: go-binsync – Go binary patches up to 67× smaller than bsdiff (github.com)
    5 points by wgjordan 24 days ago | discuss
22. How to Detect Residential Proxies
    4 points by jwally 9 days ago | 2 comments
23. Show HN: Claude's innerworkings: turn 170 costs 2.1x turn 20, over 14,640 turns
    4 points by LordBron 17 days ago | 2 comments
24. Show HN: Quickly generate and explain complex shell commands (crates.io)
    2 points by buster 9 days ago | discuss
25. Show HN: Sirius – A type system for array programming (www.sirius-lang.org)
    2 points by jlorentz1 10 days ago | discuss
26. Show HN: Deja - predicts your next shell command without an LLM (github.com)
    1 points by giammiferr 12 days ago | 1 comments
27. Show HN: Mu – an agent with actual command line experience (github.com)
    1 points by ylxdzsw 17 days ago | discuss
28. Recreating Voodoo Graphics and a Late-1990s Gaming PC on an FPGA (nand2mario.github.io)
    190 points by zdw 5 days ago | 59 comments
29. Show HN: Linux Doctor – read-only health checks that explain what's wrong (github.com)
    12 points by 7sh1d0w7x 5 days ago | discuss
30. Gave Omarchy a Try (twitter.com)
    6 points by z3ratul163071 9 days ago | 2 comments