Show more

Have you verified that each logical connective is secure at both ends? Can you cite what wire you used to connect them?

Show thread

Did you use all of the pieces when you assembled it? Are any loose variables still on the workbench?

Show thread

Have you tried removing the definition and plugging it back in?

Show thread

This is less like office hours than like being math tech support...

I'm having a really hard time grading tonight. It's like, the world is on fire, we've got an economic depression, a global pandemic resurging, a wildfire spread of protest movement, finals from last semester, ... and I'm supposed to mark people down because they applied sᵥⱼ to vᵢ but not to -vᵢ... Just not feeling it.

Kim Reece boosted

uspol 

To be clear, this is not a problem. There are more important things than concentrating.

Show thread

uspol 

Is not making it easier to concentrate.

Kim Reece boosted

So much of the Internet is being run by bad actors today.

Not even any basic Shakespearean training!

Grading done and returned. Duplicates finger-wagged and pointed to the policy on behaving yourselves wrt. citation and its applicability to group assignments. Spreadsheets updated.

My own research: Of course, untouched.

Tomorrow. Must edit tomorrow. I said that yesterday...

I'm having a really hard time finding chill time in which to edit.

Kim Reece boosted

academics a couple generations older than me: be very careful not to reveal your research anywhere before publication you gonna be plagiarized by thesis pirates what if they use ~your data~ this is your life's work

academics from my generation on: hmm I will put the git url in the cover so that everybody can find the full version history after I upload the pre-alpha draft pdf to 15 different open archives

The obvious answer (and yes, there is an obvious answer) is Use Zettelkasten. That's what it's /for/.

I'm having implementation difficulties.

Show thread

But it has made me aware that the tools of the trade are far below what would be expected in the software world.

Certainly, as the only CPU these 'run' on is the human mind, there is considerable difficulty in forming any more standardized approach, but...

I want to be able to at least embody what I 'know', ie. my own internalized set of libraries out of which to build proofs, in an external format where I could search through it.

Show thread

How I math is largely based on how I program because that's what I learned first. To me, a proof is code, to be debugged and chased down and every edge case tested until I'm sure it will run correctly.

In lue of being able to actually run it, I search for counter-examples -- other math that produced an incompatible result. If such appear, it's time for a bug hunt. The bug hunt could take me through miles of papers, theses, etc... Or it might be as simple as a missed condition.

Kim Reece boosted

@kimreece Like this. Wait… That’s basically what my meatspace office is like already.

Imagine all immersive tech possibilities... What would your virtual office be like?

Show thread

Now I kinda want to design my dream virtual office... because it wouldn't resemble a physical 'room' at all...

Show thread

I'm sitting in a BigBlueButton room waiting for students to ask questions... and like, this is great! I'm such a virtual person that my feelings about it are "zomg, my first office! I have an office!!!"

I'm writing! Even though I feel really scared and sick to my gut with nerves.

Apparently my big fear is to make a mistake and then someone believe I was correct.

Show more
Mathstodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!