Month: 16 Kislev 5785 (December 2024)

Well yeah they do do a lot of kiruv, depending on where you are.

No it's just people being cute because they can't think past their nose and consider that people may have specific filters in place to keep certain things out of their timelines.

@aardrian Yeah, they were just kidding about that.

@NoahCarver The point isn't that the changes weren't merged. The point is that "But it's better for LLMs if we leave tables out" should have never been part of the decision tree for merging pull requests in the first place, because you never write documentation with machines in mind, you write documentation with people in mind.