CanadaPlus

joined 2 years ago
MODERATOR OF
[–] CanadaPlus 2 points 8 months ago* (last edited 8 months ago)

Also, some Architectures have specific machine instructions that Compilers just don’t take advantage of, no matter what flags you enable.

Interesting. Do you have some examples?

Writing those frequently-called leaf functions in assembly has certainly far outlived it's use in other places. But, the word on the street, or I guess the conventional wisdom, is that compilers have gradually caught up even there.

[–] CanadaPlus 2 points 8 months ago* (last edited 8 months ago) (4 children)

Is it not? What would you call it? It doesn't even end at the Canadian border, really, although we start calling it "prairies" to be distinct.

Source: Live here, have seen that border.

[–] CanadaPlus 4 points 8 months ago* (last edited 8 months ago)

Finland is also facing an adversary that's been a bit more strategic, and took some very hard political concessions during the Cold War in order to remain a separate country. And now they've joined NATO anyway.

I mean, sure, Finland-style mass mobilisation and fortress mentality is a great place to start. But, I don't see it replacing a nuclear umbrella, either our own or from someone who already has one.

[–] CanadaPlus 20 points 8 months ago

To repeat from the deleted thread: on CUSMA goods, because the US quietly dropped the same on their end a week ago.

I'll let people decide for themselves if that's pitchfork-worthy.

[–] CanadaPlus 1 points 8 months ago* (last edited 8 months ago)

What about the Twin Cities? They're also a major center, and in a "more" midwestern area in some sense, although Chicago is probably bigger.

[–] CanadaPlus 3 points 8 months ago* (last edited 8 months ago) (1 children)

To give them some credit, Americans know basic facts about their own geography, at least. Washington ends up with roughly the same favourability as Oregon here, and the two states do seem awfully similar.

Now, knowing that DC is actually full of ordinary, mostly black people, or that Montana isn't very different from North Dakota? Maybe not. That's beyond just map facts.

[–] CanadaPlus 0 points 8 months ago (1 children)

Generators, batteries, just a better grid. If it happened tomorrow it would be scary, but it will be gradual. Really poor people in vulnerable areas might not have the option to adapt, which I mentioned, but the average Lemming does.

Is dying your retirement plan or something? I'm not the one contradicting the experts here.

[–] CanadaPlus 1 points 8 months ago* (last edited 8 months ago)

In classical statistical theory, manipulating a probabilistic state is equivalent to picking a single initial state with whatever probability, and then manipulating it. In quantum statistics it's provably not (at least if we're measuring particles with as much free will as we think); you need the whole thing for it to make sense. Two likely trajectories can interfere and cancel out, for example.

So, sure, a position is a vector. But we can only meaningfully talk about functions from a (measurable) set of vectors to their probability amplitude (which is like a probability, but complex). Or, in practice, the infinitesimal density of probability amplitude at that given point

The uncertainty principal is just one manifestation of that. And, like in the uncertainty principal, entanglement might not stay confined to just position if there's other parameters, so you really have to talk about functions on the whole state vector. I can't speak too much to quantum field theory, but the actual dynamics of basic quantum physics is about (very "basic") functions on those functions.

[–] CanadaPlus 1 points 8 months ago* (last edited 8 months ago) (1 children)

Is this calculated by assuming the wavefunction is static? Like, maybe a steady-state eigenfunction of the system's evolution with an eigenvalue that's 1, or another root of unity.

[–] CanadaPlus 1 points 8 months ago

Yeah, in practice this is interpreted as as everyone must join to retaliate, except maybe in niche cases like the aggressor also being in NATO.

[–] CanadaPlus 4 points 8 months ago* (last edited 8 months ago)

What is the user count vs reddit?

I'm not sure instances actually publish their user counts. You can measure by activity, which adds up to maybe 10 events a second. If you could figure out the average rate per user you could get an estimate from that.

[–] CanadaPlus 3 points 8 months ago* (last edited 8 months ago)

Specifically, having listened to the conference, on CUSMA goods, because the US quietly dropped the same on their end a week ago.

It's not elbows up exactly, but it's not as crazy as it sounds at first.

 

The awkward "nnnts nnts nnts" also made it pretty hard to tune out. And it got a sequel, which is actually fine because they're playing that now instead.

 

cross-posted from: https://lemmy.sdf.org/post/37414239

I've read the old papers proving that fact, but honestly it seems like some of the terminology and notation has changed since the 70's, and I roundly can't make heads or tails of it. The other sources I can find are in textbooks that I don't own.

Ideally, what I'm hoping for is a segment of pseudocode or some modern language that generates an n-character string from some kind of seed, which then cannot be recognised in linear time.

It's of interest to me just because, coming from other areas of math where inverting a bijective function is routine, it's highly unintuitive that you provably can't sometimes in complexity theory.

 

cross-posted from: https://lemmy.sdf.org/post/37414239

I've read the old papers proving that fact, but honestly it seems like some of the terminology and notation has changed since the 70's, and I roundly can't make heads or tails of it. The other sources I can find are in textbooks that I don't own.

Ideally, what I'm hoping for is a segment of pseudocode or some modern language that generates an n-character string from some kind of seed, which then cannot be recognised in linear time.

It's of interest to me just because, coming from other areas of math where inverting a bijective function is routine, it's highly unintuitive that you provably can't sometimes in complexity theory.

 

cross-posted from: https://lemmy.sdf.org/post/37414239

I've read the old papers proving that fact, but honestly it seems like some of the terminology and notation has changed since the 70's, and I roundly can't make heads or tails of it. The other sources I can find are in textbooks that I don't own.

Ideally, what I'm hoping for is a segment of pseudocode or some modern language that generates an n-character string from some kind of seed, which then cannot be recognised in linear time.

It's of interest to me just because, coming from other areas of math where inverting a bijective function is routine, it's highly unintuitive that you provably can't sometimes in complexity theory.

 

I've read the old papers proving that fact, but honestly it seems like some of the terminology and notation has changed since the 70's, and I roundly can't make heads or tails of it. The other sources I can find are in textbooks that I don't own.

Ideally, what I'm hoping for is a segment of pseudocode or some modern language that generates an n-character string from some kind of seed, which then cannot be recognised in linear time.

It's of interest to me just because, coming from other areas of math where inverting a bijective function is routine, it's highly unintuitive that you provably can't sometimes in complexity theory.

 

All the new art, I presume, is still over there.

 

Bluesky, which uses it, has been opened to federation now, and the standard basically just looks better than ActivityPub. Has anyone heard about a project to make a Lemmy-style "link aggregator" service on it?

 

It's a few months old, but in light of recent events I think it still checks out. Make sure to watch the walkaround!

 

So, this ate up a full day. Thought someone else might think it was neat. The rules were I allowed myself to look up dates, but not whole new figures I wasn't familiar with, and the goal was to go as far back as possible:

Greta Thunberg 2003-
Emannuel Macron 1977-
Roger Penrose 1931-
Elizabeth II 1926-2022
Albert Einstein 1879-1955
Franz-Joseph I 1830-1916
Victoria I 1819-1901
Nepoleon Bonaparte 1769-1821
Benjamin Franklin 1706-1790
Isaac Newton 1642-1727
Galileo Galilei 1564-1642
William Shakespeare 1564-1616
Elizabeth I 1533-1603
Henry VIII 1491-1547
Christopher Colombus 1451-1506
Mehmed the Conquerer 1432-1481
Zheng He 1371-1433
Geoffrey Chaucer 1343-1400
Wat Tyler 1341-1381
Ibn Buttata 1304-1368
Marco Polo 1254-1324
Kublai Khan 1215-1294
Fibbonacci 1170-1245
Ghengis Khan 1162-1227
Saladin 1138-1193
Averroes 1126-1198
Ismail Al-Jazari 1136–1206
Muhammad al-Idrisi 1100-1165
Al-Ghazali 1058-1111
Alexios I Komnenos 1057-1118
Pope Urban II 1035-1099
Willie the Bastard 1028-1087
Avicenna 980-1037
Leif Erikson 975-1020
Erik the Red 950-1003
Herald Fairhair 850-932
Ingolfr Arnarson 849-910
Al-Khwarizmi 780-850
Charlemagne 748-814
Pope Gregory III Unk.-741
An Lushan 703-757
Charles Martel 688-741
Bede 673-735
Empress Wu Zetian 624-705
Aisha bint Abi-Bakr 614-678
Emporer Taizhong 598-649
Prophet Muhammad 570-632
Maurice I 582-602
Gregory of Tours 538-594
Brendan the Navigator 484-577
Justinian I 482-565
Clovis I 466-511
Aleric II 460-507
Theodoric the Great 454-526
Odoacer 433-493
Attila the Hun 406-453
Aleric I 370-411
Theodosius the Great 347-395
Valentinian the Great 321-375
Constantine the Great 272-337
Diocletian 242-311
Valarian 199-264
Ardashir I 180-242
Philip the Arab 204-249
Commodus 161-192
Septimus Severus 145-211
Antoninus 86-161
Hadrian 76-138
Pliny the Younger 61-113
Trajan 53-117
Pliny the Elder 23-79
Josephus 37-100
Nero 37-68
Caligula 12-41
Wang Mang 46-23 BC
Augustus 63-14 BC
Virgil 70-19 BC
Herod the Great 72-4 BC
Julius Caesar 100-44 BC
Pompey 106-48 BC
Cicero 106-43 BC
Cato the Younger 95-46 BC
Gaius Marius 157-86 BC
Gaius Graccus 154-121 BC
Tiberius Graccus 163-133 BC
Hipparchus 190-120 BC
Cato the Elder 234-149 BC
Hannibal 247-183 BC
Archimedes 287-212 BC
Pyrrus 319-272 BC
Epicurus 341-270 BC
Alexander the Great 353-323 BC
Aristotle 384-322 BC
Plato 427-348 BC
Socrates 470-399 BC
Euripedes 480-406 BC
Xerxes I 518-465 BC
Darius the Great 550-486 BC
Croesus 585-546 BC
Cyrus the Great 600-530 BC
Nebuchadnezzar II the Great 605-562 BC
Sappho 630-570 BC

At this point I crapped out, because I hadn't read about Ashurbanipal yet. If I had, I could have gone a few further:

Ashurbanipal 685-631 BC
Taharqa Ukn.-664 BC
Sennacherib 705-681 BC
Sargon II 770-705 BC

Unfortunately my East Asian history is ass, and I'm still not sure about the deeds of You of Zhou, so it ends there. The early 1100's were also weirdly hard, although I'm not sure why - thank god for al-Idrisi's map.

A few things that surprised me: Fibbonacci could have met Ghengis Khan, Benjamin Franklin could have talked to Isaac Newton, and Galileo was literally the same age as Shakespeare.

238
submitted 1 year ago* (last edited 1 year ago) by CanadaPlus to c/canada@lemmy.ca
 

Last trip to the grocery store I couldn't find any non-US salad kits, and Silk NextMilk is made down there now, because I guess our plants were the listeria ones. Chip dip was surprisingly hard to find too, although I did it.

I'm very pleased with how many vegetables actually come from Mexico (definitely via the US though), and there's even a few things you can get from greenhouses, so that situation is less dire than I'd expected.

view more: next ›