Another Clown-container-based remote development environment solution. Based on the Devfile specification.
Yet another container-based development environment solution, specifically for remote development in the Clown.
And another container-based development environment file specification.
Another container-based development environment solution.
Strebt die rechtliche Gleichberechtigung mit anderen Bekenntnisgemeinschaften in Österreich an.
Robin Hanson argues against superhuman general AI as an existential risk.
One point he repeatedly makes is that we already have self-optimizing superhuman intelligences on earth, namely corporations, and they do not appear to be destroying the world.
I don’t buy it. Yes, corporations are self-optimizing superhuman intelligences in a way. But they are severely limited by the slow communication processes inside them. How much faster is communication between neurons simulated by a computer than between human beings? There is no doubt that the difference is quite large. At some point a difference in quantity makes a difference in quality. Not to mention that when viewed in this way, AIs can grow much larger than corporations can.
Container-based alternative to Nix environments.
This seems to be true across many fields. There is generally a sharp drop-off in effectiveness somewhere between 2 and 4 people. (Paper)
Key insights:
- Trade is a form of cooperation.
- Choices have consequences.
- All costs are opportunity costs.
- Incentives influence people’s choices.
- Transaction costs influence incentives as well as outcomes.
It’s quite comprehensive.
Gives good general advice on how to prompt large language models effectively.
Asset valuation is necessarily volatile, even with regard to the safest imaginable assets. Therefore, bank failure is a fact of life. Deposit insurance helps some, but it is more complex than you may think and only covers part of what society might want to protect.
A rule of thumb for quickly estimating the doubling time of an investment.
How to plan a space mission. Or a little personal side project. Or anything in between.
A list of resources.
Guidelines for seeking help with coding problems.
A rationalist magazine.
Time series database using the PostgreSQL wire protocol.
A list maintained by the Rust Formal Methods Interest Group.