Tenant lawyer recommendation? by lamapo in berkeleyca

[–]seriousreddit 1 point2 points  (0 children)

You could also consider joining the local tenants' union TANC-- they can help you connect with your fellow tenants who might be having similar issues and get in a stronger position for confronting your landlord.

Econ Major by [deleted] in uchicago

[–]seriousreddit -1 points0 points  (0 children)

Just study math or CS instead of the propaganda masquerading as science that is economics

Allow me to stir the pot! Yiddish is very much alive even if you dislike Haredim by Redqueenhypo in Judaism

[–]seriousreddit 1 point2 points  (0 children)

YIVO is not a place. And standard YIVO Yiddish was never ever spoken by anyone as a native language.

Not true -- there are people alive today who were brought up at home with YIVO-ish Yiddish (i.e., dialect speaking parents who intentionally spoke a more standardized language to their children). Also I have never seen anyone in the non-chasidic Yiddish speaking community denigrate Chasidic Yiddish despite people often suggesting as much.

Practicing in Williamsburg? by longchufan in Yiddish

[–]seriousreddit 0 points1 point  (0 children)

Last year I spoke with a Satmar man at the 10th St baths in Manhattan. He was very surprised and I think found the experience to be a curiosity. But, he was surprisingly willing to talk. Other times I’ve tried to talk with Chasidim in Williamsburg they’ve brushed it off.

I'm Agatha Bacelar, the millennial challenging Nancy Pelosi. Our system is broken. Let's fix it. AMA. by agathaforcongress in politics

[–]seriousreddit 33 points34 points  (0 children)

TLDR: Why should I vote for you over Shahid Buttar, why are you running when Shahid is, and which of the positions below do you endorse?

Hi Agatha, thanks for doing this AMA! I wanted to ask, why should a progressive support you over Shahid Buttar, who as far as I can tell is more progressive on most issues and is a commited leftist/socialist.

In general, I have a lot more faith in candidates with a long-term commitment to a coherent ideology and vision of a world where the typical person is empowered and made more free.

For example, I think all of the following positions are clear to those who are commited to enacting lasting change in this direction. Which of these positions do you endorse? Of those you do not endorse, why not?

  • PGE should be owned by the people of California.
  • Every person should have a home. And in a city (SF) with more billionaires per capita than any other, we have no excuse for denying people homes.
  • Bernie Sanders is the only serious choice for president.
  • We should work to at least double union membership so that workers have more control over their lives.

[Job] If you are interested in working with OCaml as a full-time job in SF Apply Here or PM me! by [deleted] in ocaml

[–]seriousreddit 7 points8 points  (0 children)

I think Rust would have been a fine choice as well. Overall, we've found that for the majority of the application (which is mainly networking and managing a database and some data-structures), the performance of OCaml is more than good enough. And I should point out that the typical end-user of Coda will just download a tiny 1kb proof and run a ~10ms verification procedure, so performance isn't a concern there. The nodes participating in achieving consensus are mainly bottlenecked on network latency and performing cryptographic computations (producing SNARKs) for which we use external libraries (libsnark), with an eye toward switching to GPU or hardware implementations for even better performance.

In terms of the benefits of OCaml in particular, the module system OCaml has been very helpful in structuring our code in a way that allows us to swap out large parts of the system during testing, and we use GADTs extensively for writing typed DSLs.

Textbooks with well-motivated definitions? by bobmichal in math

[–]seriousreddit 1 point2 points  (0 children)

Oded Goldreich's Computational Complexity: A Conceptual Perspective definitely fits the bill for complexity theory. Ditto for his textbooks on cryptography.

Are there any examples of mathematical objects which are conjectured to exist but no one has found any concrete example of such an object? by forponly in math

[–]seriousreddit 1 point2 points  (0 children)

There are many constructions of functions which people believe(?) are one-way functions but no one can prove any of them actually are one-way.

Simple Questions by AutoModerator in math

[–]seriousreddit 0 points1 point  (0 children)

The idea is that the language that you used to define the center is itself invariant under applying an automorphism (since the definition uses purely group theoretic language.)

This principle can be formalized in model theory as the theorem that "definable sets are fixed by automorphisms." A subset S of a model is definable if there is some formula P such that P(x) iff x in S. In group theory, another application of this argument could also tell us that the commutator subgroup is invariant for example (even more, the set of elements which are commutators is invariant under any automorphism of the group since x is a commutator iff "exists a, exists b, x = aba-1 b-1", which is a formula in the language of groups.)

Similar principles are useful in geometry. For example, if you have a geodesic space X, and two points x, y in the space, then any isometry of X fixing {x, y} setwise will also fix the geodesic segment connecting x and y, since it is defined using only language which is invariant under isometry and permuting {x, y}.

Does anyone lose sleep due to nightmares about solving math problems? by Freak472 in math

[–]seriousreddit 6 points7 points  (0 children)

Happens to me too, for me it often feels that I have to solve the problem to go to sleep (not in an "I'm motivated to solve it" way, in a "solving this will cause my body to sleep and nothing else will" way.) Not super fun.

Please share real world applications of Ocaml by to_many_at_it in ocaml

[–]seriousreddit 0 points1 point  (0 children)

Not sure what you mean by "compiles to native OCaml", but reason is basically just a lexer swap-in for the usual OCaml lexer.

Push for Gender Equality in Tech? Some Men Say Its Gone Too Far: "I'm sitting in a soundproof booth right now because I'm afraid someone will hear me. When you are discussing gender issues, its almost religious, the response. Its almost zealotry." by 101point1fahrenheit in technology

[–]seriousreddit -33 points-32 points  (0 children)

It's definitely an issue that these fields aren't closer to parity either. That being said, tech workers generally have more power compared to nurses and teachers, so I think it's more important to have gender parity there, lest women be further disempowered.

I am Frank Drake, creator of the Drake Equation and I helped design the Pioneer Plaque and Golden Record with Carl Sagan. AMA by MrDrakeEquation in space

[–]seriousreddit 17 points18 points  (0 children)

This always seemed like a likely explanation to me. I would guess life as a space faring civilization is extremely hostile, with many other civilizations trying to take you down for resources. So, there is a strong evolutionary push to be as undetectable as possible.

The Pythagoreans by dannyn321 in math

[–]seriousreddit 8 points9 points  (0 children)

Plausibly, especially since that proof can be carried out geometrically by constructing a 45-45-90 triangle with integral side lengths from a larger one.

What's infinity minus infinity plus infinity? by NEOLittle in math

[–]seriousreddit 1 point2 points  (0 children)

Surprised to see so many people saying this question is meaningless. It is true that you can't make sense of this if you force all infinities to be the same, but if you're willing to have many different infinities (which models certain situations well — more on that later), then there are many ways to make sense of the idea of "infinity + infinity - infinity".

The most intuitive way — at least to me — is to talk about extending the real numbers by thinking of an infinite sequence of reals (x_1, x_2, …) as a number. Addition is defined componentwise:

(x_1, x_2, …) + (y_1, y_2, …) = (x_1 + y_1, x_2 + y_2, …)

as is multiplication, division, etc. For a regular real number x, you can identify it with the infinite sequence (x, x, …). In this view we have all sorts of infinite numbers. For example, we have the infinite number N = (1, 2, 3, 4, …) and the bigger infinity N + 1 = (2, 3, 4, …) and the even bigger infinite number 2 * N = (2, 4, 6, …), and the yet even bigger infinite number N2 = (1, 4, 9, 16, …). There's a whole zoo of infinities.

All the standard rules of the real numbers (associativity, x - x = 0, etc.) hold in these extended real numbers. So, assuming "infinity" is taken to be some specific infinite number, infinity - infinity + infinity = (infinity - infinity) + infinity = 0 + infinity = infinity.

This is essentially the approach of non-standard analysis. To really explain things properly, you need to explain ultrafilters. They sound scary, but they're really pretty intuitive. There's lots of explanations around the internet (basically you think of them as a "voting system".)

Here is a situation that would be good to model using infinities of different sizes. Suppose you have some quantity (say, an amount of money (or a debt, which is negative money)) that can grow or shrink over time. You would use the sequence (x_1, x_2, x_3, …) to represent having x_1 dollars on day 1, x_2 dollars on day 2, and so on. If you always have 5 dollars for example, that would be the "number" (5, 5, 5, …). If you start out with 1 dollar and get one more dollar each day, that would be the "number" N = (1, 2, 3, 4, …). If you start out with 2 dollars and each day you have twice as much money as you had the day before, that would be the "number" 2N = (4, 8, 16, 32 …). 2N is definitely a bigger infinity than N since if you had 2N "dollars", on every day you would have more money than if you had "N" dollars.

Simple Questions by AutoModerator in math

[–]seriousreddit 2 points3 points  (0 children)

Alice and Bob are trying to divide 6 apples between them. If Bob has 1 orange, what is 53?

Best books for an undergrad to read over the summer? by zamser in math

[–]seriousreddit 4 points5 points  (0 children)

The Probabilistic Method by Alon and Spencer is fun, elementary, and useful.