If go is one of your favorite languages as well, this is a must read: it introduces all the basic tooling that comes with Go’s ecosystem, which might greatly save your time.
A thread from HackerNews, discussing the importance of formal verification for distributed systems.
TLA+ and formal verification is notoriously known for its complexity and steep learning curve. This might be one of my very future goals.
What it takes to be a software architect, a great blog post from InfoQ.
TIL that it is possible to convert your C/C++ assembly into Go’s assembly, and call from Go’s code. InfluxData leverages the tooling to embed AVX/SSE instructions into Golang’s assembly, thus boosts Go code’s performance, sometimes by orders of magnitude.
More information on this tool, c2goasm, work from Minio.
I think so, too. But it’ll require a community and proper tooling to see it really prosper. Hope to see that some day.
A great piece from Ray Dalio, the founder of investment firm Bridgewaters, a seasoned investor, discusses in his recent long post why American capitalism is sick in distributing resources, especially educational resources, and needs to be reformed to stay healthy.