DominikPeters

9 ms·

31.
by DominikPeters 10mo ago
As an arXiv author who likes using complicated TeX constructions, the introduction of HTML conversion has increased my workload a lot trying to write fallback macros that render okay after conversion. The conversion is super slow and there
32.
by DominikPeters 1y ago
Given that the warming impacts of contrails are short-lived (roughly a day), I think it is a good idea to do research now on the weather forecasting needed to avoid producing contrails. But I don't really see a reason to actually start
33.
by DominikPeters 1y ago
They have worded things dishonestly to make you think that POP can be replaced by IMAP. The IMAP support is only available in the mobile app (not gmail.com) and isn't a "fetch" that integrates fetched emails to your Gmail inb
34.
by DominikPeters 1y ago
It is not supported. You can only add an IMAP mailbox on the mobile app and not on gmail.com. The IMAP account is then displayed as an inbox completely separate from your gmail inbox. There is no pull and no integration.
35.
by DominikPeters 1y ago
Claude 3.7 was released in February 2025.
36.
by DominikPeters 1y ago
It will include many URLs that are semi-private, like Google Docs that are shared via link.
37.
ArXiv Source Browser: Explore the LaTeX Source Code of Papers from ArXiv(arxiv-source-browser.pref.tools)
1 points by DominikPeters 1y ago|0 comments
38.
by DominikPeters 2y ago
It's also nice for other people to reuse and adapt your figure, or include it in beamer presentations.
39.
by DominikPeters 2y ago
To remove comments, one can also run, for example `latexpand --empty-comments --keep-includes --expand-bbl document.bbl document.tex > document-arxiv-v1.tex`. Latexpand should come pre-installed with texlive. Without the `--keep-includes
40.
by DominikPeters 2y ago
This is o1 so it need not be post hoc but the result of reasoning about several possible choices and explanations.
41.
by DominikPeters 2y ago
Indeed, for each of the words it got it right.
42.
by DominikPeters 2y ago
There are also several videos of Tao giving 1hr talks on this topic, for example https://youtu.be/e049IoFBnLA?t=89
43.
by DominikPeters 2y ago
Is there a simple demo that one can test? I see a tutorial about tic tac toe, but the result doesn't seem to be hosted anywhere.
44.
by DominikPeters 2y ago
Gwern recently wrote an article on why not to write a book: https://gwern.net/book-writing
45.
by DominikPeters 2y ago
> If I know the exact title of the video, it finds it. Everytime. This is unfortunately not true. I have a little channel and there have been times when searching for the exact title of some of my videos did not return it in the results
46.
by DominikPeters 2y ago
I agree that the booking experience of the DB-SNCF cooperation trains sucks from the DB end, but the underlying blame arguably lies with SNCF which insists on compulsory reservations which is against the philosophy of trains in Germany. On
47.
by DominikPeters 2y ago
In this post, I don’t see any comparisons of their solver to other LP solvers on benchmarks, so it’s difficult to know how useful this is.
48.
by DominikPeters 2y ago
No.
49.
by DominikPeters 2y ago
I'm generally strongly in favor of technical system for making speeding impossible -- for example I don't think it should be legal to sell cars that are able to go 100km/h on city streets. But this implementation seems design
50.
by DominikPeters 2y ago
As far as I understand, because employment is at-will and firing is trivial, most employees in the U.S. do not even have a job contract! This was very mind-blowing to me when I took my first U.S. job, where there was no contract (!!), only
51.
by DominikPeters 2y ago
This search box only searches search.gov, so it's not surprising if there are no results for topics that are not about search engines. For "Israel" you can click the "Search again on USA.gov" tab.
52.
by DominikPeters 2y ago
I think it might only be available in the mac app.
53.
by DominikPeters 2y ago
In case someone finds it useful, I wrote a simple in-browser app for editing the chapter tags of an MP3 file (for podcasts), which can also edit some basic other tags like title and cover image: https://mp3chapters.github.io&#x2F
54.
by DominikPeters 2y ago
I've just browsed some old safety videos on YouTube, and in the U.S. this recommendation seems to have appeared in the early 90s (e.g. Northwest 1993 https://youtu.be/rUQtG0a_7d0?t=127 ), while being absent in the late
55.
by DominikPeters 2y ago
Just put the 2500 example linked on the article through Gemini 1.5 Flash and it answered correctly ("The tree has diseased leaves and its bark is peeling.") https://aistudio.google.com/
56.
by DominikPeters 3y ago
Direct link to committee report: https://s3.documentcloud.org/documents/24481375/gino-hbs-inv...
57.
by DominikPeters 3y ago
The whole website is apparently all static hand-edited HTML files ( https://twitter.com/seatsixtyone/status/1679954215588823040 ), so any train company policy changes involve a large-scale find-replace operation ( h
58.
by DominikPeters 3y ago
Another LaTeX-to-HTML tool is lwarp ( https://github.com/bdtc/lwarp ) which starts from the idea that there only exists one program that can parse LaTeX: the LaTeX compiler itself. Implementing a new parser is almost fut
59.
by DominikPeters 3y ago
Indeed, there are many parallels, and in academia the same sort of people study both topics (e.g. in "computational social choice"), and they are often taught in the same lecture series (e.g. https://sites.google.com&#x
60.
by DominikPeters 3y ago
Unfortunately most countries have their own app so scraping it would be rough.

More ›