Hacker Newsnew | past | comments | ask | show | jobs | submit | fromlogin
Packaging: Sound Removals (jak-linux.org)
1 point by JNRowe 51 days ago | past
A SomewhatMaxSAT Solver (jak-linux.org)
9 points by JNRowe 6 months ago | past
DNS66: DNS-based host/ad blocking for Android (jak-linux.org)
2 points by leonry on Aug 22, 2024 | past
Observations in Debian Dependency Solving (jak-linux.org)
20 points by JNRowe on May 24, 2024 | past | 2 comments
The new APT 3.0 solver (jak-linux.org)
193 points by todsacerdoti on May 14, 2024 | past | 114 comments
Apt Z3 Solver Basics (jak-linux.org)
3 points by pabs3 on Nov 24, 2021 | past
Migrating Away from Apt-Key (jak-linux.org)
11 points by todsacerdoti on June 21, 2021 | past
Apt 2.2 Released (jak-linux.org)
1 point by edward on Feb 19, 2021 | past
Apt 2.2 Released (jak-linux.org)
1 point by pabs3 on Feb 19, 2021 | past
Apt 2.0 (jak-linux.org)
91 points by jcastro on March 8, 2020 | past | 59 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: