Search: github.com/zwegner | Heykuki News

HK

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

3 years ago

153 points

2.

Show HN: Faster UTF-8 validator

github.com/zwegner

7 years ago

122 points

3.

Show HN: Game About Squares solver in Python

github.com/zwegner

12 years ago

4 points

4.

x86 SIMD superoptimizer in ~100 lines of Python

github.com/zwegner

6 years ago

3 points

5.

Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs

github.com/zwegner

7 years ago

3 points

6.

Show HN: ReverseGeo – Get Location via Google Maps API

github.com/Zwenexsys

12 years ago

4 points

7.

Show HN: Zefner, Knight that will attack your HTTP's endpoint

github.com/kata-ai

8 years ago

1 points

8.

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

3 months ago

3 points

9.

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

github.com/giovantenne

2 years ago

5 points

10.

Show HN: Desk-and-Bedside Glucose Monitor

github.com/giovantenne

10 months ago

1 points