Hi, I’m David Crocker, and I run a software consultancy and tools company specialising in critical software. If you’re interested in that topic, visit my work-related blog on formal verification of C/C++ software. I’m creating this additional blog primarily to share my experiences in mending things, or getting things mended, and for anything else that doesn’t fit on my verification blog. With luck the content will help others solve similar problems and avoid unnecessary expense.
apynes on Troubleshooting old Century… MAURICE GLYNNE on Converting the RepRapPro Ormer… davidcrocker on Converting the RepRapPro Ormer… MAURICE GLYNNE on Converting the RepRapPro Ormer… Damion Frasier on Troubleshooting old Century…