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.
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…
Industrial knitting machines can make entire garments without human involvement, but a person will probably still fold it and sew a label onto it.
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.
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.…
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…
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…
“The taste of their food and the beauty of their women made British men the best sailors in the world.”
Elaborate marble runs are very popular, although many people use steel balls instead.
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…
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.…
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…
You're looking for (setq *print-case* :downcase), no need to mess with the reader.
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
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…
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
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…
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.
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.
Is he so incorrect to think Australian (or famously, New Zealand) laws do not apply to him as an American?
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…
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, pockets, cars,…
YNAB does support multi account split transactions, it’s just a combination of the split and transfer types. It’s not meant to support full accounting but it certainly supports that.
Typical proofs don’t cover side channels, just ISA semantics. With the big asterisk that most programs are running on top of an unverified kernel on an unverified machine-level blob on an unverified ISA implemented by…
Will Sam “Bank Fraud Man” be punished for fraud? Could go either way. Adam “New Man” got away clean.
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.
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…
Industrial knitting machines can make entire garments without human involvement, but a person will probably still fold it and sew a label onto it.
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.
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.…
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…
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…
“The taste of their food and the beauty of their women made British men the best sailors in the world.”
Elaborate marble runs are very popular, although many people use steel balls instead.
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…
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.…
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…
You're looking for (setq *print-case* :downcase), no need to mess with the reader.
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
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…
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
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…
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.
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.
Is he so incorrect to think Australian (or famously, New Zealand) laws do not apply to him as an American?
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…
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, pockets, cars,…
YNAB does support multi account split transactions, it’s just a combination of the split and transfer types. It’s not meant to support full accounting but it certainly supports that.
Typical proofs don’t cover side channels, just ISA semantics. With the big asterisk that most programs are running on top of an unverified kernel on an unverified machine-level blob on an unverified ISA implemented by…
Will Sam “Bank Fraud Man” be punished for fraud? Could go either way. Adam “New Man” got away clean.