insom.github.io
Void Linux CDC Ethernet on the Raspberry Pi Zero | Shameless Self Promotion
https://insom.github.io/journal/2016/11/20
Mdash; The Aaron Brady Story. Sun, Nov 20, 2016. A quick howto. Void Linux. Is a minimal Linux distribution that aggressively tracks upstream software with a rolling release model. They use runit. And have the option to use musl. Binaries are available for x86 64 and ARM platforms, with a distribution available for the Raspberry Pi 1 (which is close enough to the Zero). Follow the installation instructions. And while you have the filesystem mounted, change. Relative to your mount-point,. Folder and list ...
dottedmag.net
Software
https://dottedmag.net/software
My contributions to open source.
skarnet.org
skarnet.org powered by...
http://www.skarnet.org/poweredby.html
Software powering skarnet.org. The server runs the Linux. Operating system. Kernel. Version: 3.10.62, for x86 64 machines. Every package is compiled with and linked against the musl. Libc This site is. And uses no GNU software during its normal operation. Only for compilation purposes is GNU software used, namely gcc and GNU make. Rather than mainstream, complex pre-packaged software, a combination of various secure and lightweight programs is used. It includes:. A note on hardware.
blog.regehr.org
Software Correctness – Embedded in Academia
http://blog.regehr.org/archives/category/software-correctness
John Regehr, Professor of Computer Science, University of Utah, USA. A Month of Invalid GCC Bug Reports, and How to Eliminate Some of Them. During July 2016 the GCC developers marked 38 bug reports as INVALID. Here’s the full list. They fall into these (subjective) categories:. 8 bug reports stemmed from undefined behavior in the test case ( 71753. 1 bug report was complaining about UB exploitation in general ( 71892. 4 bug reports didn’t end up demonstrating any reproducible problem ( 71940. A few addit...
etalabs.net
Comparison of C/POSIX standard library implementations for Linux
http://www.etalabs.net/compare_libcs.html
Comparison of C/POSIX standard library implementations for Linux. A project of Eta Labs. The table below and notes which follow are a comparison of some of the different standard library implementations available for Linux, with a particular focus on the balance between feature-richness and bloat. I have tried to be fair and objective, but as I am the author of musl. That may have influenced my choice of which aspects to compare. Complete .a set. Complete .so set. Smallest static C program. Sun RPC, NIS.
SOCIAL ENGAGEMENT