"...or as I've taken to calling it recently, SAT slash LAPACK slash MUSL slash G... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

cellularmitosis on Feb 14, 2024 | parent | context | favorite | on: Enhancing Factorio with SAT solvers

"...or as I've taken to calling it recently, SAT slash LAPACK slash MUSL slash GNU slash Linux"

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact