This is a proceeding in federal court, but the president’s pardon power doesn’t extend to civil cases anyway. Or at least until the Supreme Court rules that it does.

European and American banks won’t lend a single penny to Trump. He’s a notorious deadbeat who never pays what he owes. But Russian banks will happily lend him as much money as he wants. All they ask is that he kindly direct all repayment payable to the order of the Kremlin. The repayment doesn’t need to be money, they’re flexible.

Trump had a whole book of detailed plans for what he wanted to do after he got into office. His entire agenda from day 1 to day infinity has been planned out by the Heritage Foundation. You may have heard of this project. It is supposed to take effect in 2025.

I don’t think they are good plans, and you probably don’t either, but they certainly were one of the plans of all time.

Harris has no clear agenda. Compare her to someone like Bernie Sanders who loudly proclaims his entire playbook on social media every morning. Sanders makes it clear about what he’d do if he was in change. The difference is pretty obvious.

Unfortunately, this person will soon hold the office of President of the United States, the most powerful office in the history of mankind, so we must consider it.

Trump considers himself a businessman and a deal maker at heart. Ukraine is on the auction block. Shall we start the bidding at… ten billion euros?

Oh, what’s this? Putin bids eleven billion?

Tough luck, Zelenskyy…

I believe EU leaders have already made this calculation. If you prove willing to bribe him this year, why wouldn’t he ask for double the amount next year? You can never buy a corrupt politician. You can only rent him.

At that point, why not just take that money and invest in your own country’s defence instead? Defence spending increases your own country’s GDP and makes it so that you don’t have to rely on whether Trump remembered that you paid him off just last week before asking for more.

I think a big reason why people were not excited to vote for Harris is because she really doesn’t have any unique policies other than a general handwave in the direction of Joe Biden.

I’m not saying she’s bad by any means, and she’s definitely a lot better than Trump, but elections in the US are won and lost almost entirely on turnout rather than the quality of the candidate’s proposed agenda. And people really just weren’t interested in waiting in line to vote for a candidate who promises only good vibes, while being bombarded with attack adverts reminding them that a dozen eggs now costs a dollar more than it did last year.

If you lose a presidential race twice, you’re done. Hillary lost twice, Bernie lost twice, and now Harris has lost twice. It was fun while it lasted, but the Democratic Party now needs to find a new leader who has some actual policies to run on.

EU countries have laws that prohibit its leaders from bribing foreign heads of government. Russia doesn’t.

Too late for polls now. Only voting is left. So go out and do it if you haven’t already

I think you posted this twice.

Do we have any evidence that they are actually voting and not just filming videos they hope will become popular without really going to vote?

Did any distro give concrete reasons for why they have actively chosen not to package it, or perhaps they just haven’t given it much thought yet?

This is not what I would consider a “political reason”. A political reason would be something like refusing to package it because of what political party Howard supports.

There is plenty of software you’ll find in these repositories that aren’t under the GPL. CMake uses BSD, the Apache web server uses the eponymous Apache license, LibreOffice and Firefox use MPL, Godot and Bitcoin Core use the MIT license, and I’m sure there are plenty of other software licenses that I haven’t thought of yet.

An LLM (large language model, a.k.a. an AI whose output is natural language text based on a natural language text prompt) is useful for the tasks when you’re okay with 90% accuracy generated at 10% of the cost and 1,000% faster. And where the output will solely be used in-house by yourself and not served to other people. For example, if your goal is to generate an abstract for a paper you’ve written, AI might be the way to go since it turns a writing problem into a proofreading problem.

The Google Search LLM which summarises search results is good enough for most purposes. I wouldn’t rely on it for in-depth research but like I said, it’s 90% accurate and 1,000% faster. You just have to be mindful of this limitation.

I don’t personally like interacting with customer service LLMs because they can only serve up help articles from the company’s help pages, but they are still remarkably good at that task. I don’t need help pages because the reason I’m contacting customer service to begin with is because I couldn’t find the solution using the help pages. It doesn’t help me, but it will no doubt help plenty of other people whose first instinct is not to read the f***ing manual. Of course, I’m not going to pretend customer service LLMs are perfect. In fact, the most common problem with them seems to be that they go “off the script” and hallucinate solutions that obviously don’t work, or pretend that they’ve scheduled a callback with a human when you request it, but they actually haven’t. This is a really common problem with any sort of LLM.

At the same time, if you try to serve content generated by an LLM and then present it as anything of higher quality than it actually is, customers immediately detest it. Most LLM writing is of pretty low quality anyway and sounds formulaic, because to an extent, it was generated by a formula.

Consumers don’t like being tricked, and especially when it comes to creative content, I think that most people appreciate the human effort that goes into creating it. In that sense, serving AI content is synonymous with a lack of effort and laziness on the part of whoever decided to put that AI there.

But yeah, for a specific subset of limited use cases, LLMs can indeed be a good tool. They aren’t good enough to replace humans, but they can certainly help humans and reduce the amount of human workload needed.

The US has no mechanisms to ban political parties

If the set of all strings of composite length is a regular language, you can use that to prove the set of all strings of prime length are also a regular language.

But it’s also easy to prove that the set of language of strings of prime length is not regular, and thus the language of strings of composite length also can’t be regular.

A more formal proof.

You got downvoted here but you’re absolutely right. It’s easy to prove that the set of strings with prime length is not a regular language using the pumping lemma for regular languages. And in typical StackExchange fashion, someone’s already done it.

Here’s their proof.

Claim 1: The language consisting of the character 1 repeated a prime number of times is not regular.

A further argument to justify your claim—

Claim 2: If the language described in Claim 1 is not regular, then the language consisting of the character 1 repeated a composite number of times is not regular.

Proof: Suppose the language described in Claim 2 is regular if the language described in Claim 1 is not. Then there must exist a finite-state automaton A that recognises it. If we create a new finite-state automaton B which (1) checks whether the string has length 1 and rejects it, and (2) then passes the string to automaton A and rejects when automaton A accepts and accepts when automaton A rejects, then we can see that automaton B accepts the set of all strings of non-composite length that are not of length 1, i.e. the set of all strings of prime length. But since the language consisting of all strings of prime length is non-regular, there cannot exist such an automaton. Therefore, the assumption that the language described in Claim 2 being regular is false.

Average Matt Parker code

“at least 2 characters repeated [at least] twice” implies the string’s length is divisible by a number greater than 1.

Yeah but it’s just so tempting… It validates so many inputs so easily…