Search: github.com/zb3 | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Change of Z3 license (github.com/Z3Prover)

1 point

11 years ago

62.

Show HN: Unflutter – a static analyzer for Flutter/Dart AOT (github.com/zboralski)

1 point

4 months ago

63.

Happy Birthday PC/XT, here is my tribute, an XT FPGA SoC (github.com/donnaware)

1 point

15 years ago

64.

Z3 (github.com/Z3Prover)

1 point

5 years ago

65.

Show HN: Explore the 4D julia set by visualizing the 4 planes (htmlpreview.github.io)

1 point

5 years ago

66.

A Great Pentesting Tool (github.com/z3pp)

1 point

7 years ago

67.

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

1 point

7 years ago

68.

Z3 (github.com/Z3Prover)

1 point

8 years ago

69.

Tips and tricks for writing asm.js as a human (github.com/zbjornson)

1 point

9 years ago

70.

A PHP mail mime parser (github.com/zbateson)

1 point

9 years ago

71.

Emacs keybindings for Visual Studio 2015 (github.com/zbrad)

1 point

10 years ago

72.

Show HN: Rtipc – real-time, zero-copy IPC for Linux (github.com/mausys)

1 point

4 months ago

73.

Z3 Made Unreasonably Easy (github.com/RocketRace)

20 points

5 years ago

74.

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

4 points

6 months ago

75.

Show HN: Zbench, RAG evals using chess Elo ratings (github.com/zeroentropy-ai)

3 points

10 months ago

76.

GitHub forking has one big flaw (zbowling.github.com)

207 points

15 years ago

77.

New Github code percentage bar (zbowling.github.com)

1 point

14 years ago

78.

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

6 points

7 months ago

79.

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

326 points

8 months ago

80.

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

153 points

3 years ago

81.

OpenEPaperLink: Alternative Firmware for ZBS243-Based eInk Shelf Labels (github.com/jjwbruijn)

91 points

3 years ago

82.

Dependency hell and Z3 SMT-solver (github.com/dennis714)

4 points

9 years ago

83.

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

3 points

6 years ago

84.

Show HN: Modeling Covid-19 with Z3py (github.com/chadbrewbaker)

2 points

6 years ago

85.

Discrete tomography and Z3 SMT-solver (github.com/dennis714)

2 points

9 years ago

86.

Show HN: Verifying AWS Costs Deterministically with Z3 SMT Solver (WASM) (github.com/KLOUCEO)

1 point

a month ago

87.

An Adventure with Optimization and Z3 (github.com/aochagavia)

1 point

4 years ago

88.

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

1 point

7 years ago

89.

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

1 point

7 years ago

90.

Shipping system fonts to GitHub.com (markdotto.com)

1 point

8 years ago