Viewing profile — trostaft

I'm teaching a university math course next semester and I've been messing around with a solution to this that my old analysis professor used to employ. Every week, they take home a…

I've been curious of other publication quality figure generation libraries for python, if you have a moment I'd be interested as to why you chose Altair over plotnine? I'm well and…

I've been using LaTeX for math for over a decade now. I'm pretty happy with it frankly, but there are major pain points in the compilation time and whenever it's time to interface …

Fantastic! It might be time for me to give it a shot again.

Truthfully, I like the more opinionated visual design of GNOME, but I moved to KDE long ago for VRR and better fractional scaling support. They just got it right and working. Huge …

The upper tier features on the webapp are paid, but the local tools are all free. That includes local editor support. IIRC the compiler is apache 2.

> (multiple times, don't ask, yes, I've tried the one you're thinking of and it didn't work for me). I know you didn't want questions, but maybe you can save me some trouble? Assum…

I'm desperately clutching onto my original steam deck. Some of the buttons are beginning to go, but it looks like we'll be holding onto it for another 1-2 years at this rate. Waiti…

This is still very much alive in the fighting game scene. At least in the US, every major city has at least one local running a bracket and casual sets regularly. This has many of …

I spent years grinding to learn mathematics because it was the language I needed to solve problems that excite me. If the tools I need to do so change, I can change too. Research t…

That I'd agree with! I really need to get around to learning Lean myself. It might be interesting to try and formalize some missing theoretical pieces from my field (or likely star…

Arguing similarly to how stockfish, the chess engine, trains I would not be surprised if this is more common in the future. I don't know if they use any proof verification tools du…

Speaking as a postdoc in math, I must say that this is rather exciting. This is outside of my field, but the companion remarks document is quite digestible. It appears as though th…

> A difficult part was constructing a chess board on which to play math (Lean). Now it's just pattern recognition and computation. However, this was not verified in Lean. This was …

I'm a computational mathematician, and I've been a big proponent of JAX to all the research groups I've worked with. So far, I've converted all of them =). In particular for math, …

Ah the JL lemma. Probably one of my favorite too. I'm teaching a mathematics of data course next semester, and even though we don't assume probability as a prerequisite I'm going t…

> eschatology From Wikipedia Eschatology (/ˌɛskəˈtɒlədʒi/; from Ancient Greek ἔσχατος (éskhatos) 'last' and -logy) concerns expectations of the end of present age, human history, o…

? Sorry, I've never seen this perspective, why do you want the smaller ones? The small arrow keys on my MacBook are one of my least favorite parts of the keyboard.

Really happy to see the new chassis for the 13 Pro! I own the 16 myself, and have been really happy with it, and am excited to see the haptic touchpad + unibody modules hit the mar…

If I'm recall correctly, this was also a keynote at MDS24? That was also a great talk, Hardt is an excellent speaker.

Respectfully, I think you're missing my point. > So very often with these hyper competitive games played between strangers competing for global ranking, the whole thing turns very …

Yes it can be? This is a very strange statement to me. Many genuinely like testing themselves against other people, improving over time, and seeing how they stack up. Competition i…

Love Zotero, have been using it since I started out as a researcher. I've found the PDF view to have noticeably more lag than either preview or skim, but I can live with that for e…

It's nothing special. I'm an academic and usually I balance my desire to work / deadlines and family obligations. The last month I screwed up my management and got frustrated at bo…

What a wonderful article. My stress has been drowning my joy in something I once found fulfilling. While reading this, I suddenly remembered it. Thank you.