Hacker Newsnew | past | comments | ask | show | jobs | submit | lejalv's commentslogin

IMO Overleaf is a terrible experience (on the other hand, that's what you get if your ambition for computers in 2026 is batch mode and split-panes).

It's easy to miss the video on the front page, which I find provides a great visual summary of features and will make you understand why other commenters are praising how efficient (and pleasurable, I might add!) TeXmacs is: https://www.texmacs.org/tmweb/home/videos.en.html.

You can find some example documents here https://texmacs.github.io/notes/docs/example-documents.html.

Other posts on the TeXmacs notes site discuss programmability with Scheme, typesetting math (https://texmacs.github.io/notes/docs/texmacs-math-typesettin..., shows how good the HTML export is), and more.

The best in-depth reference, even counting the astoundingly complete bundled manual, remains The Jolly Writer. It is a beautifully typeset book, available at https://www.scypress.com/book_download.html.

EDIT: missing link, typo


For me, also highly intestering is the internal data model and serialization, see section "TeXmacs' content model" in https://texmacs.github.io/notes/docs/overview.html

The animation in presentation mode is really impressive, I’ve never seen something like that not even in ppt

The main person behind TeXmacs, Joris van der Hoeven, is also a coauthor on this paper:

"Integer multiplication in time n(log n)" https://annals.math.princeton.edu/2021/193-2/p04


Said paper in html rendered by texmacs [1] and past discussion [2]

1: https://www.texmacs.org/joris/ffnlogn/ffnlogn.html

2: https://news.ycombinator.com/item?id=24991447


The video is hosted on YouTube. Richard Stallman might have something to say about that.

I prefer the lyx editor.

Can proprietary software (SAP) be truly sovereign, though?

On the one hand, nothing stops SAP from behaving like Oracle for the sake of shareholder value. On the other hand, even SAP could be bought by Blackrock or Peter Thiel, and back to US dependence.

Am I missing something about SAP that precludes these scenarios?


Nothing absolutely precludes malfeasance, but SAP is a European legal entity, answerable ultimately to European law. Microsoft and Oracle also trade in Europe through European legal entities, which are theoretically also bound by European law, but should that law conflict with any US law that binds the parent companies, we would expect the US law to be the stronger influence (likely covertly).

> This is true. The eidas directive requires that secret material lives in a dedicated hardware / secure element. It's really not much different than what a banking app would require.

Except the state is not a bank, of which there are many. The state is not optional, and trusting an American company with, of all things, the digital precondition for social existence, is suicidal.


So they did pay to distill a piratic model.

More than can be said from Anthropic et al.’s leeching of a substantial proportion of human culture


The real cultural leeches are the corporations that kept extending copyright terms to the point that a kid can never create derivative works of their favorite show.

That too, I agree. I am against what copyright has become

You're saying they are buccaneers, and validating that as the fundamental working principle of American capitalism.

Call them whatever you want. All I'm saying is that Europeans are hypocrites for fucking over their greatest ally via unenforceable and anti-competitive regulation that's not worth the paper it's written in (and that European institutions have even exempted themselves from). The one ally that they desperately depend on for safety and security, technology, medicine, research, etc.

I have an issue with any US-American product.

I guess Americans wouldn't like to buy from Nazi Germany in 1942 and so do I with buying US-American in 2026


Bla bla bla yada sustainability yada often come with large better growing faster...

It's such an uninformative piece of marketing crap


That's why the European way to tech sovereignty is (publicly-funded) free software. Cannot be bought by unlimited VC money from The Valley, and it benefits the rest of the world, which is a tiny drop, and hence a necessary one, in Europe offsetting the damages of colonization, past and present.

Free software alone doesn't give you tech sovereignty. What matters is who integrates and runs the software.

Can you explain how you mean this? Obviously, it helps if the knowledge of the codebase is with a trusted partner. But taking as an example Grist (https://getgrist.org), which is developed by a NY-based US company and is part of the French La suite numérique (LSN). Should a geopolitical reason get in the way of Grist devs further collaborating with LSN, don't you think that France's sovereignty is safeguarded by the availability of the code?

Granted, it'd be a setback. But nothing a couple of dedicated French devs could not tackle.

What am I missing?


> I like Organic Maps

Does anybody know of a project that offers public transport routing? Ideally with real time information, but I can live with only using schedules or even just average passage interval.

The other general sticking point for me is the reviews, but I could invite more serendipity to my restaurant search.


Öffi, if it has coverage for the areas relevant to you: https://oeffi.schildbach.de/index.html

Thanks for the tip, I'll check it out for when I am back in central Europe, but I am currently based in south Europe and sadly my country/city are not covered.

FWIW Organic Maps are aware of this issue. In the poll on their mastodon account, lack of public transit information was voted as number one missing feature. As far as I’m aware, they are looking into integrating the public APIs for it wherever possible.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: