?! When did that happen. Great!
There's (at least) 2 of us! Well, mine is a little minisforum unit, but the idea is all the same.
Well, if the thesis is that we're running the heavy work on a remote server that's less of an issue.
That algorithm won't converge anytime soon. A pre-conditioner (i.e. at least some apprentice wizardy) helps.
It was, but the comments on that post were insanely depressing to read. I'm a mathematician, and find myself largely hopeful and excited for its future, but being online this last week has been incredibly brutal due to…
MCMC = Markov Chain Monte Carlo It's a way to approximately draw samples from a probability distribution. Crucially, it applies even when we only know the distribution up to a multiplicative constant which is a common…
Not much computational mathematics here, but I do see some of interest in the MCMC community. In particular, 139, 93, and 101 are very interesting. Also (I'm not too familiar), I remember attending some talks on the…
> Why aren't mathematicians excited about the frontiers being unlocked by AI? Well, I wouldn't generalize based off of the thread OP (and people on social media, including me). I think a lot of us are very excited! Most…
Indeed, I've switched over to model similar to this in the course I teach. Weekly optional problem set + in-class quiz every week with one homework problem verbatim + an extension. The homeworks are completely open…
You're talking about this article? I don't see how you could get that, fundamentally I read it the other way around. Unless you're talking about the base assumption of capabilities.
> As an ex-mathematician I assure you this is very wrong, and every working mathematician I know right now is completely miserable, and/or trying to flee the field as fast as possible. To throw a counterpoint to this…
Am I doing my napkin math correct? The post says it's using a model comparable to Fable 5.1, which is $50 per million output tokens. So this is ~$300K? Surely an over-estimate due to caching.
Ah, interesting! I've been toying around with a formalizing of a paper I'm closing to submitting; maybe I'll try to clean it up into a format for this.
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 handful of theory questions. These…
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…
?! When did that happen. Great!
There's (at least) 2 of us! Well, mine is a little minisforum unit, but the idea is all the same.
Well, if the thesis is that we're running the heavy work on a remote server that's less of an issue.
That algorithm won't converge anytime soon. A pre-conditioner (i.e. at least some apprentice wizardy) helps.
It was, but the comments on that post were insanely depressing to read. I'm a mathematician, and find myself largely hopeful and excited for its future, but being online this last week has been incredibly brutal due to…
MCMC = Markov Chain Monte Carlo It's a way to approximately draw samples from a probability distribution. Crucially, it applies even when we only know the distribution up to a multiplicative constant which is a common…
Not much computational mathematics here, but I do see some of interest in the MCMC community. In particular, 139, 93, and 101 are very interesting. Also (I'm not too familiar), I remember attending some talks on the…
> Why aren't mathematicians excited about the frontiers being unlocked by AI? Well, I wouldn't generalize based off of the thread OP (and people on social media, including me). I think a lot of us are very excited! Most…
Indeed, I've switched over to model similar to this in the course I teach. Weekly optional problem set + in-class quiz every week with one homework problem verbatim + an extension. The homeworks are completely open…
You're talking about this article? I don't see how you could get that, fundamentally I read it the other way around. Unless you're talking about the base assumption of capabilities.
> As an ex-mathematician I assure you this is very wrong, and every working mathematician I know right now is completely miserable, and/or trying to flee the field as fast as possible. To throw a counterpoint to this…
Am I doing my napkin math correct? The post says it's using a model comparable to Fable 5.1, which is $50 per million output tokens. So this is ~$300K? Surely an over-estimate due to caching.
Ah, interesting! I've been toying around with a formalizing of a paper I'm closing to submitting; maybe I'll try to clean it up into a format for this.
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 handful of theory questions. These…
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…