Skip to main content
LaTeX

LaTeX

SoftwareWikipedia

Search complete. 39 mentions across 21 episodes found for "LaTeX".

Sep 21, 2026

Full Time Nix

Full Time Nix

Nix Freaks 49

Sep 21 · 1 Mention

Tom BarrettGUEST
90:46
It's very similar.
Tom BarrettGUEST
90:48
TLA is more mathematical and LaTeX.
Jonathan RingerGUEST
90:50
Quint is programming style.
Jonathan RingerGUEST
90:53
Yeah,
Blain CrainHOST
15:41
You do end up winning the game 45-14.
Blain CrainHOST
15:42
And the halftime yardage was – LaTeX didn't have a yard of offense.
Blain CrainHOST
15:50
Yeah, they scored on defense.
Blain CrainHOST
15:52
They didn't have a first down in this game until halfway through the third quarter.
Bartosz NaskrenskiSOUNDBITE_SPEAKER
51:11
Before the verification was lagging behind, but Astra is very fast, and for many tasks, the formalization happens as you write your argument in codex.
Bartosz NaskrenskiSOUNDBITE_SPEAKER
51:20
If you tell the model to use literate programming plus LaTeX, you end up with your proof combined with the lean code, everything explained as you wrote, mixed with small chunks of lean which are digestible.
Bartosz NaskrenskiSOUNDBITE_SPEAKER
51:31
I don't want to go back to the era where the only confirmation of the proof was, aha.
Bartosz NaskrenskiSOUNDBITE_SPEAKER
51:36
Now the aha is followed by a green tick that indeed tells you that you have captured the essence.
Jon KrohnHOST
9:58
Regular listeners will already be aware that I'm obsessed with Anthropic's Fable 5 model, and it has taken over my working life.
Jon KrohnHOST
10:05
I'm writing a technical book that includes LaTeX files, mathematical notation, Python code examples, and Fable 5 and Claude Code handles requests I make across whole chapters with accompanying Jupyter notebooks end to end.
Jon KrohnHOST
10:17
Work that a few short months ago would have been dozens of separate requests with way more manual fiddling required.
Jon KrohnHOST
10:23
With Fable 5, it just works essentially like magic first time.
Joe HellersteinGUEST
49:32
He could barely...
Joe HellersteinGUEST
49:33
He didn't use LaTeX because he didn't use LaTeX.
Joe HellersteinGUEST
49:35
He was too old for LaTeX.
Joe HellersteinGUEST
49:36
He used nroff.
Joe HellersteinGUEST
49:38
The guy did not program, and he was right, like, most of the time.
Lucy D'Agostino McGowanHOST
5:11
You're moving through different rooms, and you can go different ways, and you collect items and whatever.
Lucy D'Agostino McGowanHOST
5:14
But then I got, like, obsessed with this idea of making a full map of it, and I made the map in LaTeX.
Lucy D'Agostino McGowanHOST
5:21
I tr- I don't even know why.
Lucy D'Agostino McGowanHOST
5:22
And I can't find this.
Lucy D'Agostino McGowanHOST
5:23
I have not been able to find this artifact.
Lucy D'Agostino McGowanHOST
5:25
But I spent, like, so many ti- So I basically, like, went into...
Lucy D'Agostino McGowanHOST
5:29
I'd go into every room, and then I'd go, like, every possible direction, and then I would, like, create a little, like, line in LaTeX, you know, like, using TikZ to, like, figure out.
Lucy D'Agostino McGowanHOST
5:39
And part of this was, like, an excuse to teach myself TikZ, because I, at the time I did not know how to...
Lucy D'Agostino McGowanHOST
5:10
It, it's, you're moving through different rooms, and you can go different ways, and you collect items and whatever.
Lucy D'Agostino McGowanHOST
5:14
But then I got, like, obsessed with this idea of making a full map of it, and I made the map in LaTeX.
Lucy D'Agostino McGowanHOST
5:21
I tr- I don't even know why, and I can't find this.
Lucy D'Agostino McGowanHOST
5:24
I have not been able to find this artifact.
Lucy D'Agostino McGowanHOST
5:25
But I spent, like, so many ti- So I basically, like, went into...
Lucy D'Agostino McGowanHOST
5:29
I'd go into every room, and then I'd go, like, every possible direction.
Lucy D'Agostino McGowanHOST
5:33
And then I would, like, create a little, like, line in LaTeX, you know, like, uh, using TikZ to, like, figure out.
Lucy D'Agostino McGowanHOST
5:39
And part of this was, like, an excuse to teach myself TikZ, because I, at the time I did not know how to...
MichellePANELIST
27:06
We'll deal with that later.
MichellePANELIST
27:07
Okay, maybe I'll rephrase it in that I personally prefer writing in LaTeX.
MichellePANELIST
27:11
I think it's an option, yeah.
MichellePANELIST
27:13
Check SAC's website, but I'm pretty sure that they are open to different formatting options, especially ones that the academic and techie community like.
MichellePANELIST
27:21
So I'm pretty sure LaTeX is an option.
speaker_8UNKNOWN
27:28
i hate to ask this you said the price the cost is up front do you know what those costs are
Jessica BreenGUEST
27:33
so i think uh well we're covering it for this edition um but i think on their website i looked and there was like 379 was one article and then there's another version i didn't quite understand the difference from i thought it was a perpetual thing slightly more expensive
Sophia ParafinaGUEST
13:45
The software isn't written yet to do it well in the cloud in terms of parallelization of the process.
Sophia ParafinaGUEST
13:51
MISPAS is one of the approaches to it there, but we also do things like generic mapping tools for geophysics, which is kind of It's mapping tools, but it's kind of more like LaTeX for making maps.
Sophia ParafinaGUEST
14:05
So it's good for that kind of stuff if you want to do publication quality stuff.
Sophia ParafinaGUEST
14:09
Again, seismology skill building.
speaker_2HOST
18:05
So how do we actually deliver the final results?
speaker_3HOST
18:08
This brings us to the ultimate workflow step, detailed in the source material, which is exporting your Jupyter Notebook directly into LaTeX.
speaker_2HOST
18:15
LaTeX is amazing.
speaker_3HOST
18:17
For those unfamiliar, LaTeX is a high-quality typesetting system widely used in academia and engineering.
speaker_3HOST
18:24
It's for producing incredibly clean, professional scientific documents.
speaker_2HOST
18:29
The book illustrates this with an example of calculating the maximum deflection for three different simply supported steel beams using an IPE220 section.

11 more episodes mention LaTeX.

Create an account to see the whole feed, search across every transcript, and follow the entities you care about.

We value your privacy

We use cookies to understand how you use our platform and to improve your experience. Click “Accept All” to consent, or “Decline non-essential” to opt out of non-essential cookies. Read our Privacy Policy.