alan-crowe
Joined 18 years ago
Joined 18 years ago
> Backlash after Barack Obama EU referendum intervention
Ten years on, people have forgotten allowing politicians to change the past from "US interfered" to "Russia interfered".
Test Reader: I got confused when you started talking about X as though it were a Y.
Author: But it is a Y. I should flag that up, where I introduce it.
Alternatively, the test reader comments
The villains monologue wasn't unhinged enough. He says that making himself universal dictator is democratic because he gives people what they secretly desire. I feel he would express himself with more empty rhetoric.
Author: Agreed. I'll add "It's not just democratic, it's not just super-democratic, it's ultra-democratic!!!"
Test Reader: Scary!
The error lies in using "It's not just an X it's a Y." for emphasis rather than to ward off a likely misreading.
Imagine yourself a shop keeper, hoping to boost the money coming in at the till. If you increase prices by 10%, you will get more? Right?
That depends on the elasticity of demand. If the elasticity is two, the drop in demand is twice the increase in price. 0.8 times 1.1 is 0.88. Takings fall from $100 to $88.
But if the elasticity is one half, the drop in demand is half the increase in price. 0.95 times 1.1 is 1.045. Takings rise from $100 to $104.5.
When the price goes up the shop always sells less goods, (Law of Demand) but that still leaves it unclear whether more or less money goes in the till. This is first year University economics today.
Back in 1865, it was obvious to every-one that the increased efficiency of steam engines would lead to a reduced demand for coal. Jevons pointed out that increased efficiency makes steam power cheaper. Goodbye water wheel, hello steam engine. More steam engines, greater consumption of steam power, any-one who wants to make a prediction needs to invent the concept of elasticity and try to measure it. Greater than one? Less than one? That is going to decide whether total demand rises or falls.
The base case is n=2. The line joining them passes through exactly two points because that is all you have.
Now we attempt the induction step. We have n+1 points. Leave one, p, out. We know that the theorem applies to the n points by the induction hypothesis. So we have points q and r that have a line going through them. And the point of the theorem is that the line goes through only q and r, exactly two points of the n. All we have to do is add in p, not on that line, and we are done.
But we are also stuck. Point p is not one of the n points participating in the induction hypothesis. Nothing tells us that p is not on the line joining q and r.
So how do we prove it? It is a good, intriguing puzzle, but in proof theory, not geometry.
If nuclear power is trying to match a fluctuating load it needs storage for a day or two, to escape the Xenon dead time. But solar power for air-conditioning only needs an hour or two of storage to bridge from peak solar at noon, to maximum demand mid-afternoon.
On the other hand I live in Scotland. Solar power for space heating needs to save the summer sun for six months to heat homes in January. Ouch! Adding a day or two of storage to a nuclear power plant is much more practical.
https://www.bbc.co.uk/news/magazine-13752688
https://www.reddit.com/r/todayilearned/comments/xlsdk5/til_t...
so my guess is that LLMs see The Hum in their training data, and then put the word "hum" in their output. Since humans occupy varied, small media bubbles, many haven't encountered text talking about The Hum at all. The LLM's use of the word "hum" then stands out as excessive and a tell. And a mysterious one!
For me Gödel's completeness theorem is the miracle. Every valid statement has a proof. Amazing!
Aim a little higher, every true statement, and there might not be a proof. It is no surprise to me that this is true. It is a big surprise to me that Gödel was able to prove it; ordinary proofs are hard to find, and proofs of the limits of provability presumably even more deeply hidden.
Non-standard models of arithmetic are weird. Theorems that are true of the standard model of arithmetic and false in some non-standard model must surely be convoluted and obscure. The first order version of the Peano axioms nail down the integers, not perfectly, but very well. Restricting one-self to theorems that are true in all models of them, even the weird, non-standard ones, feels like a very minor restriction. Gödel's completeness theorem raises the possibility of writing a computer program to find a proof of every theorem that isn't convoluted and obscure. Gödel completeness theorem is the really big deal.
Except it isn't. That computer program turns out to be one of those wretched tree search ones that soon bogs down. The real problem turns out to be the combinatorial explosion inherent in unstructured search through the Herbrand universe. One needs Unification and one needs a still missing ingredient to give search a sense of direction. The interesting questions are about the "sense of direction" that lets us find some of the deeply hidden proofs that do exist. Will LLM's help? The answer will be interesting, either way.
I've done this for much of my life. It has always worked out OK. Perhaps because I've always picked a nice middle class person as my lodger. Even the mentally ill homeless person I rented my spare room to was a nice middle class mentally ill homeless person and a friend of a friend, who recovered from his reactive depression and moved on as anticipated.
If there is a university nearby, there are probably graduate students looking for a cheap place to stay while they finish writing up their PhD thesis. Since graduate students are pretty much guaranteed to be respectable, you may need to ask for less than the market rent to grab one, but you don't mention being short of money. They will have their own concerns about you, but your dog will vouch for you.
You don't mention having a spare bedroom that you could rent out, I'm just guessing that "working remote" implies living somewhere with affordable housing, and that you have extra space. If you live in a one bedroom flat, maybe sell it or rent it out entirely, and take the other side of the deal, becoming a lodger yourself.
That is not an option for me. I'm trapped by my stuff: grand piano, Boxford CUD lathe, too many maths books. I cannot vouch for that option, but it works for my lodger, so it works for some people. (I'm over sixty and he is older than me.)
I fear that my comment is a little "off" and not quite appropriate, but in my defense, it is responsive to "I sometimes panic when it's been too long since I've seen another person."
I get my gas and electricity from Scottish Power. Recently a rival company, Ovo Energy made a clerical error and sent me a bill, leading to a dispute. The front line of defence against this kind of dispute is that the bills give the serial numbers of the meters. The bill from Scottish Power gives the same meter serial numbers that are embossed on the front of my meters, and is therefore valid. The bill from Ovo Energy gives different serial numbers and is therefore in error.
Picture though the internal processes in Ovo Energy. A second clerk is tasked with attending to the problem. He has a choice. He can change the address to agree with the meter serial numbers, correcting the error. Or he can change the meter serial numbers to those for my address, compounding the error.
Since the meter serial numbers are confidential, to me and Scottish Power, Ovo Energy does not have the second option; they do not know the serial numbers (which are long, like a credit card number, not just 1,2,3,...). Thus the clerical error gets corrected, or just left, but not compounded.
My guess is that confidential information, (such as meter serial numbers, credit card numbers, and account numbers), are the front like of defence against both clerical error and fraud based on impersonation. It is a rather weak defence, but it is light weight, and seems to how much of billing and billing disputes work.
We all have lots to hide: the confidential information that the system needs us to keep confidential to stop clerical errors from compounding.
$ pkg info fvwm
fvwm-2.6.9_4
Name : fvwm
Version : 2.6.9_4
Installed on : Mon Dec 8 02:01:51 2025 GMT
Origin : x11-wm/fvwm2
Architecture : FreeBSD:15:amd64
Very happy with it :-)Handicap stones give a greater advantage on smaller boards, but 19 x 19 is the standard size. I've not seen any specific guidance for smaller boards.
Sometimes I play a move with a huge, but hidden threat behind it. If he plays elsewhere instead of answering locally, I get to play a clever sequence and capture some stones. I could just wait for the blunder and win. Instead I give a quick lesson in tactics: here is my plan, if you want to play elsewhere, your move needs to have an even bigger threat behind it.
He is learning, and now I face my clever moves being player against me. This makes it harder for me to win (it is about 50:50 with the handicap), but also more fun for me to play.
You could ask your spouses brother for a "teaching game" or a larger handicap, or a bit of both.
Eventually the sports-betting industry wins its lobbying campaign. But what did they win? The different sports-betting companies are in fierce and unprofitable competition, while the advertising industry walks off with all the profits.
That tale is at its most ironic when the advertising industry is consolidated and makes monopoly profits on advertising on behalf of sports-betting companies.
I'm slow at learning pieces, bookmarks outnumber learned pieces about a hundred times! This abundance of riches may aid a revival of playing music.