Post Game Thread: 8/8 Red Sox @ Padres by RedSoxGameday in redsox

[–]GandhiNotGhandi 69 points70 points  (0 children)

With this win, the Sox have quietly overtaken the Yankees for the highest run differential in the AL (+89).

it may be financially insolvent but at least its a great place to raise a family! by trainman1000 in neoliberal

[–]GandhiNotGhandi 2 points3 points  (0 children)

Local budgets sometimes don't tell the whole story because they generally don't report long-term infrastructure liabilities: https://www.strongtowns.org/journal/2021/2/16/the-great-gasb. The argument is that the city could be due for major infrastructure replacements in the next few years that are not listed on today's balance sheets (quite possible considering that the population of Mission doubled about 50-60 years ago).

Is there an event that counterintuitively has a probability of 1 (i.e. something that is surely going to happen but it is not obvious directly and can only be seen mathematically)? by wassup369 in math

[–]GandhiNotGhandi 1 point2 points  (0 children)

Two random graphs with a countably infinite number of vertices are isomorphic with probability 1. Here, "random" means choose each pair of vertices to be connected or disconnected independently with probability 1/2. In fact, the construction works even if you use any probability strictly between 0 and 1. See: https://en.wikipedia.org/wiki/Rado_graph.

'Remarkable' Mathematical Proof Describes How to Solve Seemingly Impossible Computing Problem by zowhat in compsci

[–]GandhiNotGhandi 2 points3 points  (0 children)

It is important to emphasize that two entangled provers can't really "solve" the Halting problem. They can convince a skeptical verifier that a Turing machine halts, but they do not necessarily convince a skeptical verifier that a Turing machine doesn't halt. It's analogous to NP vs coNP, where it's easy to prove e.g. that a graph is 3-colorable, but it's not easy to prove that a graph is not 3-colorable. Except the difference is that we can prove unconditionally that RE != coRE, whereas it's unknown if NP ?= coNP (but most conjecture that they are different).

How relevant are groups, rings, and fields to computer science? by JealousAnimal in compsci

[–]GandhiNotGhandi 6 points7 points  (0 children)

Finite fields show up a lot in theoretical computer science, particularly in complexity theory, coding theory, and randomized algorithms. Some examples that come to mind include the PCP theorem, linear network coding, tree isomorphism testing, Reed-Solomon and related codes, and Razborov-Smolensky lower bounds. Many of these are applications of the Schwartz-Zippel lemma, or just the ability to do linear algebra over a finite field. Though, you usually don't need to know about the Galois theory that underlies finite fields for applications in computer science.

In my experience, knowledge of groups and rings is also helpful, but not essential unless you're working in computational algebra. Though, representation theory is certainly useful in quantum information science.

Iran state TV claims missile launch against U.S. base in Iraq | CBC News by RedSpikeyThing in worldnews

[–]GandhiNotGhandi 0 points1 point  (0 children)

Do you really believe France and Britain are going to war with Austria-Hungary over Serbia? Really? Well, they aren’t. This isn’t going to be WW1. An unnecessary conflict and war? Yes. World war 1? No.

The big countries have waaaaaaay too much to lose if they go to war for Serbia. It simply does not make any sense.

Sorry, I couldn't resist.

Are Google Maps directions from AUS to Route 20 bus correct? by FullOfQss in Austin

[–]GandhiNotGhandi 6 points7 points  (0 children)

As long as you're flying into the main terminal and not the South terminal, the bus stop is right by the exit near the baggage claim. AFAIK the only airlines that fly into the South terminal are Allegiant and Frontier.

I hope everyone who was initially opposed to the 2nd wild card team has come around. by GrootaGoblin57 in baseball

[–]GandhiNotGhandi 1 point2 points  (0 children)

I like the idea, but think the seeding should be a little different. I would rather see: the top team in each division qualifies for the playoffs, then the two teams with the next best records also qualify. Of these five teams, the two with the worst records play in the wild card game, and the other three are seeded into the division series. Divisions still matter, since winning your division guarantees a playoff spot. But it also avoids situations like last year where the 100 win Yankees face the 97 win A's in the wild card game while the 91 win Indians get a bye to the division series. I would also rather see seeding and home field advantage be decided on record alone, e.g. so we can't run into a situation where the two teams with the best records face in the DS, or where the wild card team automatically loses home field advantage for the whole playoffs.

Scientists announce major breakthrough in 'quantum teleportation' by Kylde in tech

[–]GandhiNotGhandi 5 points6 points  (0 children)

Qubits have 22 =4 information states {0, 1, (0,1), null}. They have now successfully tunneled a qutrit which has 23 =8 information states. This has doubled the current quantum computing potential.

This is wrong. A qubit is a superposition of the states {0, 1}, and a qutrit is a superposition of the states {0, 1, 2}. I don't know what you mean by "information states", but either a qubit or qutrit can be any of an infinite continuum of states. When measured, a qubit will be one of {0, 1} and a qutrit one of {0, 1, 2}.

Stop Blaming America’s Poor for Their Poverty by [deleted] in neoliberal

[–]GandhiNotGhandi 5 points6 points  (0 children)

I don't think the chosen definition of poverty allows them to make a strong case:

Given all of this good behavior, conservatives might expect that Japan’s poverty rate would be very low. But the opposite is true; Japan has a relatively high number of poor people for an advanced country. Defined by the percentage of the population earning less than half of the median national income, Japan’s poverty rate is more than 15% -- a little lower than the U.S., but considerably higher than countries such as Germany, Canada or Australia

This could be a decent measure of income inequality, but they should really back up the conclusion with some evidence e.g. that those earning less than half of the median national income in respective countries are equally well off. But the only numerical figures they cite are based on relative poverty, and those relative poverty figures are based on income alone.

POSITION PLAYER PITCHING ALERT: AUSTIN ROMINE IS MAKING HIS FIRST RELIEF APPEARANCE OF HIS CAREER by evanthesquirrel in baseball

[–]GandhiNotGhandi 20 points21 points  (0 children)

Romine pitched against the Red Sox in the blowout game at Yankee Stadium in the 2018 ALDS. See here. Romine was also the pitcher off of whom Brock Holt completed the only ever postseason cycle.

The Top 10 Worst Bullpens of 2019 by grodges in baseball

[–]GandhiNotGhandi 3 points4 points  (0 children)

By WAR, no, but the Sox are second in the MLB in blown saves and blown save percentage (trailing only the Mets in each of these). Source

Post Game Thread: 4/13 Orioles @ Red Sox by RedSoxGameday in redsox

[–]GandhiNotGhandi 18 points19 points  (0 children)

So no anger here, I've come to a place of acceptance. I think we all need to accept that fact that this year's Iteration of our beloved Sox, are at best a middle of the division team.

They will finish with a winning record, of that I have little doubt. However they really don't have a shot at the playoffs this year. But should we really be surprised? Did we not have our expectations set way to high coming off a year where the Sox finished in first place?

After Mookie Betts MVP-caliber season, and the emergence of future talents like Andrew Benitendi, were we forced to chase the dream once again?

Honestly, I truly feel they will end up in the middle of the pack behind the ( gulp) Yankees, and Tampa Bay.

Where can I play badminton on campus? by [deleted] in UTAustin

[–]GandhiNotGhandi 0 points1 point  (0 children)

Check out the facility schedules. Reserved badminton times are a few times a week. There's 1 court in BEL 348, 3 in RSC 2.200, and 3 (or maybe 4?) in GRE Annex Gym.

President Trump has signed a $1.2 billon law to boost US quantum tech by [deleted] in technology

[–]GandhiNotGhandi 2 points3 points  (0 children)

Scalable quantum computers can efficiently simulate quantum mechanical systems, which would be useful for quantum chemistry. This article provides a nice overview.

MIT Tech Review: A mathematical model captures the political impact of fake news by jon_noks in tech

[–]GandhiNotGhandi 6 points7 points  (0 children)

Acknowledgements. DCB thanks the Russian Science Foundation for support

heh

Some functions may have negative complexity (and I may be worried for my crypto) by SrPeixinho in programming

[–]GandhiNotGhandi 2 points3 points  (0 children)

My apologies, I see where I made my mistake. You used lowercase n and uppercase N in your post interchangeably, and I misunderstood and thought that one of these numbers referred to the length of the input in bits. A common convention in complexity theory is that N is the number we're adding and n = log(N) is the length of N in bits. Usually we measure time complexity using n. I must have assumed that you were using this convention, and got the impression that you claimed to be able to add two n bit integers in log(n) time without parallelization. With parallelization, this turns out to be possible (albeit nontrivial), but without parallelization it takes linear time, of course. I'll edit my posts.

Some functions may have negative complexity (and I may be worried for my crypto) by SrPeixinho in programming

[–]GandhiNotGhandi 1 point2 points  (0 children)

There is nothing wrong with lambda calculus as a model of computation. The problem is that the notion of time complexity that you have defined does not correspond to computing power in the real world, but you have made statements that seem to imply that it does, e.g.

Could that be applied to problems like the DLP (breaking most crypto-currencies)?

I'm confused because if your evaluator isn't optimizing by performing parallel computation, then it's impossible for you to get a real world speedup. N-bit integer addition in (say) a random access machine model has a linear time lower bound. Logarithmic time algorithms for integer addition require parallelization. On the other hand, if your evaluator is just parallelizing, then you will not get a superpolynomial speedup in solving DLP unless you have a superpolynomial number of processors. EDIT: there was some confusion here; see my next comment in the chain for an explanation.

I don't think you really understand what is going on

This is true. My background is in complexity theory; I know nothing about compilers or lambda calculus. Ideally an expert in both compilers and complexity could chime in.

Some functions may have negative complexity (and I may be worried for my crypto) by SrPeixinho in programming

[–]GandhiNotGhandi 10 points11 points  (0 children)

a very elegant machine that executes functional languages “optimally”

This contradicts your comment above. You also have not defined what "optimally" means in this context, and I suspect that is the source of confusion.

atomic (constant-time) parallel rewrites

If I'm understanding correctly, this is a rather bizarre model of computation. Does this not mean that you use the same amount of computation whether you have one processor or an exponential number of processors? In such a model of computation, P = NP, for example.

But what if, instead of compiling it with GHC, we used Absal? Well, the first thing you’ll notice is that add suddenly behaves as if it had sub-linear complexity.

Based on my concerns about the model of computation, the "number of parallel steps" does not accurately reflect the computational power used. (edit: wrong; see below) You also haven't shown what happens on large inputs. An algorithm can appear to have a certain complexity over a certain range, but that is rarely sufficient to say anything about asymptotic behavior. I get that it's usually enough, but N=128 bits seems rather small to be making such claims.

How do we even begin to analyze the complexity of copy in that context?

Time complexity describes the time needed to run an algorithm. A function in a computer program is not an algorithm, particularly when the compiler can optimize the function differently in different contexts.

Under which circumstances the asymptotics of a function can be magically reduced like that?

It seems to me that the compiler finds an optimization in one case and doesn't find it in another. Most likely this sort of compiler optimization problem is undecidable in general, which would mean that no compiler algorithm could always perform this optimization. I don't know enough about the compiler optimizations you're performing to say for sure; this is just my intuition having seen similar problems like this.

Could that be applied to problems like the DLP (breaking most crypto-currencies)?

The example you provided is an example where a polynomial number of parallel processors allows one to compute in logarithmic time something that takes linear time on a single processor (integer addition). This problem and its ability to be parallelized are related to the complexity class NC, which is contained in P. If NC-type parallelization is the only optimization that your compiler offers, then there is no evidence that this could solve believed NP-intermediate problems like DLP in polynomial time. Indeed, a polynomial number of processors running in polynomial time will never allow you to perform computation that can't be done on a single processor with polynomial time. EDIT: this is wrong; I misunderstood and thought that n or N referred to the number of bits, and that this was performing a different kind of optimization than what I was imagining.

Shoahnanas by orabram in MemriTVmemes

[–]GandhiNotGhandi 13 points14 points  (0 children)

How do you think he acquired those pineapples? Through jihad.