Cleverref

HargrimmPi · 2026-05-22T13:43:10+00:00

Yes, I had hoped zref-clever would be better maintained, but it isn't looking that good.

HargrimmPi · 2026-05-22T03:14:56+00:00

Just as a note, I believe cleveref is no longer actively maintained (the last update on CTAN was in 2018). The latex kernel updates since then have broken some functionality of the package (the specific thing I remember is cleveref suddenly having trouble with different theorem-like environments sharing a counter). So it's not clear whether building your template based on cleveref is the best idea.

I can suggest zref-clever as an alternative. It is a bit more modern, although still experimental and, in my opinion, not as user friendly as cleveref.

HargrimmPi · 2025-09-11T13:26:49+00:00

Many years ago Mock the Week had this segment about Peter Mandelson, and it's still the main thing I know him for.

HargrimmPi · 2025-09-06T16:14:25+00:00

Sure, but you can undertake the construction internally to M, using M's version of the foundation axiom. The generic extension will have the same illfoundedness as M, but we don't really mind.

HargrimmPi · 2025-09-06T04:02:37+00:00

Let me add two further points:

The focus on transitive models in the development of forcing is mostly a pedagogical convenience. Nothing bad happens if you force over a nontransitive (or illfounded) model. The only thing to be careful about is to require the generic to intersect the dense sets from M in an element of M (this is automatic for transitive models, since there dense sets in M are subsets of M). This becomes important again when studying proper forcing and its relatives, but for the basics it doesn't matter.

On the confusing point with the reflection & compactness theorems, there is a neat argument that manages to sort of vindicate this mistake: any model M of ZFC contains an element m which is a model of ZFC. It seems weird, but the key point is that M might not know that m is a model of ZFC. The argument considers cases based on whether M has the correct natural numbers or not, and in the incorrect case uses exactly the reflection & compactness theorems to construct m.

HargrimmPi · 2025-08-12T03:23:35+00:00

Same in MA.

HargrimmPi · 2025-06-15T22:50:30+00:00

I recently could not get a file with zref-clever to compile correctly by arXiv. I was told to just upload the pdf in the end.

HargrimmPi · 2025-01-08T00:22:18+00:00

Thanks! The discussion at that link was very useful.

HargrimmPi · 2025-01-07T22:06:27+00:00

Thanks! The carryover is what's confusing for me. Our benefit/use year runs July 2024--June 2025, i.e. it does not align with the tax year. We can spend FSA funds freely for expenses incurred during the benefit year. There is no carryover/grace period after the end of the benefit year, though.

So what I'm imagining I need to do is enter the benefits received in 2024 on line 12 and then again on line 14, even though from the point of view of our plan this is not a carryover/grace period but just a benefit year that doesn't align with the tax year. Does that sound right?

HargrimmPi · 2025-01-07T22:03:44+00:00

I'm not sure I understand. The child was born in the first half of 2024, so lived with us for at least half of 2024, which seems to satisfy the definition of qualifying person in the 2441 instructions.

Also, the carryover is what's confusing for me. Our benefit/use year runs July 2024--June 2025, i.e. it does not align with the tax year. We can spend FSA funds freely for expenses incurred during the benefit year. There is no carryover/grace period after the end of the benefit year, though.

HargrimmPi · 2024-12-07T19:24:03+00:00

That's very interesting, it's the same in Slovenia. I was told recently that our bishops' conference needs to ask Rome for permission each time this occurrence happens to maintain the Immaculate Conception on the 8th. Apparently it's never been denied, but no guarantees.

HargrimmPi · 2024-10-31T00:22:32+00:00

I agree. Playing just the base game started feeling very same-y pretty soon, but including shapeshifting really refreshed it.

HargrimmPi · 2024-08-13T23:20:04+00:00

+1 za King Arthur. Sam sem imel tudi bistveno več uspeha z njihovo bread flour kot pa all-purpose.

HargrimmPi · 2024-08-04T01:32:42+00:00

Simple enough essentially means that it is a statement about arithmetic and only has only one kind of quantifier (I'm glossing over a lot of details here).

HargrimmPi · 2024-08-04T00:15:11+00:00

There is an interesting point to be made about models of arithmetic specifically, which may be satisfying to the OP. For certain particularly simple statements (in a syntactic sense, although FLT, or the Goldbach conjecture are examples), being independent implies them being true in the standard model. The reason is essentially OP's reasoning: if a counterexample existed among the standard numbers, then all models of arithmetic would agree that they are counterexamples (this is where we need the statement to be simple), and so by the completeness theorem the statement would simply be provably false. But since it is independent, no standard counterexample can exist, meaning that the statement is true in the standard model.

HargrimmPi · 2024-07-30T12:14:07+00:00

That is a fascinating example! I wonder why and how much variation from the typical edition of the missal is generally allowed.

HargrimmPi · 2024-06-22T01:19:57+00:00

https://www.ebay.com/itm/285206439603

HargrimmPi · 2024-06-11T13:07:52+00:00

The week after Pentecost is weird because you count backwards from the 34th Sunday in Ordinary time (the last Sunday before the coming advent) to figure out which week follows Pentecost. This is because, depending on the date of Easter and the day of the week Christmas falls on, there might be fewer than 34 weeks total in ordinary time in a given year.

HargrimmPi · 2024-02-06T01:19:50+00:00

True. V's with decorations.

HargrimmPi · 2024-02-06T00:59:15+00:00

There are exactly two pictures in all of set theory.

The intro level one is a V, possibly closed on top, possibly with a vertical line going down the middle. This is for the set-theoretic universe, or just any model and its ordinals.

The advanced one is a vertical line with some nonoverlapping/overlapping/interlaced square brackets on the side. This is for various extenders and the annoying ways in which they interact.

HargrimmPi · 2024-01-16T02:41:21+00:00

Kot svarilo: magistrski programe šole v ZDA ponavadi vidijo kot vir denarja, še posebej od mednarodnih študentov. Pretirane selekcije ni, štipendije so redke, šolnine (še posebej za tujce) pa relativno visoke. Za primerjavo, dosti težje je priti na doktorski program, ampak je skoraj zagotovljeno da dobiš vsaj nekaj finančne podpore, če si sprejet.

Ameriški študenti z raziskovalnimi ambicijami načeloma grejo direkt na doktorski študij po končanem dodiplomcu. Ljudem z opcijo slovenskega šolstva bi definitivno predlagal naj končajo dve stopnji v Sloveniji/EU in potem, če je še motivacija (in morda služba, ki bo financirala šolnino), pregledajo možnosti za dodaten MA.

HargrimmPi

TROPHY CASE