Daily lobste.rs News for 2022-01-28
28 Jan 2022 -
1 minute read
Hidden Secrets to Making a New Microservices Cluster a Success (comments)
Writing an open source GPU driver – without the hardware (comments)
Prefer to change the code rather than write a workaround (comments)
Cubical 1lab: A formalised, cross-linked reference resource for mathematics done in HoTT (comments)