trostaft

11 ms·

1.
by trostaft 12d ago
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.
2.
by trostaft 28d ago
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.
3.
by trostaft 1mo ago
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 aren't tu
4.
by trostaft 3mo ago
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 style of
5.
by trostaft 3mo ago
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. Typst is,
6.
by trostaft 4mo ago
Fantastic! It might be time for me to give it a shot again.
7.
by trostaft 4mo ago
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 difficult. EDIT:
8.
by trostaft 4mo ago
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.
9.
by trostaft 4mo ago
> (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 qu
10.
by trostaft 4mo ago
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 price of t
11.
by trostaft 4mo ago
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: https://sk-tekken.com/tracker
12.
by trostaft 4mo ago
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 only applied to the sing
13.
by trostaft 4mo ago
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).
14.
by trostaft 4mo ago
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 procedure right now,
15.
by trostaft 4mo ago
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 in literature, but t
16.
by trostaft 4mo ago
> 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 think, in many w
17.
by trostaft 4mo ago
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 fe
18.
by trostaft 4mo ago
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.
19.
by trostaft 5mo ago
> 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 any
20.
by trostaft 5mo ago
? 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.
21.
by trostaft 5mo ago
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 build quality issues I h
22.
by trostaft 6mo ago
If I'm recall correctly, this was also a keynote at MDS24? That was also a great talk, Hardt is an excellent speaker.
23.
by trostaft 6mo ago
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 even enjoy t
24.
by trostaft 6mo ago
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. sports, chess, card games
25.
by trostaft 8mo ago
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 papers in those re
26.
by trostaft 9mo ago
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 after cru
27.
by trostaft 9mo ago
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.
28.
by trostaft 10mo ago
You probably mean that the size of the matrix is incompatible with the size of the vector?
29.
by trostaft 10mo ago
:\ just finished applying for an NSF grant. I've got to look into other sources of funding.
30.
by trostaft 11mo ago
I've found (good) review papers invaluable as an academic. They're really useful as a fast ladder to getting up to speed in a new area. Usually they have a great literature review (with the important papers to read afterward), a c

More ›