Shawn Standefer
banner
standefer.bsky.social
Shawn Standefer
@standefer.bsky.social
Philosophical logician at North Carolina State University
Norman Rockwell’s take on American gothic would be very amusing
November 14, 2025 at 8:09 PM
That's very exciting to hear! I look forward to seeing what the next project is. Until then, I'll work on finishing the backlog.
November 14, 2025 at 4:38 AM
This page from Uppsala suggests there are some pretty stark restrictions on the healthcare for having a baby while being a student. Is it easy for students that graduate from a Swedish university to obtain long term residency?

www.uu.se/en/study/bac...
Accompanying family - Uppsala University
www.uu.se
November 13, 2025 at 6:00 PM
Does this apply to non-citizens and non-permanent residents?
November 13, 2025 at 5:56 PM
What are you vacillating between?
November 10, 2025 at 4:39 PM
Reposted by Shawn Standefer
suggested opening line: "You can't spell Aristotle without AI."
November 7, 2025 at 1:46 PM
I had two copies of (the same version of) ebproof in the path, and the new version of tex apparently does not like that. I removed one and it works again.
November 7, 2025 at 2:46 PM
That DF post didn’t age well at all
November 7, 2025 at 12:55 PM
Thanks! I think I used miktex for the installation, so I will look into texlive. I'm also considering just moving everything to overleaf.
November 4, 2025 at 4:41 PM
I might try that. It is for my book manuscript, which compiled fine on my old Mac. It is also giving me an error concerning a package that is in the same folder, so I suspect there's something weird going on. Luckily there's no time pressure on this.
November 4, 2025 at 4:26 PM
It sounds like what you're after is something like smaller workshops or smaller conferences that are less packed with talks.
November 1, 2025 at 11:19 PM