Matěȷ

@matj1
9 Followers
9 Following
123 Posts
I live for the glory of God because that is the only way how something can ultimately make sense. I tried to abandon that, but I couldn't, because I like making sense too much.
@amarok To je jeden z nejlepších špatných překladů. Jsem narazil už několikrát na případy, kde Google překladač zjevně překládá přes angličtinu. Obvykle užívám Google překladač na připomenutí anglických slov, která už znám, takže falešná pozitivita mi nevadí.
@typst Would it be possible to make the web app work offline? I imagine that it would be released as a progressive web app or Electron app, and I could give it access to a local directory (the project), and it would work fully offline except for Universe packages.
@aljazmerzen @typst I don't know why Overleaf does not offer local compiling. It would be likely faster, and it would be lighter on its servers.
@typst Is it possible to set defaults for exporting PDF? I would like that all documents would be exported as PDF/UA just by clicking the button for export. I write many small documents which I export only once and never touch again, so remembering export settings per project is not useful to me.
@amarok For similar comics including cats, I recommend @exocomics .
@pasimako I was wrong. Letters used as small capitals are just capitals, and letters used as capitals are enlarged capitals. In h2, every functionally capital letter has <font size="+3">, and, in h3, every functionally capital letter has <font size="+2">
@pasimako I like the style of the heading. It is in small capitals, but the small capitals are only slightly smaller than regular capitals.

@VojtechHorky I have a similar take: I think that suffering is not evil, but it is always a consequence of evil. So, when we suffer, it is a sign of that something of wrong. When we numb ourselves to suffering, we do not solve the underlying evil, we just stop perceiving it.

Therefore, we should not avoid suffering because it helps us experience the world how it is. But an ideal world would not have suffering. It is a consequence of evil, and I look forward to when God resolves all evil.

@VojtechHorky I have a similar take: I think that suffering is not evil, but it is always a consequence of evil. So, when we suffer, it is a sign of that something of wrong. When we numb ourselves to suffering, we do not solve the underlying evil, we just stop perceiving it.

Therefore, we should not avoid suffering because it helps us experience the world how it is. But an ideal world would not have suffering. It is a consequence of evil, and I look forward to when God resolves all evil.

@StarkRG Yes. Like with any other missing glyph, it is replaced by a glyph from a fallback font. That does not make emoji different from other characters like Chinese or cuneiform.

My point is that, when we can choose a font for emoji, we should be able to choose fonts for every other character, and, when we already can choose fonts for every other character, I see no reason to have a separate option for emoji if we already have a system for choosing fonts.