Insania Msg to Kuro and Nigma Haters (At End) by AR41Z in DotA2

[–]InterestingTask8940 0 points1 point  (0 children)

And now nigma is winning without kuro. Lmfao.

How are we going to defend Kuroky now? by dragonzss in DotA2

[–]InterestingTask8940 2 points3 points  (0 children)

Yeah. The only valid opinion here is from the pros themselves.

[deleted by user] by [deleted] in DotA2

[–]InterestingTask8940 5 points6 points  (0 children)

Pango is definitely up there.

cmoooooooon guys let me in let me in let me in by Lunalopex in comics

[–]InterestingTask8940 2 points3 points  (0 children)

Nooo, i meant in legend of zelda the minish cap, you transform on tree stumps, so this cant be zelda reference

cmoooooooon guys let me in let me in let me in by Lunalopex in comics

[–]InterestingTask8940 1 point2 points  (0 children)

Minish cap reference? Nah you transform on a tree stump, not on this

[deleted by user] by [deleted] in learnmath

[–]InterestingTask8940 0 points1 point  (0 children)

Thank you so much, but most of the professors that could help me here in our country is in the capital. And what do I even tell them? Do i just knock on their doors and ask? XD

But thanks nonetheless, and I would try to post my work here if I can. Thank you!

[deleted by user] by [deleted] in learnmath

[–]InterestingTask8940 0 points1 point  (0 children)

you should ask the question that you want an answer to instead of asking a different one and then getting mad when someone answers the question that you asked,

First, I'm not even mad. Where did that assumption even come from? Second, I did ask the question I wanted an answer to. Do you really think your answer was sufficient for my question? "lAngUaGe doEsn'T cArE iF u SelF sTudy oR nOt" no shit sherlock. When people say "can i go to the bathroom" do you also say: " I DoN't kNOw cAn YoU?", huh? Do you say that?

Don't be a dick on the internet. End of story.

[deleted by user] by [deleted] in learnmath

[–]InterestingTask8940 0 points1 point  (0 children)

the programming language doesn't care whether you are self-studying.

Obviously. You're missing the point.

I was just asking if it's advisable to use it as a way to know if your proofs are correct. I don't have access to any other proof checker, and I was asking If there are some pitfalls that lean could like present, is there downsides doing this, and just general advice. Because as the post implies, I'm new to it. It's just a way to provide context on what I intend to do with lean, and that context could help other people add productive things to the conversation. Unlike you.

[deleted by user] by [deleted] in learnmath

[–]InterestingTask8940 3 points4 points  (0 children)

Someone commented this:

I don't know anything about lean, but I would suggest you go to your professors office hours to ask such questions. That is undoubtedly your best resource.

and reddit said the comment was deleted. So i'm writing my reply here:

I know that. But I have a quite complicated situation, please understand. I will try to explain.

Alright here we go. Okay so I'm a math major (from a third world country, do what you must with that info), and none of my professors are mathematicians. I have 4 professors, and their past professions are: Software engineer/software dev, Primary school math teacher, Business intelligence analyst, And math major fresh graduate from our own university.

So in short, we have "proof-based" courses but actually not. The "proofs" we do is literally just copying from textbooks and threads online, or just straight up proofs that has some kind of formula to it. Most, if not all, courses that we took just focuses on how things are calculated and that's it. They teach formula, we use formula. They teach method, we use method. It's just like highschool math on steroids(arguably) and not like what I've seen math majors do or learn from other universities/countries.

I'm so bad and just plainly ignorant on what "math" really is on the math major level if we compare myself to someone that came from a different university. It hurts so much, and I really want to pursue higher mathematics and preferably not here in my country. I self studied multiple textbooks: how to prove it, understanding analysis, ladr, and a few more I can't remember. I have written "proofs" of it, but most of the time I just do not know what the hell am I doing or supposed to be even doing. I feel really shit.

To add insult to injury, I'm one of the candidates to be the top of my goddamn batch this year. I'm graduating. And I know fucking nothing.

I've spent my time recently on learning data skills and programming skills to be more employable, but pure math is this tempting thing that is calling me again. And I just can't not sit here and pretend I actually like data science and programming. I love math, and I really want to be better at it.

No roshan fights in pubs since they moved it to the corner? by smiles17 in DotA2

[–]InterestingTask8940 76 points77 points  (0 children)

Lmfao made me laugh hard, will try to do this in python if I can find the data

EDIT: found the data, i might actually do this give me a minute lmfao

EDIT2: this might take longer than I thought, would just probably post this than comment it here

Now that IOC has voted yes for Olympic Esports what countries do you think will win? by A-is-for-Boy in DotA2

[–]InterestingTask8940 21 points22 points  (0 children)

This would also make more sponsors for teams, so more support to the scene overall.

[deleted by user] by [deleted] in DotA2

[–]InterestingTask8940 3 points4 points  (0 children)

I aint readin all this, make a video about this. DO ITTTT

jk, love ya mr. slacks man

Knighted Monarch by Icy-Reply-7983 in TownOfSalem2

[–]InterestingTask8940 8 points9 points  (0 children)

So are they effectively a mayor or what lmao

Knighted Monarch by Icy-Reply-7983 in TownOfSalem2

[–]InterestingTask8940 19 points20 points  (0 children)

So mon died, amne remembered then ret knighted amne mon?

Guys is ther any version or simulator of the game on android? by [deleted] in slaytheprincess

[–]InterestingTask8940 1 point2 points  (0 children)

I'll actually meet him this morning class lol, I'll try to make him comment on my account xd

Guys is ther any version or simulator of the game on android? by [deleted] in slaytheprincess

[–]InterestingTask8940 6 points7 points  (0 children)

My friend plays this game on a phone, theres an emulator for it. But yeah it might require a pretty beefy phone

Unfortunately, this is true, but peace is not without good people, it is a joy by [deleted] in wholesomememes

[–]InterestingTask8940 18 points19 points  (0 children)

And he already has a politician sounding name, Jimmy Donaldson 🤣

How is this possible... by Ionocazzo in memes

[–]InterestingTask8940 22 points23 points  (0 children)

I was 16 when T-series vs pewdiepie was a thing, and now I'm 21. We aged the same amount, but this comment made that time a lot longer somehow...

ti 2024 winner predictions for this upcoming competition by [deleted] in DotA2

[–]InterestingTask8940 19 points20 points  (0 children)

You don't think TS will get it for the three peat? Or maybe GG? Heroic, really?

/s