TimPC

18 ms·

601.
by TimPC 4y ago
Okay some things don't add up. You can't have a Georgist tax as a single revenue source for the government and calculate it off something other than what the government needs for revenue. Either you calculate the Georgist tax rate
602.
by TimPC 4y ago
Agreed. This is an oversimplification. We'd attempt to tax away the value of the rent of the unimproved land which is less than the value of the improved land. Of course, taxes will actually be set in accordance with what the governmen
603.
by TimPC 4y ago
To be clear I'm not saying that Georgist taxes are based on the mortgage value I know they are not. I'm comparing the two quantities to establish a rough estimation of how expensive property in a Georgist society that provided a s
604.
by TimPC 4y ago
Total Federal US Tax Revenues in 2021: $4.05 trillion Total US Mortgages in 2021: $17.1 trillion Once you add the taxes for other jurisdictions of government I can see taxes reaching 30% of total mortgage value. It's fairly clear to m
605.
by TimPC 4y ago
I get that Georgism doesn't tax the improvements. I think we have a fundamental disagreements about how mortgages work. A mortgage doesn't make the bank the owner of the land. Even if we strangely ruled that it did, that would lea
606.
by TimPC 4y ago
While I don't have a lot of empathy for the author who stubbornly charged blindly into this situation I think there is very real problem here. Small businesses are more global than ever before and it's fairly normal for a busines
607.
by TimPC 4y ago
Georgism and Distributism is interesting but short of a plan to actually transition the tax infrastructure in that direction this article reduces to an unactionable history lesson. Still worth reading, but not powerful enough for those who
608.
by TimPC 4y ago
I've found for most substantial proofs I've been exposed to I understood the author's justification of how they found the proof. That doesn't mean I would have been able to come up with that step on my own, but once it
609.
by TimPC 4y ago
I'd argue what you ultimately get is a handful of near axiom As and Bs that you can prove in the smaller logics and for any sufficiently interesting statement you end up in combined logics that lose all the nice properties you were hop
610.
by TimPC 4y ago
But when you want to combine A and B and start to work in a logic that is the union of their logics you end up doing a proof in a logic that often loses all the nice properties that were essential to the theorem proving being reasonable. T
611.
by TimPC 4y ago
In my experience unions of logics that are computationally bound and nice don't end up computationally bound and nice. There are lots of cases where step A is only permits things that are computationally nice and step B only permits t
612.
by TimPC 4y ago
I think this approach hinges on how you build and define the network that flags the "most promising search state". I'd argue this is a far harder problem in theorem proving than it is in various games. Before AlphaZero all k
613.
by TimPC 4y ago
GPT3 style automated generation of plausible next steps in human language proofs is a disaster waiting to happen. GPT3 generates vaguely plausible text sequences without understanding the material. It relies heavily on the imprecision of l
614.
by TimPC 4y ago
I've worked with logics where finding proofs are computationally easy and even logics where expensive steps can be explicitly bound and controlled for. I'm always very skeptical about claims that assert "the same". Gene
615.
by TimPC 4y ago
Hiring for someone who has done it before is very common at the Principal and Staff Engineer level. As people get more senior in their careers there is more demand for specific skills and expertise not less. Contracting out is its own can o
616.
by TimPC 4y ago
Is this actually legal tender as in every merchant in the country is legally required to transact in bitcoin? Or is this a marketing play where most merchants continue to not transact in bitcoin and the country calls bitcoin legal tender?
617.
by TimPC 4y ago
The specific argument is that the Mathematicians and Scientists are screaming that the policy is nonsense. The other specific argument is that a researcher in mathematics education doesn't need to take a lot of mathematics. The inferen
618.
by TimPC 4y ago
I don't have the full dataset so can't calculate the medians. If you have the data you're welcome to do so and make the comparisons. You continue to act as if you've refuted my central point when all you have done is pr
619.
by TimPC 4y ago
This was at one point true but credit card fees have been steadily rising with the introduction of larger and larger rewards programs. It's certainly no longer true.
620.
by TimPC 4y ago
Something is rotten in the state of academia when looking at the evidence there are mathematicians, scientists and social scientists standing bravely in favour of a high bar and a quality education program in mathematics. On the other side
621.
by TimPC 4y ago
This curriculum has been brought to you by the campaign to import all technology workers from foreign countries.
622.
by TimPC 4y ago
A Professor of Mathematics Education is a role that fits into a woke section of academia and generally publishes woke forms of advocate research. Many people can study mathematics education without studying much mathematics at all. When the
623.
by TimPC 4y ago
What's the longest we can go without streaming and still meet reasonable targets? The people designing this curriculum seem to say they can't get rid of streaming without dramatically lowering the bar. This means an informed discu
624.
by TimPC 4y ago
The intention was to dumb down mathematics. If you lower the bar sufficiently you can get everyone over it. Then we'll all be equal, which is the goal of this curriculum.
625.
by TimPC 4y ago
You can expect very long term growth by expecting sequences of very short growth. It's even reasonable to reassess what those sequences are at every point in the sequence. We don't get long-term growth by believing a plan for 201
626.
by TimPC 4y ago
The problem is credit cards have used manipulative terms of service to force users of all other payment methods to subsidize the cost of credit card use. They’ve then driven up credit card usage by giving consumers rewards for doing so. As
627.
by TimPC 4y ago
The median of Canada is a terrible way to look at the housing prices of Toronto. The median of the USA is a terrible way to look at the housing prices of San Francisco. As much as it can be tempting to say "median is a great statisti
628.
by TimPC 4y ago
The solution by the way is for federal legislatures to make illegal the terms about not charging fees for credit card use. If merchants can pass on part or all of credit card fees we get out of this dystopian situation where credit card com
629.
by TimPC 4y ago
This market is a natural monopoly and it’s no surprise it has few competitors. Imagine how frustrating credit cards would be if there were 40 competing companies and each merchant accepted a different 25 of them. Merchants benefit greatly f
630.
by TimPC 4y ago
Dealing with median instead of average doesn't solve the problem though. I'm writing an article about real estate prices in areas where real estate prices are growing rapidly and are quite high. I've said that the good times

More ›