#computational complexity

[pv1isalsoimportant]

(Semi-regularly updated) list of resources for (not only) young mathematicians interested in logic and all things related:

Igor Oliveira's survey article on the main results from complexity theory and bounded arithmetic is a good starting point if you're interested in these topics.

The Complexity Zoo for information on complexity classes.

The Proof Complexity Zoo for information on proof systems and relationships between them.

Computational Complexity blog for opinions and interesting blog posts about computational complexity and bunch of other stuff.

Student logic seminar's home page for worksheets on proof complexity, bounded arithmetic and forcing with random variables (great introduction for beginners).

Eitetsu Ken's list for resources on proof complexity, computational complexity, logic, graph theory, finite model theory, combinatorial game theory and type theory.

Jan Krajíček's page is full of old teaching materials and resources for students (click past teaching) concernig logic, model theory and bounded arithmetic. I also recommend checking out his books. They are basically the equivalent of a bible for this stuff, although they are a bit difficult to read.

I also recommend the page of Sam Buss, there are downloadable versions of most of his articles and books and archive of old courses including resources on logic, set theory and some misc computer science. I especially recommend his chapters in Hnadbook of Proof Theory.

Amir Akbar Tabatabai's page for materials on topos theory and categories including lecture notes and recordings of lectures.

Andrej Bauer's article "Five stages of accepting constructive mathematics" for a funny and well-written introduction into constructive mathematics.

Lean Game Server for learning the proof assistant Lean by playing fun games.

[p-isequalto-np]

I found a book specifically for finite model theory that contains like 80% of all the things that interest me in math... Let's just say my motivation is back.

[michaelrotonal]

new computational complexity classes

NNP:

you can check whether a solution was checked correctly in polynomial time

NNNP:

you can check whether a check of a solution was checked correctly in polynomial time

N^infP:

In P, or NP, or NNP, or NNNP, or...

[reed-right]

thinking about coin-denomination problems -- e.g. the change-making problem ("what's the minimum number of coins we need to total to this specific monetary amount?"), the frobenius coin problem ("what is the highest monetary amount that is impossible to have with this specific set of coin denominations?") -- and of all the funny ways we could make it more difficult and complicated for no reason by making fucked-up coin denominations.

imagine if quarters were now worth 23 cents. imagine abolishing the penny. imagine bringing back the half-penny. imagine a $4.96 coin. imagine a $0.004 coin. a $√2 coin. a $0 coin. imagine adding a second type of nickel which is also worth 5 cents. imagine doing this with every coin except dimes.

we could do this

[silna-pdf]

Domesticated Dave & Hal <3 ft Otacon playing dbd & my big fluffy dog love

+ more Dave and his herd

[magic-worms]

"equal ground" a blu engiespy comic

CWs: graphic descriptions (not illustrations!) of violence/torture, illustrations of blood, bruises, fresh stitches. for the first one, please refer to this clip from poker night at the inventory if you need a preview.

thank you for reading

[maythedreadwolftakeyou]

Here is the finished version of my smaller & simplified Hierophant embroidery design! It measures 3.5 inches wide rather than 6.25 like my larger and more complex pattern, and I tried a different color palette for the background to bring it closer to the original card. It's still not perfect but I'm pretty happy with how it turned out!

This pattern takes a lot less time than the bigger one, so is more approachable. Both these patterns and my other designs will be available in my new etsy store as I finish writing out instructions and uploading them :)

This finished piece will also be for sale for anyone interested, and I am taking limited embroidery commissions for now.

[boiledkwamaegg]

Hajoan taivaan tuuliin enkä palaa koskaan

[thejakeformerlyknownasprince]

Now I have to ask- WHY do you hate Pacific Rim?

Okay, fair warning, this is about as bitter and salty and small-minded as day-old caviar. But. My bitter, salty (probably fishy) opinion:

Pacific Rim is only a good movie because it's a well-written story about robots punching monsters.

That's it. That's all there is to the movie.

I started out merely disappointed by Pacific Rim. We went gaga for the preview materials that promised these unique well-rounded character pairs and trios with these idiosyncratic robots from all these different Pacific nations... And then the movie itself is about some bland white American guy who pilots a robot named a racial slur, the second most fleshed-out team is bland white Australian guys, and the Chinese team is there, kind of, in the background, but don't worry they're going to die first. The "character-driven story" turned out to be "various characters take turns punching aliens" but, sure, whatever, I love the MCU so why not.

The day I went from "Pacific Rim is overrated" to "Pacific Rim is the worst thing that has ever happened to human civilization, I'm extremely normal about this" was the day I saw a Tumblr post suggesting we replace the Bechdel test with the Mako Mori test. Because Mako Mori has her own plot and doesn't kiss North Carolina at the end, making her a whole new type of feminist icon.

To which I was like:

We are talking about the same movie here, right? The Pacific Rim that can't even pass the Bechdel test? The Pacific Rim that's all about might-makes-right, the Pacific Rim that has ONE speaking role for ONE female character in its (from IMDB) 50-person cast? The Pacific Rim that repeatedly puts its only female character in danger and has her rescued by first Idris Elba then North Carolina? THAT Pacific Rim?

Is there a different Mako Mori I haven't met? Because the one I've seen a) has a character arc driven by deciding whether to obey her father or follow her heart, which is as inoffensive and stale as an unblessed communion wafer, b) does nothing that Ellen Ripley didn't do 30 years earlier, but with about 5% of the character depth Ripley got, and c) stands there in silence looking sad as two men punch each other over the question of her virtue.

Any post assuming this movie invented the idea of "small Asian woman kicks monster ass" needs to learn its damn history. Especially the ones acting like her being physically small is somehow a feminist bonus. There's something embarrassingly ahistorical about the whole thing.

And look. I get how we got here. I know how easily Tumblr backs you into a rhetorical corner of "calling a story Good can never mean merely 'enjoyable'; calling a story Good must mean 'virtuous'". Until next thing you know you're arguing that actually, shipping Obi-Wan/Darth Vader is a net good for all of society, because gay divorced middle-aged tyrants who use supplemental oxygen and murdered their exes in a custody dispute over the one kid (out of two) they actually care about deserve to see themselves in sci fi too! You only end up in that corner because half the time you're arguing against someone who says that shipping Obi-Wan/Darth Vader is literally the same thing as supporting father-son incest, so your real reasons for shipping them (1. foe yay, 2. old man yaoi) seem wildly insufficient.

Much of what I see about Pacific Rim seems neck-deep in the "it's not allowed to be a Good Movie unless it single-handedly dismantles the patriarchy" fallacy. There's nothing progressive about shipping two dudes best known for chopping off each other's body parts with laser swords. And there's nothing progressive about a movie having its only female character hug the male protagonist at the end instead of kissing him. You're allowed to like a thing just because it's well-made, without acting like a bog-standard normatively-broey action flick somehow invented a new form of feminism. Anyway, "Pacific Rim is a perfectly fine movie" is the hill I will die upon, heretical though it may be.

[copper-skulls]

Ey-yo, my commissions are open, starting at 15EUR for sketches & simple things! If you'd be interested, reach out and I'll figure out a price for you! i specialize in Beasts and Dragons but willing to try my hand at pretty much anything.

No content above suggestive, but I'm fine with about any degree of gore with the exception of eye & nail trauma.

[pv1isalsoimportant]

[coalballbaby]

does anybody else think about how the aequitas computer is kind of springer’s sibling. “sibling” with heavy heavy heavy quotations because the concept of family we know of is completely arbitrary with tfs and I really don’t like using it often in fact I regret it

[loudclan-clangen]

im sure Eklutna will be okay. she will be so okay she will immediately take her newborns to the Crude Oil Moonpool and baptise them like god intended.

better yet, she will insist on giving birth by the pool, since its the closest way of interacting with StarClan. and they will help her. surely it will end well.

(pls dont let your cats give birth and dip their infants in crude oil.)

You're so right. Eklutna CAN'T die. She has PLANS.

If she dies who's gonna put her kids in the world's most dangerous dunk tank??? Also, yes, she HAS visited the Black Water Pool for a blessing, and yes, the healers were pissed, but they just don't understand. They don't understand that she is Starclan's special little girl.

(P.S. thank you for including your own disclaimer. Wonderful.)

Yes. Eklutna. All the time. She was one of the cats who first discovered it, then after getting into a fight with the rest of Ghostclan over whether or not they should tell the other clans about the Black Water Pool she limped her bleeding ass there to give herself a blessing before she continued up the mountain to Loudclan. Now she's taken a dip while pregnant to get Starclan to bless her unborn kits, which is a BIG taboo. But what are the healers to do? How do you punish someone for participating too enthusiastically in your state sponsored religion? She's not the only one to ever do it, of course, she's just kinda the most egregious about it.

-- Eklutna, 2024

*:･ﾟ✧*:･ﾟ✧Drama✧･ﾟ: *✧･ﾟ:*

[sufferingfrommoodpoisoning]

Fellow Byler Video Editors--have you seen this video!? I'm geeking out right now!

[bumblingbabooshka]

Guys can we consider Andrea x Chapel onesided enemies-to-lovers yuri where Andrea is the only machine left standing and is brought back to the Enterprise because she's a technological marvel and Chapel resents her for being alive while her husband's dead and also potentially being a replacement for Chapel which her husband built and also being generally kind of creepy and kind of hot and all the while Andrea is learning about what kind of creature she is and also trying to mimic a variety of behaviors to get Christine's attention (one day she acts as the sneering woman Christine imagines her to be and the next day she brings roses and sings a song Christine immediately recognizes as one Roger would sing to her and the next day she acts as a machine, nothing more). All of this because I think Chapel's crush on Spock out of all the men on the ship is interesting and while I was looking at Andrea's wiki page they called her 'logical' and it made me think back to 'The Naked Time' where Chapel claimed she could tell that Spock was an emotional person who was capable of love however much he protested that he wasn't and she loved him ("The Human mister Spock, the Vulcan mister Spock...") and it made me think of Andrea being dismissed as an unfeeling machine and how that's proven wrong by the end of the episode, leading Korby to kill them both. What if Korby had only killed himself and Andrea lived on?

[kolechiart]

* in honour of pride month i will be subjecting nimrod to an endless powerpoint presentation on mobile phones until he develops body dysmorphia and cries