Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs (github.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of github.com: Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs

First screen, captured 3 years ago.

Looks similar

Screenshot of github.com: Musashi: Motorola 680x0 emulator written in C

Musashi: Motorola 680x0 emulator written in C (github.com)

112 points by doener 9 months ago | 14 comments

Screenshot of github.com: Better JIT for Postgres

Better JIT for Postgres (github.com)

129 points by vladich 7 months ago | 58 comments

Screenshot of github.com: A lightweight Lisp interpreter in Malbolge

A lightweight Lisp interpreter in Malbolge (github.com)

103 points by noteness 2 years ago | 19 comments

Screenshot of github.com: Wozmon for x86-64

Wozmon for x86-64 (github.com)

52 points by ianseyler 2 years ago | 20 comments

Screenshot of github.com: Jacqueline – A minimal i386 kernel written in Pascal (2019)

Jacqueline – A minimal i386 kernel written in Pascal (2019)(github.com)

68 points by peter_d_sherman 1 year ago | 16 comments

Screenshot of github.com: WALDO: Whereabouts Ascertainment for Low-Lying Detectable Objects

WALDO: Whereabouts Ascertainment for Low-Lying Detectable Objects (github.com)

101 points by jonbaer 2 years ago | 40 comments