NateNate60

joined 1 year ago
[–] [email protected] 19 points 2 days ago (2 children)

nooooo don't take away my socialism

[–] [email protected] 7 points 2 days ago (2 children)

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?

[–] [email protected] 13 points 2 days ago (4 children)

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.

[–] [email protected] 6 points 2 days ago (8 children)

So obviously I ended up in the middle of this bell curve. How would that cause the perception of the ball's acceleration to differ?

[–] [email protected] 16 points 2 days ago (5 children)

Either that or because they want to feel like a big boy all mighty and powerful by telling the federal government to kick rocks

[–] [email protected] 4 points 4 days ago (1 children)

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.

[–] [email protected] 18 points 4 days ago (1 children)

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.

[–] [email protected] 5 points 4 days ago (3 children)

Average Matt Parker code

[–] [email protected] 1 points 4 days ago (1 children)

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

[–] [email protected] 12 points 5 days ago (2 children)

Yeah but it's just so tempting... It validates so many inputs so easily...

[–] [email protected] 3 points 5 days ago (1 children)

They said—

A line with exactly 0 or 1 characters, or a line with a sequence of 1 or 3 or more characters, repeated at least twice

Note—

...or a line with a sequence of 1 or 3 or more characters, repeated at least twice

It should be—

...or a line with a sequence of 2 or more characters, repeated at least twice

The regex in the post will match "abab". Their original description (line 2 of this comment) will not match "abab".

[–] [email protected] 5 points 5 days ago

Economic murder-suicide pact

 

^.?$|^(..+?)\1+$

Matches strings of any character repeated a non-prime number of times

https://www.youtube.com/watch?v=5vbk0TwkokM

10
submitted 2 weeks ago* (last edited 2 weeks ago) by [email protected] to c/[email protected]
 

Measure 117 would change the voting system from first-past-the-post to ranked-choice instant-runoff voting for presidential, state executive offices, and Congress.

I believe it doesn't go far enough. They should have it for Legislative Assembly elections as well. That being said, I'm still going to vote for it and tell all my friends and family to do the same.

 
 

At least 40 were killed after missiles struck a tent camp in Khan Younis, Gaza Civil Defense officials said. The Israeli military said it was targeting Hamas operatives.

(Washington Post gift article, no paywall)

 

"Giving people more viable alternatives to driving means more people will choose not to drive, so there will be fewer cars on the road, reducing traffic for drivers."

Concise, easy to understand, and accurate. I have used it at least a dozen times and it is remarkable how well it works.

Also—

"A bus is about twice as long as a car so it only needs to have four to six passengers on board to be more efficient than two cars."

10
Map (lemmy.world)
 
 

This image is from Google Maps and depicts Maritime Square on Tsing Yi, the island where my grandmother lives. I chose it because I think it is the embodiment of the new millennium Hong Kong urban development.

The entire development is built by the MTR Corporation, a Government-owned publicly traded company that is primarily known for running the Hong Kong metro system of the same name.

The primary attraction of this development is the eponymous Maritime Square Mall, a large five-storey indoor shopping arcade. It is attached to Tsing Yi Station, a metro station on the overground Tung Chung Line and there is a small bus interchange on the ground floor.

The mall has shops including a grocery store, around a dozen restaurants, a Marks & Spencer, bakeries, clothing retailers, electronics stores, a few banks, and some miscellaneous other stores. Notably NOT in the building is a school, otherwise, you might even be able to spend your whole life without leaving it.

There are several towers extending out of the main mall complex which contain hundreds of units of (unaffordable) housing. I think there is a botanical garden on the roof, too. The entrance to these towers is inside the mall, where there's just a lift lobby where you'd expect a shop to be. The lift lobby is closed to the public; a keycard or code is required to enter.

I think it's a similar concept to a 15-minute city, but more like a 15-minute building.

 

The Pentagon has provided Ukraine with thousands of Iranian-made weapons seized before they could reach Houthi militants in Yemen, U.S. officials said Tuesday. It’s the Biden administration’s latest infusion of emergency military support for Kyiv while a multibillion-dollar aid package remains stalled in the Republican-led House.

The weapons include 5,000 Kalashnikov rifles, machine guns, sniper rifles and rocket-propelled grenades, along with a half-million rounds of ammunition. They were seized from four “stateless vessels” between 2021 and 2023 and made available for transfer to Ukraine through a Justice Department civil forfeiture program targeting Iran’s Islamic Revolutionary Guard Corps, according to U.S. Central Command, which oversees military operations in the Middle East.

Officials said Iran intended to supply the weapons to the Houthis, who have staged a months-long assault on commercial and military vessels transiting off the Arabian Peninsula. Central Command said the cache is enough to supply rifles to an entire Ukrainian brigade, which vary in size but typically include a few thousand soldiers.

 

The Pentagon has provided Ukraine with thousands of Iranian-made weapons seized before they could reach Houthi militants in Yemen, U.S. officials said Tuesday. It’s the Biden administration’s latest infusion of emergency military support for Kyiv while a multibillion-dollar aid package remains stalled in the Republican-led House.

The weapons include 5,000 Kalashnikov rifles, machine guns, sniper rifles and rocket-propelled grenades, along with a half-million rounds of ammunition. They were seized from four “stateless vessels” between 2021 and 2023 and made available for transfer to Ukraine through a Justice Department civil forfeiture program targeting Iran’s Islamic Revolutionary Guard Corps, according to U.S. Central Command, which oversees military operations in the Middle East.

Officials said Iran intended to supply the weapons to the Houthis, who have staged a months-long assault on commercial and military vessels transiting off the Arabian Peninsula. Central Command said the cache is enough to supply rifles to an entire Ukrainian brigade, which vary in size but typically include a few thousand soldiers.

 

Google eats 30% of in-app purchases so I'd like to donate directly if possible.

If there is a way to do this, perhaps add it to the community's sidebar?

view more: next ›