Minimal Boolean Formulas (2011) (research.swtch.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of research.swtch.com: Minimal Boolean Formulas (2011)

First screen, captured 1 year ago.

Looks similar

Screenshot of research.swtch.com: Using uninitialized memory for fun and profit (2008)

Using uninitialized memory for fun and profit (2008)(research.swtch.com)

17 points by AminZamani 1 year ago | 7 comments

Screenshot of research.swtch.com: Hash-based bisect debugging in compilers and runtimes

Hash-based bisect debugging in compilers and runtimes (research.swtch.com)

233 points by rsc 2 years ago | 39 comments

Screenshot of bernsteinbear.com: Value Numbering

Value Numbering (bernsteinbear.com)

27 points by surprisetalk 4 months ago | 0 comments

Screenshot of ap29600.github.io: Symmetries in Boolean Scan

Symmetries in Boolean Scan (ap29600.github.io)

8 points by g0xA52A2A 11 days ago | 0 comments

A blog post by Andrea Piseri on symmetries in boolean scans in APL, covering scans and folds, primitive optimizations, and scan composition rules.

apl array-languages boolean-scans interpreter-optimization

Screenshot of bernsteinbear.com: Compilers for free with weval

Compilers for free with weval (bernsteinbear.com)

191 points by todsacerdoti 2 years ago | 38 comments

Screenshot of research.swtch.com: Duff's Device and Coroutines (2008)

Duff's Device and Coroutines (2008)(research.swtch.com)

9 points by jb1991 2 years ago | 1 comments