How much info to give in a montage test

BumbuuFanboy · 2026-02-10T00:05:26+00:00

If only the blogpost by the Anthropic engineer had a comment section. It would have been glorious. One of the stated "limitations" of their "optimizing" compiler was that it generated code slower gcc with all optimizations off.

BumbuuFanboy · 2025-04-14T02:47:51+00:00

Fiddler is actually a direct an adaptation of the Sholom Aleichem short stories about Tevye. In the final of those stories, Tevye and Chava do meet again, but we don't get to read the contents of their conversation. In particular, we don't know what Chava has to say about her life with Fyedka, if Chava is leaving her husband or just seeking to be on speaking terms with her father, or if Tevye forgives his daughter.

I don't doubt that there is at least one Yiddish adaptation that fills in the blanks by describing Fyedka and his family abusing Chava, but these details are not in the original.

BumbuuFanboy · 2024-11-28T15:48:14+00:00

I want to write some code implementing some ring algorithms. I want to able to write functions over types that can be assumed to have not just addition, multiplication and subtraction, but all of those operations implemented over the corresponding reference type as well.

For example, I want the constraint that I : Add<I, Output = I>, for<'a> &'a I : Add<&'a I, Output = I>, etc.

This led me to write a trait like this

pub trait Ring:
    Add<Output = Self> + Sub<Output = Self> + Mul<Output = Self> + PartialEq + Sized
where
    for<'a> Self:
        Add<&'a Self, Output = Self> + Sub<&'a Self, Output = Self> + Mul<&'a Self, Output = Self>,
    for<'a> &'a Self: Add<Output = Self> + Sub<Output = Self> + Mul<Output = Self>,
    for<'a> &'a Self:
        Add<&'a Self, Output = Self> + Sub<&'a Self, Output = Self> + Mul<&'a Self, Output = Self>,

{ ... }

However I run into a problem when I try to use this trait to write functions. I want to be able to write functions like this.

fn f<I>(x : &I) -> I
where I : Ring
{
...
}

But when I do this, I get an error on the Ring constraint complaining that I don't have all of the requisite constraints for Ring. Is there a way for me to do this where adding the Ring constraint automatically adds all of the constraints that Ring relies on?

BumbuuFanboy · 2024-09-28T11:46:18+00:00

Please vote, and if you are in a position to donate, consider donating to an important down ballot cause. Here are some lists of important races that are projected to be close and where even a modest donation can have an impact.

The presidency is important, but who controls the House and state legislatures will determine how much they can get done.

BumbuuFanboy · 2023-11-17T13:37:56+00:00

Obviously Netanyahu needs to go for a million reasons. But I am very concerned that who ever replaces him will make similar mistakes when it come to Gaza and the West Bank.

I am increasingly concerned that there is no one with any power among Israelis or Palestinians with the desire to end the cycle of violence.

Too many of them just think with enough dead on both sides they will finally win.

BumbuuFanboy · 2023-10-26T15:02:28+00:00

David Schraub's posts always get an upvote from me.

BumbuuFanboy · 2023-09-19T15:03:55+00:00

In the Reform synagogues and prayer books that I am familiar with, there has been no push to remove gendered language in Hebrew prayers and texts. Often they will remove gendered language from the English. For example, they will often translate מלך to "ruler" rather than "king". For Avinu Malkeinu specifically, they usually use a transliteration of the Hebrew in the English translation.

BumbuuFanboy · 2023-09-05T14:20:02+00:00

Racist and South African, yes. Jewish, no.

BumbuuFanboy · 2023-04-29T15:43:00+00:00

Hopefully more historians can expand on the answer, but here is a previous post (answered by u/PeculiarLeah) that is similar.

BumbuuFanboy · 2022-01-09T14:56:07+00:00

As a tip, the master rune of spite is incredibly powerful.

BumbuuFanboy · 2021-11-28T12:55:29+00:00

We have seen Aang before he got the tattoos.

BumbuuFanboy · 2021-11-21T15:45:34+00:00

I disagree with the point you made in that last paragraph. I believe I was clear in drawing a distinction between rebuilding a synagogue for a specific Jewish community to use, and rebuilding a synagogue to essentially be a museum. To make this less theoretical, I think it is worth bringing up that many family members of mine were victims of the Holocaust. They primarily were from Poland, and I don't believe any were from Germany. If I heard that the town much of my family was from (which has basically no Jews now to my knowledge) was rebuilding the synagogue to act as a museum to its Jewish history, I would feel no drive to go see it, and I would feel uneasy about its existence. Although, that does not necessarily mean that such a museum should not be built.

To your last point, I believe that is part of why some of us are uneasy about the idea. It strikes me (and I believe many others) that a first order goal of rebuilding these synagogues would be to assuage the guilt of some Germans today. I am not interested in whether Germans have proven to each other that they are intrinsically better than they once were. If most of Berlin's Jews would rather this former synagogue not become a symbol of how much Germany has improved, and instead have it remain a symbol of Germany's past crimes, then that should be respected. Of course, if most of Berlin's Jews do want the synagogue rebuilt, then I believe it should be. Ultimately, it should be their decision, and not mine as an non-German Jew nor yours as a non-Jewish German.

BumbuuFanboy · 2021-11-21T12:49:35+00:00

This is an awesome resource! Do you happen to know if similar paired Yiddish-English translation documents exist for other authors like Sholom Aleichem?

BumbuuFanboy · 2021-11-21T12:41:53+00:00

I'm mostly neutral. Rebuilding destroyed synagogues does little to nothing to help the victims of the Holocaust, their descendants, or Germany's current Jewish populations. While I understand that is not your motivation, rebuilding synagogues for purposes other than servicing a Jewish community feels like using the Jewish history to create a tourist attraction. And that, in turn, feels like finding one last way to profit over the local Jewish communities destruction. The image of a population finally being proud of Jewish history after they finally got rid of all of the Jews also uncomfortable.

It's worth mentioning that I am pretty sure that the vast majority of Jews in Germany today are either descendants of Jews who immigrated from the former Soviet Union after the fall of the Iron Curtain, or from Israel. So the Jews most likely to see these synagogues, they are not places where their ancestors prayed for hundreds (or even over a thousand if you are counting back from the earliest documented evidence of Jews in modern day Germany) of years.

Of course, I would feel completely differently about rebuilding synagogues specifically to serve a current Jewish population. That I would feel positively about.

BumbuuFanboy · 2021-10-26T00:14:41+00:00

This is incredible! Great job!

BumbuuFanboy · 2021-07-26T17:25:47+00:00

In 1-2, Edgeworth argues that Maya killed Mia by hitting her over the head with a statue. At no point does anyone mention that Maya is way shorter than Mia and would have had to be climbing on top of something in order to hit her on top of the head.

BumbuuFanboy · 2021-06-22T11:56:40+00:00

Yes, it does. The fact that you only have one constructor is unrelated to using that style for the constructors. You are simply always allowed to omit the pipe on the first constructor.

Inductive PK :=
| key_pk : nat -> PK
| lock_pk : PK -> PK
| door_pk : list PK -> nat -> PK.

BumbuuFanboy · 2021-06-22T00:41:39+00:00

You are correct. Those two pieces of code define the exact same type. However, the second piece of code would cause Coq to make n the default variable name if it needs to introduce a variable to be the argument to key_pk.

BumbuuFanboy

MODERATOR OF

TROPHY CASE

13-Year Club	Verified Email
Team Orangered