aeneasmackenzie

7 ms·

1.
by aeneasmackenzie 1mo ago
All describable or recognizable complexity is part of the subcountable set of computable subsets of N. Higher infinities thus mostly contain fake elements about which nothing can be said, so they don’t feel any bigger.
2.
by aeneasmackenzie 7mo ago
They don’t exist as concepts. A rational number whose square is 2 is (convenient prose for) a formal symbol describing some object. It happens that it does not describe any object. I am claiming that many objects described after the explosi
3.
by aeneasmackenzie 7mo ago
I hold that the discovery of computation was as significant as the set theory paradoxes and should have produced a similar shift in practice. No one does naive set theory anymore. The same should have happened with classical mathematics but
4.
by aeneasmackenzie 1y ago
This is really just the constructive/classical argument but I want to be specific. You just named a function and specified a property you want it to have. However no function with this property meaningfully exists. We can manipulate th
5.
by aeneasmackenzie 1y ago
This document plays at least two shell games, declaring that “homosexuality” as its own concept is recent (within 200 years) but then smoothly omitting this when discussing scripture, instead of analyzing scripture and then inserting the
6.
by aeneasmackenzie 1y ago
Industrial knitting machines can make entire garments without human involvement, but a person will probably still fold it and sew a label onto it.
7.
by aeneasmackenzie 2y ago
Compcert guarantees that the executable that comes out does what the code that went in said, it doesn’t guarantee much about the code that went in.
8.
by aeneasmackenzie 2y ago
This was old news decades ago[0] but people don’t want to hear it. 0: https://en.m.wikipedia.org/wiki/Mainstream_Science_on_Intell... an editorial written to tell the public that this is not some shocking, fringe claim
9.
by aeneasmackenzie 2y ago
Papal infallibility is not invoked that often. Here’s an example, in section 4 (wherefore…) [0] In particular papal infallibility was not involved in the Protestants’ complaints, and the response to their complaints (Trent) was a council an
10.
by aeneasmackenzie 2y ago
This is just a polite fiction and no one is ever punished for giving illegal orders or for following them. Bloody Sunday resulted in absolutely no consequences for 1 Para. Tiger Force had illegal orders as their priority, were investigated
11.
by aeneasmackenzie 2y ago
“The taste of their food and the beauty of their women made British men the best sailors in the world.”
12.
by aeneasmackenzie 2y ago
Elaborate marble runs are very popular, although many people use steel balls instead.
13.
by aeneasmackenzie 2y ago
He was “just following orders”, which has been an airtight defense for the members of Tiger Force. If they’re going to be rounded up along with all the other Americans known to be guilty of war crimes, fine prosecute nazi soldiers. But if n
14.
by aeneasmackenzie 2y ago
AZ average students per class is 18. $21/hr for 2000 hours is $42k. Double it to overaccount for total cost of employee. Where's the $96k remaining going? I'm not going to analyze further, I don't live in AZ. But you sho
15.
by aeneasmackenzie 2y ago
So you claim it was a total coincidence he went after Soviet agents? The witch analogy here is that there are real witches but they are so powerful/well hidden witch hunters cannot find them and are diverted to patsies. This wouldn&#x2
16.
by aeneasmackenzie 2y ago
Look up the total expenditure on education per student in your state, then do a rough calculation of how much of it is actually going to teaching students (facilities, teacher salaries, school supplies). It's usually not that much and
17.
by aeneasmackenzie 2y ago
Just say witch hunt. McCarthy was entirely correct that there were a lot of communists and communist sympathizers, so many that many of the people he thought were helping him were themselves communists or communist sympathizers. Witches on
18.
by aeneasmackenzie 2y ago
You're looking for (setq *print-case* :downcase), no need to mess with the reader.
19.
by aeneasmackenzie 2y ago
The history of these discoveries is fascinating and shows that Kuhn’s scientific revolutions idea is wrong but it’s always rounded off to “Copernicus and Galileo” and doesn’t even get them right
20.
by aeneasmackenzie 2y ago
And in the P=?NP case Aaronson uses, the answer wouldn't be "P=NP" (a classical answer -- totally useless) but the actual function NP->P. People just instinctively know that you need to know which side of the disjunction y
21.
by aeneasmackenzie 2y ago
Your information is outdated. Cada is at parity with lego now, they have even introduced brick designs that lego later copied (flip flop technic beams). The rest of the Chinese brands are similar, and even aliexpress mystery bricks are serv
22.
by aeneasmackenzie 2y ago
Aristotle said that denser things fall faster than less dense things and even gave a correct expression for their speed given the limits of his mathematics and notation. https://arxiv.org/abs/1312.4057
23.
by aeneasmackenzie 3y ago
It ensures that your X belt input blueprint and your X belt output blueprint are actually using X belts and not bottlenecked on one somewhere. At a certain point it stops being necessary except for loading and unloading trains, unless you u
24.
by aeneasmackenzie 3y ago
Re [1] The situation is even worse, when telescopes became available it was discovered that the stars are specifically not point sources. It's just an optical phenomenon, but this was another serious obstacle.
25.
by aeneasmackenzie 3y ago
Copernicus is a bad example. He proposed a heliocentric system based on vibes. Actual progress required decades of cutting-edge precision measurements by Brahe and then analysis by Kepler. Objections to heliocentrism were on scientific grou
26.
by aeneasmackenzie 3y ago
In case you are not aware, apostolic churches do not and have never claimed to draw their teaching authority from the bible. It is true that sola scriptura groups are in a pickle here.
27.
by aeneasmackenzie 3y ago
Even a Turing machine has free will. You can’t find out what it will do without running it, in a way beyond all questions of technical capability. Mechanistic attacks on free will died with godel.
28.
by aeneasmackenzie 3y ago
Is he so incorrect to think Australian (or famously, New Zealand) laws do not apply to him as an American?
29.
by aeneasmackenzie 3y ago
I used to do this but I started tracking change separately because I want to track budget categories exactly but I also don’t want to have to count a bunch of change every time I reconcile my cash account. The change account is only tracked
30.
by aeneasmackenzie 3y ago
When I use cash I split the transaction like this (in YNAB): CASH -$7 LOOSE CHANGE +$0.36 STORE +$6.64 Loose change is an account that represents at least as much money as there is in change in my house, pock

More ›