it's gross. Don't do that.

Sway actually has really good mouse support! Try dragging windows around while holding the $mod key :)

WOW! I had no idea. That's awesome, thanks for informing me :)

This is what the cargo/rust ecosystem does :)

In something like Haskell or OCaml, it would be possible to verify the tree/graph at compile the time. That's why functional languages with powerful (or even dependent) type systems are so popular!

Hi! This thread looks friendly and productive, so I'll bite :) Here are 4 core judeo-christian ideas that I find helpful on this topic:

1. Transcendent morality. If morality is to be resilient, it must transcend culture, preference, etc., otherwise it can be changed or over-turned as convenient. If morality is purely relative, a matter of agreement, then the concept of an inalienable right is not meaningful. Philosophy has tried to find a different ground for morality, as the parents mentioned -- but that has not been successful, and I don't think that it can be.

The judeo-christian perspective here is of course that moral standards come from God, thus they are absolute and transcend our opinions. More specifically, they are not "law" per se, but something deeper: They reflect God's character, which _defines_ morality. I.e., God _is_ morality. For instance, Love and Justice are core moral standards because God is Loving and Just, or more precisely, we learn what Love and Justice are by looking at God.

2. The _Imago Dei_. This is the idea that makes transcendent morality applicable to humans. Morality needs to be universally applicable in order to be sustainable, otherwise it's trivial to enact restrictions -- e.g., that it need not apply to the rulers, to Jews, to Republicans or Democrats, to Muslim minorities in China... The Imago Dei is the notion that humans are created in God's image, and therefore have inalienable dignity _deriving from his_. This notion is different from more utilitarian ideas that we have worth and dignity based on e.g. our intelligence, ability or so on, and is a prime defense against all kinds of "lebensunwertes Leben" (being the nazi phrase) ideas. Incidentally, this is also why Christians are so opposed to abortion and have been since forever (roman times and even Old Testament times): The idea that the worth of the baby is not dependent on their awareness, ability or whatever (which many disabled or ill people also do not have), but on on their humanity as such.

Historically, anything from due process to property rights has been argued from this: Much of it in Old Testament times, e.g. but by far not limited to the well-known 10 commandments, then much more in New Testament times, which was then expanded upon by the early church fathers and christian-influenced philosophy. The abolition of slavery and much enlightening thinking might well not have emerged in a different context.

3. Universal Sin. The concept that all human beings are fallen and in need of redemption is what makes morality and safeguards necessary in practice. This is the knowledge that there is no _inherent_ difference between e.g. nazis and me -- I am equally capable of such atrocities if left to myself. Therefore, ordered liberty is required - government, law, and institutions to guide and restrain us. The acknowledgment of Universal Sin promotes compassion, because no-one is intrinsically worse than me: This strengthens the practical value of the Imago Dei and weakens us-versus-them ideologies like nazism or intersectionality. It also both requires and limits government, since an effective form of government needs to take the sin of the government into account as well as that of the population. This is where separate branches of government, checks and balances, (mostly electoral) accountability and related ideas were derived from.

4. _Subsidiarity_. This is the concept that the smaller and closer the unit or relationship is, the more crucial and stable it is. This ties in to 3., because the effects of sin compound with larger and more abstract units. Sin also has much more pull if given more room - see Lord Acton's famous quote about power and corruption :) I.e., it's much easier to be compassionate and efficient towards a wife or neighbor than towards "Comrade nr 25556 of the district of Eurasia". This idea has led to a strong emphasis on the family, neighborhood and local church as core institutions where the primary "government" is better placed, as opposed to a large and anonymous bureaucracy. This is were representation, federalism, small government and related ideas come from, and incidentally, why I find the US Constitution as intended far superior than the direction American politics has taken in the last 100 years (big government, bureaucracy, centralization, homogenization).

I hope this helps you understand me a bit, I'm looking forward to continue this conversation! :)

thanks, i appreciate your taking the time to respond

one thing i guess is that a lot of this comes from many thinkers and philosophers over the years, but what i guess i was more interested in was direct connections for example, "the idea of universal suffrage can be traced to book xx verse yy in the bible" or "gay rights can find support in the talmud xyz" etc... that kind of thing...

i guess its not so clear-cut maybe?

It depends, some topics are explicit and others are implicit within a larger world view that you cannot really pick and choose parts from. It seems to me that that entire world view is the critical part, because otherwise any single biblical command can just be ignored anyway if we don't like it. At the end of the day, either we are all made in God's image and have God-given inalienable rights --- in which case the government has no right to take them away --- or morality is relative, and who's to say that Chinas approach to human rights is inferior to ours? Or that those pesky flat-earthers deserve not being in prison? And so on :)

There is of course much morality that one can give chapter and verse for. This includes "big" things like murder and theft, and more subtle things like fair wages, due process and government for the people.

ocaml is statically typed, it just uses type inference for 99% of cases. So your're wrong in this case, he got all the advantages from static typing. Errors ade found at compile time.

I had something like that in elementary school in Belgium and it was amazing. I have never been taught so well since then, except for 1 case in University!

Many topics are much easier to understand (and generalise from, and memorise!) if they are tackled from multiple angles, without regard for "subjects". We would approach them with some math, some history, physics, biology, ecology - whatever helped.

And since everything was well organized, lessons built upon the previous ones and all prerequisites were introduced at the correct time. This even had the advantage that we would remember more abstract math and formulae well, because we knew where we had used it to learn interesting things! :)

Of course, that probably took a lot of work and dedication (1 teacher did all of it for each school year), even more so for high school I suppose. But it was worth it, and the lack of integration/connection is one of the biggest problems I see with the current school system in Germany/Austria.

The biggest problem in public schools is money above everything else. My mother is a teacher and so I have to listen to her horror stories at least once a week.

There's simply not enough teachers, run-down schools, outdated equipment, unmotivated teachers some of whom spend more time "sick" at home than in school and regular experiments with curricula teaching methods...

I never thought I'd become that guy, but as of late I've come to realise that the best teachers I had were indeed the "Neulehrer" - people who, after WW2 were assigned teaching jobs without formal pedagogical education due to lack of personell back then.

These teachers knew their subjects, didn't give a crap about "advisories" from the state's education board and taught based on decades of experience. Their methods sometimes seemed oddly out of place and even archaic, but they were effective ¯\_(ツ)_/¯

Classes look familiar, but that's misleading because they don't actually work like one would expect.

Hooks are actually much closer to what react does internally, and therefore behave much less surprisingly once you get into advanced things. Think of hooks like a missing primitive (similar to functions, classes and closures) that are critical to the react language, but don't actually exist in JavaScript and thus have to be approximated.

> Classes look familiar, but that's misleading because they don't actually work like one would expect.

Can you give an example for that? So far, they worked pretty much as I expected. (Coming from a mostly Java background, which is relevant for what I expect).

Don't forget the secondary effects of shutting down entire countries: depression, supply chain failures, sudden poverty, degradation of infrastructure, and increasingly lack of exercise and unhealthy eating as this drags on.

I suspect that will account for most of the differential, and possibly even be the more important number. (because many countries diagnose deaths with covid as deaths by covid)

Later on it may be a major factor, but right now it is probably outweighed in the counts by less car accident deaths, lower transmission of other communicable respiratory diseases, and less work and leisure accidents.

I don't know why something so easily disproved is being repeated so often. The worst-case of an economic shutdown is not worse than 2 million dead people.

Added bonus: the economic outcome of 2 million dead people is bad too, perhaps worse than a shutdown of (largely) healthy people. It's not an either/or, economic hardship right now is unavoidable. The choice is between getting a handle on the virus or not, and thousands dead instead of millions.

Checks in rust are fast. In fact, you can 'cargo check' to run checks without actually compiling, and that will finish in less than half a second.

Most editors did this on save before LSP came along. For logic, this is fast enough because the type system catches enough mistakes and I don't need to run tests all the time. For UI though, a faster iteration cycle would be nice...