Love it when I’m just walking between classes and my watch pops up saying “your heart rate is elevated! It looks like you’re working out! Do you want me to record that?”

Like -_- yes, I know I’m out of shape, thank you

kwarrtz boosted

There are two wolves. Just two wolves. Everything we experience as reality arises from relativistic and quantum mechanical interactions of the wolves.

#holographictheory

kwarrtz boosted

"I've never set a god on fire--"
"Yet."
"--but that one does seem very flammable."
#outofcontextdnd

kwarrtz boosted

These diagrams show the paths traced by Mercury, Venus, Mars, Jupiter and Saturn as seen from Earth.
Source : Fermat’s Library

kwarrtz boosted

me: i wish i had a way to find more music
me, presented with a bunch of music i'll probly like: it's too much!!! what the heck? i can never listen to this all *close tab*
me: i wish i

kwarrtz boosted

my university counselor asked me for recommendations for trans literature to put in the counseling library

do you know any really good books about gender? please let me know!

💙

(boosts appreciated too)

kwarrtz boosted

so @phantrosity of birdsite pointed out that you can use ganbreeder.app to generate the opposite of something.

this is the opposite of a horse.

Today I learned that students at my university get Mathematica for free... why did no one think to tell me this sooner??

kwarrtz boosted

Pretty sure my gender is not computable in polynomial time. You could say I'm NB-complete.

kwarrtz boosted

@hal well

this is how zoologists do it, and it's kind of hilarious

kwarrtz boosted

doctor's visit  help if possible

kwarrtz boosted

kwarrtz boosted

Fediverse in-joke

kwarrtz boosted

Thanks, slack.

kwarrtz boosted

"You know how the \hat command in LaTeΧ puts a caret above a letter? ... Well I was thinking it would be funny if someone made a package that made the \hat command put a picture of an actual hat on the symbol instead?"

And then Matthew Scroggs and Adam Townsend went ahead and did it.

Package at ctan.org/pkg/realhats, behind-the-scenes commentary at aperiodical.com/2019/03/realha

Has anyone ever interacted with ATS before?

ats-lang.org

Thoughts on Coq vs Lean

Thoughts on Coq vs Lean

kwarrtz boosted

Funny looking equation of the day:

xʸ = yˣ

Solutions for x≠y include (2, 4) (and (4, 2)).

Some history and proofs in Wikipedia en.wikipedia.org/wiki/Equation

kwarrtz boosted

commit aa6ec
Author: cosine
Date: Mon Mar 25

All Rustfmts Are Bastards (Be Gay; Format Crimes)

--- /dev/null
+++ b/.rustfmt.toml
@@ -0,0 +1 @@
+disable_all_formatting = true

A Mastodon instance for maths people. The kind of people who make $\pi z^2 \times a$ jokes.
Use $ and $ for inline LaTeX, and $ and $ for display mode.