Solving Boolean satisfiability and integer programming with Python packaging (mmaaz.ca) | HN Screenshots

YHacker Newsscreenshots

Screenshot of mmaaz.ca: Solving Boolean satisfiability and integer programming with Python packaging

First screen, captured 1 year ago.

Looks similar

Screenshot of philipzucker.com: SQL, Homomorphisms and Constraint Satisfaction Problems

SQL, Homomorphisms and Constraint Satisfaction Problems (philipzucker.com)

134 points by xlinux 1 year ago | 16 comments

Screenshot of antonz.org: Writing a Package Manager

Writing a Package Manager (antonz.org)

146 points by celiktom 3 years ago | 72 comments

Screenshot of zanussbaum.substack.com: Optimizing a WebGPU Matmul Kernel for 1 TFLOP

Optimizing a WebGPU Matmul Kernel for 1 TFLOP (zanussbaum.substack.com)

163 points by zanussbaum 1 year ago | 68 comments

Screenshot of tuzz.tech: Grappling with Infinity in Constraint Solvers

Grappling with Infinity in Constraint Solvers (tuzz.tech)

21 points by ColinWright 1 year ago | 0 comments

Screenshot of euroquis.nl: Python and SysV Shared Memory

Python and SysV Shared Memory (euroquis.nl)

55 points by LorenDB 2 years ago | 5 comments

Screenshot of simonwillison.net: Qwen2.5-Coder-32B is an LLM that can code well that runs on my Mac

Qwen2.5-Coder-32B is an LLM that can code well that runs on my Mac (simonwillison.net)

113 points by pabs3 1 year ago | 27 comments