Hope that helps.
19 karma · joined July 1, 2020
Hope that helps.
"I hope that this home brewed gene therapy doesn't kill me." are not words I expected to see in the first 30 seconds of a video.
And we know she is good because all the news media say she is good.
And we know the news media is good because she tells us it is good.
Welcome to Hotel California, you can check out at any time, but you can never leave.
It's a magical place where only those who agree with the person speaking are allowed to have an opinion and shouldn't be censored by big tech co.
I'm not sure how much money Trump made from the last election in merchandising but it wouldn't have been a small number.
We haven't quite entered the era where politics is used to sell action figures, but we're not far off.
The issue right now is that the impressionistic maths notation works well for humans and there is no computer language that:
1). has good notation
2). is useful to mathematicians out of the box
Mathematica, sage, axiom, etc all have internal representations that are essentially the system I'm talking about but the user facing language is a mess in all cases. It's not a simple problem and I don't even know what the solution looks like.
It will have a lispy notation (tree serialization), and use rewrite rules (generalized macros) and types (some type of type inference with explicit typing annotations), but other than that I feel like someone trying to invent Algol in 1947.
God help the Democrats if Biden dies during his first term. It will be a blood bath after how close this election was despite everything that had gone wrong this year for Trump.
>When I suggested to the professor that he spend half an hour reviewing algebra for those students who never had the material covered cogently in high school, I was told in no uncertain terms that it would be a waste of time because some people just can't hack it in engineering. I was told that I wouldn't be so naive once the semester was done, because some people just can't hack it in engineering. I was told that helping students with remedial material was doing them no favors; they wouldn't be able to handle advanced courses anyway because some students just can't hack it in engineering. I was told that Purdue has a loose admissions policy and that I should expect a high failure rate, because some students just can't hack it in engineering.
I think that fundamentally the problem is in mathematics.
Our notation is from the 18th century at best, yet because it is hard people think it's meaningful.
Standard maths notation makes sense for polynomials: a_0 x^n+a_1 x^(n-1)+ ... + a_n = k is the only type of general expression one can write without the need to use parens. Everything else is a kludge added on top of that notation to fix one problem with it, but only in one specific field. Which leaves you with dozens of dsls to specific types of areas of maths/engineering/physics/etc
I'm a big fan of lispified typed lambda calculus. There are no exceptions, and any specific notation is defined in terms of rewrite rules. The fact that types are required also makes it clear what you're talking about.
Unfortunately I'm in a minority of one whenever I've talked to working mathematicians, even though I can tear through papers and proofs an order of magnitude faster than when I try and use standard notation.
Each was pathologically mismanaged to the point of embezzlement (literally) using consensus rules. I managed to force Roberts rules to be adopted in two of them.
The end result was that the user group that didn't adopt them stagnated and no new members have stayed for longer than three months in the last 5 years. The other two grew to the point where they were self sustaining. The coop managed to negotiate a 50 year lease on a property from the city council at $1 a year, the hacker space ended up expelling the whole board for mismanagement and reduced the monthly fees to a quarter of what they were because we were drowning in cash.
Consensus is a way to run therapy groups, if you want to get anything done peoples feelings only get in the way.