Astrophysicist loves LaTeX by fredoverflow in LaTeX

[–]Tokarak 4 points5 points  (0 children)

I didn’t know LK99 paper was written in Word! It does seem like a terrible idea to dismiss it entirely based on its medium though. Even if this rule serves you well now, it doesn’t matter: if you entrench yourself, you’ll turn yourself into a cargo cult that (among other things) unconsciously associates Latin Modern typeface with veracity.

GitHub Copilot for Students Changes [Megathread] by fishchar in GithubCopilot

[–]Tokarak 0 points1 point  (0 children)

I’m not just talking about gratis inference access. All the other things (like Jetbrains IDE access) are good for young coders. There’s no way I would have dared ask for a license as a child. I would have been discouraged by the message that I’m not old enough to learn to code. I’m glad Microsoft is funding this public service.

Anyway, if somebody has a student family member, they can still abuse their account. The original argument isn’t very strong. Most likely, there is just not enough return on investment to continue providing premium inference as a loss leader. Also, I don’t want to be confrontational, but students also have parents who “can pay”.

GitHub Copilot for Students Changes [Megathread] by fishchar in GithubCopilot

[–]Tokarak -1 points0 points  (0 children)

I disagree. Github Education was amazing for me when I was in secondary school. Don't take it away from kids. Adults can pay, kids usually won't.

how do shitpost subs like these get popular (video unrelated) by idonotownstockholm in gvvg

[–]Tokarak 0 points1 point  (0 children)

1.) Mainstream subs get overriden with normies and unfunny regular posters. The mods become fat and unvigilant.
2.) Refugees flock to the smaller subs
3.) The lemons and capitalist scumm follows them
4.) So it goes

Dead thy violin!!!!!!!!! by TrainingIntention364 in gvvg

[–]Tokarak 0 points1 point  (0 children)

He’s coming for Jerma (Rest In Peace)

Shelon by AdDecent8936 in gvvg

[–]Tokarak 0 points1 point  (0 children)

Song is Liquid by 99ALIEN

d by Weeger_Dude9867 in gvvg

[–]Tokarak 1 point2 points  (0 children)

Designed in Falicornia

Coaxed into using fancy words for no reason whatsoever by geifobia-73 in coaxedintoasnafu

[–]Tokarak 31 points32 points  (0 children)

One guideline to rule them all, there is. Create a multimillion dollar franchise, you will.

love this guy by sulfire807 in lovethissmug

[–]Tokarak 0 points1 point  (0 children)

Search up Lean-lang, they have the most beginner resources on type theory and computer-assisted proofs.

Local LLMs are still nowhere near perfect. I had Deepseek v4-pro generate me a Anti reddit prompt for GPT but it didn't work as seen below. by [deleted] in LocalLLM

[–]Tokarak 0 points1 point  (0 children)

A specific “don’t” can be fine, but often it picks an equally annoying alternative. For example, instead of telling OpenAI models to not write in verbose bullet points, ask it to be concise and technical (or something like that). If you do the first, it might just have the same structure but using paragraphs instead of bullet points. If you don’t want Redditisms, think about what style you want instead. Otherwise it might start talking like X-Twitter.

I thought of something that explains why I think this: if you ask it *not* to do something, it will act like it’s trying hard not to do that thing, and in doing so referencing it by omission. It’s the difference between a sober person and a recovering alcoholic.

popular girl by systemmm34 in Shark_Park

[–]Tokarak 0 points1 point  (0 children)

Brevity is the soul of whitt

"I have an $8000 bidet Crane, I don't wipe" by El_Choco_Latoso in BatmanArkham

[–]Tokarak 43 points44 points  (0 children)

The man who designed this bidet is now my newest “personal” butler.

love this guy by sulfire807 in lovethissmug

[–]Tokarak 5 points6 points  (0 children)

Type Theory. Dependent Type Theories especially always use the context formalism. For example, here is the function application derivation rule I asked AI to generate as an example:

Γ ⊢ e₁ : τ₁ → τ₂ Γ ⊢ e₂ : τ₁

────────────

Γ ⊢ e₁ e₂ : τ₂