An Overview of Go’s Tooling
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.
HackerNews thread on TLA+:
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.
Are You a Software Architect?
What it takes to be a software architect, a great blog post from InfoQ.
InfluxData is Building a Fast Implementation of Apache Arrow in Go Using c2goasm and SIMD
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.
Org-Mode Is One of the Most Reasonable Markup Languages to Use for Text
I think so, too. But it’ll require a community and proper tooling to see it really prosper. Hope to see that some day.
Why and How Capitalism Needs to Be Reformed
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.