Search: github.com/zwegner | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

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

153 points

3 years ago

2.

Show HN: Faster UTF-8 validator (github.com/zwegner)

122 points

7 years ago

3.

Show HN: Game About Squares solver in Python (github.com/zwegner)

4 points

12 years ago

4.

x86 SIMD superoptimizer in ~100 lines of Python (github.com/zwegner)

3 points

6 years ago

5.

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

3 points

6 years ago

6.

Show HN: ReverseGeo – Get Location via Google Maps API (github.com/Zwenexsys)

4 points

12 years ago

7.

Show HN: Zefner, Knight that will attack your HTTP's endpoint (github.com/kata-ai)

1 point

8 years ago

8.

Tq-KV – Rust implementation of TurboQuant that works on GGUF models

3 points

2 months ago

9.

Show HN: I just released Awning. A fully dockerized Bitcoin+LND (+BTCPay) node (github.com/giovantenne)

5 points

2 years ago

10.

Show HN: Desk-and-Bedside Glucose Monitor (github.com/giovantenne)

1 point

9 months ago