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.