CN: Verifying Systems C Code with Separation-Logic Refinement Types [pdf]cl.cam.ac.uk·2 pts·smasher164·0
Spack – A flexible package manager that supports multiple versionsspack.readthedocs.io·4 pts·smasher164·1
Here We Go Again: Why Is It Difficult for Developers to Learn Another Language?conf.researchr.org·2 pts·smasher164·3
Fuse-Archive – Serve an archive or compressed file as a FUSE file systemgithub.com·2 pts·smasher164·0
Installing the Shelly Dimmer 2 (Integrated with Home Assistant and Tailscale)blog.akhil.cc·1 pts·smasher164·0