Practical, verifiable software freedom with GuixSD | Dark Hacker News