Notices by Daniel Darabos (darabos@mastodon.online)

@mcc If you already know Ocaml, it would take you no time to learn Lean. I don't know Ocaml so I can't speak to their differences. But I learned some Lean this year and really like it!

@anarchopunk_girl @tofugolem Good stuff in the comments too:
"If you’re looking for a vision of history where people were generally peaceful and contented [...] medieval peasants are a weird one to go to, because, you know, they were rebelling constantly,” Janega noted. “Why are they storming London and burning down the Savoy Palace, if this is a group of happy-go-lucky, simple folk who really love the way things are?”

@anarchopunk_girl The other question is about entities that can present a credible threat to the state. We have plenty of those. They are big corporations. They indeed succeed at exerting control over the state outside of democratic processes. This is even decentralized (there are many corporations) and distributed (via stock exchanges), like you wanted.

I guess this is not what you had in mind. I wonder what you had in mind then. How does it avoid the downsides of corporations?

@anarchopunk_girl Great perspective! I'm on board with a lot of this, but have questions about two parts. (If you have time.)

I get that the control that voting gives people is weak. But it's more than nothing. Especially in a multi-party democracy, you could become a politician, I could vote for you, and we could have some control. Is this just a matter glass half full/half empty or do you entirely discount this?