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 truly entrenched in the Matplotlib…
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 with the language programmatically.…
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 props to the team, I know that's very…
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? Assuming you're talking about quarto, may I…
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. Waiting, in anticipation and horror, for the…
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 them, not all:…
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 training is not so rigid that it can…
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 start smaller).
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 during their reinforcement learning…
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 the proof here fairly inspired by results…
> 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 purely plain language in and out. I…
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, I've found JAX's design and feature set…
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 to find a way to talk about that idea.
> 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, or the world itself. I'm case anyone…
? 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 marketplace. Those address the largest…
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 toxic, with gamers often seeming to not…
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 is a pretty basic human thing, e.g.…
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 entire package (and can just open the…
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 both. I was holding that emotion even…
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.
You probably mean that the size of the matrix is incompatible with the size of the vector?
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 truly entrenched in the Matplotlib…
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 with the language programmatically.…
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 props to the team, I know that's very…
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? Assuming you're talking about quarto, may I…
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. Waiting, in anticipation and horror, for the…
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 them, not all:…
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 training is not so rigid that it can…
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 start smaller).
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 during their reinforcement learning…
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 the proof here fairly inspired by results…
> 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 purely plain language in and out. I…
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, I've found JAX's design and feature set…
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 to find a way to talk about that idea.
> 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, or the world itself. I'm case anyone…
? 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 marketplace. Those address the largest…
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 toxic, with gamers often seeming to not…
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 is a pretty basic human thing, e.g.…
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 entire package (and can just open the…
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 both. I was holding that emotion even…
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.
You probably mean that the size of the matrix is incompatible with the size of the vector?