Awesome Cold Showers

5 months ago

Formal Verification is difficult, expensive, and may miss critical bugs despite its benefits.
Static Typing's impact on reducing bugs is inconclusive based on research up to 2014.
A single-threaded Macbook Pro outperforms 128-core clusters in some graph-processing tasks.
Performance claims about languages, frameworks, and databases should be backed by hard data.
Agile methodologies have drawbacks, such as the lack of proper specifications.
Formally verified systems can still contain critical bugs, especially at system boundaries.
Abbreviated vs. full-word identifiers show no difference in debugging efficiency.
Underscore naming style (under_score) may be processed faster than camelCase.
Microservices may not solve the problems they claim to and can introduce new issues.
Programming language performance benchmarks often lack accuracy and repeatability.
Bare-metal servers can be faster and cheaper than cloud instances for certain workloads.
Go's concurrency model has its own set of bugs, particularly related to channels and shared memory.

Hasty Briefsbeta