lapinot

Don't you think your comment applies better to your behavior than GP's? At least they are actually contributing to the conversation.

> Because they can see the writing on the wall and know that one either gets on this bus, or under it.

good ol' TINA is back in town...

In contrast to some powerpoint, what is gained here is that you get to extinguish a couple species at every render. But it's ok because you'll get a bonus and donate 1% to the WWF.

The practice of "theory building" is especially endangered by the current LLM uptake. Not because LLMs are good at it, because they are bad at it. Worse, they sometimes actively hinder theory building, because it usually rests on actually having deep experience with some techniques: 1: you do something over and over, 2: it becomes a second nature, you just get the feel for it, 3: you intellectualize this intuitive understanding, 4: you discover a new structure, or a better way to express/teach/learn/use an existing one.

Theory building was always kind of niche, or at least less prestigious (in comparison with solving well-known problems). Now, because the mad problem solvers are pulling on the blanket so much harder, the marginalization is getting worse.

Indeed, and based non-extensive, one sample approximate average testing, my own bank works like a charm on GOS.

> just involves lecturing about the same material over and over again

It doesn't, specifically not in primary education. Also definitely not for subjects with any kind of amount of practical work. Let's see.. foreign languages, sports, physics, chemistry, biology...

Which part of these relevant quotes understand? Or perhaps have counter-arguments?

> shows how low our appreciation of pedagogues has fallen

> Dropout rates for these classes hovered around 90 percent

> learning is a social experience

> an expert is watching you and cares whether you succeed or fail

And you can reliable type text without looking.

You forgot privacy invasive tracking.. I guess some people don't understand irony!

I beg to differ. Tried to use a kaios nokia 800 tough. Firefox/KaiOS using a stupid kind of webview for every UI, you get two consequences: first, everything is ugly: wrong padding everywhere, complex layout with non-integer number of list items fitting on screen (this is important, vertical list is the primary widget on small screen dumbphones). And second: everything is sluggish. My true "series 30" nokia launches app instantly, whereas i'm sure the SoC is order of magnitudes slower.

So the UX definitely shows complete absence of culture of design in this kind of space (eg gameboy UI design, classic dumbphone UI, ...). Small screens need very simple widgets (most importantly grid and vertical list), hand made paddings and proper space optimizations, most likely some bitmap font tailored to the resolution.. You can't just slap some dynamic layout and expect it to work nicely on such a small screen. Everything vectorized will be both costly and of dubious rendering quality, etc..

And of course these things only have "decent", but definitely not "1 month scale" battery life. I guess LTE is the real culprit here.

> so not exactly the kind of thing you'd notice making a document

By "user interface" I mean (like Martin, in the linked video) the surface language, the way you interact with TeX, its syntax and how it presents itself to the user, the programming model. So definitely the kind of thing you'd notice making a document. Leaky abstractions and footguns are basically everywhere when you write a big LaTeX document.

> I mean TeX is basically an overpowered lambda calculus with a focus on text markup and generation.

No, lambda calculus has capture-avoiding substitution, aka hygienic macro expansion if you will. TeX has naive substitution. By the way, macro expansion is typically CBN, which is very much a rare and weird evaluation order (yes, Haskell, i know). TeX is much closer to some kind of assembly language for a virtual machine.

The user interface / language design. See talk "LaTeX: It's Not You, It's Me" by Martin Haug (cofounder). TeX's language design is at the level of Basic's. Which is in fact not surprising given the timeframe.

Speed and nice error messages in (La)TeX, and to some extent ease of programming, are entirely doomed because of fundamental design choices. Being based on unhygienic macro expansion means that there is only one way to evaluate (the slow way), there will never be incremental compilation (everything can possibly be stateful in horrible ways), there will never be good error messages because there's basically no AST information anywhere (begin/end is a joke).

Regarding ecosystem: tons of undecipherable LaTeX packages are basically one-liners (ok, 10 liners) in typst. I know it from experience: I've written my PhD manuscript in typst. So perhaps one reason why there are so many (basically frozen) packages in LaTeX is because they are so hard to write and maintain.

edit: of course, being only a few years old, typst is nowhere near as solid as TeX, but you can already use it for a lot of things and its a breeze to use.

This! My first actual project (besides some testing) has been my phd manuscript, and after ~2 days i actually had a tufte-style 1.5 column layout going, written from scratch. And its probably like ~250 lines.

There are some rough edges still, the dom model and advanced programming stuff is not quite there yet (user-defined elements, user-defined settables, advanced layout like chaining blocks for laying text flows). But like the quality of the user interface is several orders of magnitude better than (La)TeX.