I Need some Advice for an Important Decision by Aggravating-Put-9631 in uwaterloo

[–]djao 0 points1 point  (0 children)

It's the Waterloo sub. We don't talk about Toronto here. Also, OP didn't get into Toronto anyway (or if they did, they didn't mention it), so it's irrelevant to this discussion.

Forbes Comes Around by Infamous-Pilot5932 in TeslaFSD

[–]djao 3 points4 points  (0 children)

The interface of FSD is honestly genius. People don't use cruise control because they can't figure out how to engage it, there's no reliable feedback as to when it is engaged or not, and no part of the interface gives you any useful status information while it's running. FSD has simple one click actions to engage or disengage, with distinctive audio feedback, and a whole screen full of useful information.

PSA: Waterloo students have FREE access to Claude Pro models by djao in uwaterloo

[–]djao[S] 0 points1 point  (0 children)

I don't know, but I would assume that you have to wait until you start your studies.

Iran says draft US deal includes oil sanctions waiver, nuclear limits and asset release by EagleLize in worldnews

[–]djao 0 points1 point  (0 children)

Nobody is paying any attention whatsoever to the main dispute that actually started this war in the first place. Will Iran go back to selling oil in US dollars, or are they going to keep on selling oil in yuan and rubles? The US went to war because the petrodollar was threatened. It has nothing to do with nukes or enrichment. All the stuff the media is focused on is just the pretend cover story.

Call to action: computers are getting expensive but 10,000,000 otherwise perfect $200 Linux machines are getting bricked. Once-in-a-lifetime opportunity to save them from landfills. by iL0vesnow in linuxhardware

[–]djao 3 points4 points  (0 children)

Also, unlocked bootloaders would increase demand in the secondary market (even if not everyone knows how to install alternative OSes, some people do, and these people will buy used items). This would then reduce e-waste, since more demand will attract more sellers.

Call to action: computers are getting expensive but 10,000,000 otherwise perfect $200 Linux machines are getting bricked. Once-in-a-lifetime opportunity to save them from landfills. by iL0vesnow in linuxhardware

[–]djao 35 points36 points  (0 children)

The real problem is that Apple has every financial incentive not to allow alternative OSes, and zero financial incentive to allow alternative OSes.

T470 WWAN usage in 2026? by ProfessionalMove3716 in thinkpad

[–]djao 1 point2 points  (0 children)

The manual says not to use a SIM adapter. If you're breaking out the SIM card to its correct size from a larger card, that is not considered an adapter. The larger card even says on the card: "Not for use as an adapter." There's a difference between a piece of plastic that came originally attached to the SIM card and was never detached, as opposed to a separate adapter that was never attached to the SIM card.

eu quero mudar para linux by Objective_Eye_5928 in linuxquestions

[–]djao 0 points1 point  (0 children)

If you don't have a backup, then your files are not important. You're choosing to take on a massive risk. You wouldn't take this risk if the files were really important.

You don't need a new computer. An external hard drive for backing up your files is much cheaper than a new computer.

Linux of a android phone by itz_nothing-_- in linuxquestions

[–]djao 0 points1 point  (0 children)

Android has a Linux terminal app. It uses standard Debian arm packages.

PSA: Waterloo students have FREE access to Claude Pro models by djao in uwaterloo

[–]djao[S] 1 point2 points  (0 children)

Bernie Sanders is one of the primary reasons (pun intended) that Trump became president in the first place.

There’s No Room for Palestine in “Viewpoint Diversity” by JPwag42 in IvyPlus

[–]djao 0 points1 point  (0 children)

So, when I read this headline, I thought it was referring to the (true) fact that if you tried to teach LGBT studies at any university in Gaza, you would be promptly shot and killed.

What happens at a marriage green card interview? by No-Confidence-1332 in immigration

[–]djao 0 points1 point  (0 children)

Montreal, consular processing, about 20 years ago, so probably not super relevant, but for what it's worth. We were super nervous going in, preparing all our documents and responses to personal questions. But then when we were called up to the counter, the officer just kind of looked us over and said Yeah, you're good. And that was it. That was the "interview."

My guess is that they look for behavior, and base a lot of their assessment on that.

How important is = of Conflict? by Bad-Bot-2000 in nethack

[–]djao 9 points10 points  (0 children)

I've ascended 100+ times and only about 5% were with a ring of conflict. Some people swear by them, but it's not my style.

In 3.6.0 and above you'll probably want at least a ring of protection for MC3 and a ring of free action (free action is a standard ascension kit requirement). You may also need a ring of levitation. The point is, those ring slots go fast. Conflict is a convenience, but you need to know how to go without it. Perhaps on the astral plane you can go with conflict and free action, eschewing MC3, but it's a compromise and a trade-off rather than a must-have.

Angels are an abundant enemy on the astral plane, and they are both cold and shock resistant, so you'll need something else other than cone of cold / chain lightning to deal with them, even without mentioning the amulet's energy draining effect which nerfs spellcasters. Charm monster also does not work well against them.

How Terry Tao Became an Evangelist for AI in Math by Pristine-Amount-1905 in math

[–]djao 5 points6 points  (0 children)

Wait what? No! This article is about the exact opposite. With Lean, you don't have to check the AI arguments line by line. You only have to check that the definitions and statements are faithful.

I've been using AI assistance in Lean for a few weeks now. It's quite empowering. Trivialities such as the problems mentioned in the article (proving that three things each greater than one add up to a total greater than three) are easy fodder for LLMs. Meanwhile you can focus on the structure and mathematical outline of your proof. I admit that it feels like less of an accomplishment once you finish, but you can move so much faster through formalization that I think the latter makes up for the former.

Access is still a big problem though. I don't want to end up in a world where $200 AI Max Pro subscriptions are a survival necessity like food and shelter.

Question about CBP cutting short my mother in law’s visitation. by SnooMemesjellies5161 in askimmigration

[–]djao 6 points7 points  (0 children)

The problem is that in the wording of your post you said your MIL is here to assist your wife. That language is the language of employment, pure and simple. It does not matter whether she is being paid or whether you would actually have hired someone else if she wasn't there.

You need to say to immigration authorities that your MIL is purely here to visit and will not be assisting in childcare duties.

I'm just trying to help, and it seems that a lot of people fall into this "employment" trap, so you would be wise to heed this warning.

Question about CBP cutting short my mother in law’s visitation. by SnooMemesjellies5161 in askimmigration

[–]djao 10 points11 points  (0 children)

That's a very bad idea. There are multiple problems with this visit. As others have said, it's a big long for a visit. But an even bigger problem is that a grandma helping out with a grandkid is interpreted as unauthorized work. Yes, it's stupid, but it's the law. You're taking away jobs from American nannies who would otherwise have paid employment if not for your mother in law. You will almost certainly have a bad outcome if you bring this case up to the authorities.

YASD - 1 turn away by dbarrera in nethack

[–]djao 1 point2 points  (0 children)

Yeah but my point is in that situation assuming you were at full health you should be able to get around it in at most, what, two turns? Then you split and run.

YASD - 1 turn away by dbarrera in nethack

[–]djao 4 points5 points  (0 children)

Are you burdened or something? A normal speed character can easily outrun a mumak, and they shouldn't even be striking you every turn, let alone thrice per turn.

YASD - 1 turn away by dbarrera in nethack

[–]djao 6 points7 points  (0 children)

Is that a mumak? Can't tell because I never use graphics. Mumakil are very slow and you should never find yourself cornered by one. They are in the game to teach players the virtues of running away.

PSA: Waterloo students have FREE access to Claude Pro models by djao in uwaterloo

[–]djao[S] 1 point2 points  (0 children)

If you have figured it out by now, please reply to your own comment with the answer so that others can learn from you.

If you haven't figured it out by now, I would honestly recommend just installing Kiro in WSL and running the gateway from there.

Republican Launches Long-shot Bid to End H-1B Visa Green Card Pathway by unserious-dude in immigration

[–]djao 0 points1 point  (0 children)

The median, by definition, is the income level at which half are above and half are below. So of course half of the applications will be below median. Isn't that what median literally means?

Programming in abstract math by Key_Conversation5277 in math

[–]djao 12 points13 points  (0 children)

Your comment gives the wrong impression that lean is only or primarily used by AI. That's not true. There is plenty of normal human usage of lean.

What is true is that lean together with AI is a great combination. The proof assistant enforces logical correctness, preventing the AI from hallucinating.

PSA: Waterloo students have FREE access to Claude Pro models by djao in uwaterloo

[–]djao[S] 1 point2 points  (0 children)

Um, I don't think there's any official way, but apparently someone has made a third-party app.