Matěȷ

@matj1
11 Followers
10 Following
125 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.
@astielau @jwildeboer I don't need to feed anything. I would be alright with EU design on the cover, but the present design of my passport is better than the proposal IMO, and it already mentions the European union on the cover.
@amarok Nesouhlasím s tím, že by „X-mas“ ukazovalo ignoraci pravého původu svátků. Řecké písmeno Χ se užívalo po staletí jako iniciála pro „Χριστος“, a latinské písmeno X může se použít místo něj, protože vypadá stejně. Nevím, jak rozšířené je toto vnímání slova „X-mas“, ale měli bychom uvažovat možnost, že, kdo to slovo užívá, může jím toto myslet.
@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.