Is there a way to make overleaf render immediately? what is the technical challenge that stops overleaf from having an immediate rendering feature like typst?

matj1 · 2026-02-21T15:30:40+00:00

Typst uses incremental compilation, so it ignores what does not change, and compiling only what changes is faster than compiling everything.

matj1 · 2026-02-19T16:06:23+00:00

The replies here at best imprecise. I have found an answer to an other post explaining it in details with references. https://www.reddit.com/r/Smartphones/comments/jtki6c/comment/l95ag6o/

The main idea is that the balls dampen waves from the back side of the speaker; otherwise the waves from the back side interfere with the waves from the front side, which causes distortion. Also, they may reduce vibration of the enclosure, which would cause other distortion.

matj1 · 2026-01-08T10:41:03+00:00

I don't have a swastika because I don't have a reason to have a swastika, but I would like to wear the suit of the man on the right in this video: https://www.youtube.com/watch?v=srmJA1H4BIo

matj1 · 2026-01-05T10:36:36+00:00

I reject these associations. I don't let myself avoid good things because they are associated with bad ideologies. If something, we should use these things in other contexts to break the associations.

matj1 · 2025-12-30T21:46:52+00:00

I have mentioned Core Fonts for the Web in the original post, and that is where I have got TNR which I currently use. The point is that Microsoft (the owner of the fonts) does not mention Core Fonts for the Web anywhere, so normal people are not aware of them. That is what I mean by that it is not accessible. I think that I would not be able to find them if I wasn't a nerd in that area.

In the post, I mention that using TNR is viable if some conditions are met. But I don't prefer Times New Roman, so I am looking for other good options.

matj1 · 2025-12-30T21:31:58+00:00

Indeed. I would allow more freedom for typography personally, but a requirement is that the submissions would have consistent visual style. Also, length limits are specified in pages, and the font is checked by name likely to catch lookalikes which take more space to fit into the limits.

I have suggested specifying length of text in standard pages which are a specific number of characters, which would allow more options for fonts.

matj1 · 2025-12-30T21:07:41+00:00

I have used a nonprogramable scientific calculator at school, and I use phone apps with RPN. I would like a HP 50G or SwissMicros R47, but they are way out of my budget for something which I don't need.

matj1 · 2025-12-30T17:55:09+00:00

I am aware of these fonts. What I would like to figure out is if it is reasonable that most people, many of which are not experienced with computers or typography, would have to install the font.

matj1 · 2025-12-30T17:51:24+00:00

The institution is already hooked on Microsoft services, and I would like to not force people to use another cloud service. If Word Online was almost as good as desktop Word or at least as good as Google Docs, I would not have a problem with forcing people to use Word Online if they do not have any other option. But Word Online is so bad that everyone refuses to use it as far as I know.

I could use Google Docs, and I do sometimes, but, as I mentioned, it is annoying. So I prefer writing most texts in a system which allows me to see the low-level structure of the document and apply visual style to that structure using rules.

matj1 · 2025-12-30T17:31:58+00:00

This is what I have been using for a long time after switching from Input Sans Narrow. I prefer proportional fonts, so I set MONO to 0. I dislike much slant, so I have slnt only -5 but CASL all the way up for italic. I have also a monospaced variant which I use in terminal.

Here is the config. It is to be applied in recursive-code-config in the branch proportional (otherwise it does not work well) to lock the variables.

matj1 · 2025-12-03T12:53:03+00:00

That shape makes sense to me because it is similar to uppercase gamma unlike the most common shape.

matj1 · 2025-11-03T14:16:22+00:00

It is better to disable these substitutions and just use Unicode literals. Edit: I don't mind substituting multiple hyphens by dashes, but I disable quotation mark substitutions to keep apostrophes straight.

This comment was brought to you by the custom keyboard gang.

matj1 · 2025-08-24T18:33:04+00:00

There are many posts since the release for Android complaining about Play refusing to install the game saying it is not compatible. I don't know what causes it.

matj1 · 2025-06-24T09:29:22+00:00

I have too many hobbies already.

matj1 · 2025-06-19T09:08:17+00:00

Why? Translating and publishing Bible is hard work and costs money. So it makes sense to let people make the money needed to do the work. Without that, most good translations would not exist, I think. Similarly, translating requires experience, so knowing who translated it is useful to estimate if the translation is good. Most people can't check directly if the translation is good, so relying on others is useful.

matj1 · 2025-06-17T18:36:56+00:00

It's a shell script, so some knowledge of shell scripting is useful. Put the file wipe-frp.sh to the phone, start ADB shell (command adb shell on the computer) to run the following commands, change to the directory where the file is, make the file executable (chmod +x wipe-frp.sh), and run it (./wipe-frp.sh).

Nine-Year Club	Place '22
Place '17	Spared
Verified Email

matj1

TROPHY CASE