cvoss

17 ms·

241.
by cvoss 2y ago
I'm not sure this really addresses GP's question, which I share. You claimed in GGP that deciding whether a function is total is a TFNP problem. In particular, that would make it decidable. But the counter-claim is that deciding w
242.
by cvoss 2y ago
Did you know that there is an efficient algorithm for learning (guessing) a regular language from a series of examples/non-examples? Basically, you directly construct the smallest automaton that correctly discriminates the training inp
243.
by cvoss 2y ago
Is that the cause of the loss of community? Or is that a coping mechanism for the loss of community? Or a combination? I agree it's related. But that it's glaringly obviously the cause? I'd need to hear more.
244.
by cvoss 2y ago
This is very true. I routinely depend on stop lights to govern intersections other than the intersection the light is posted at. And when I'm sitting at a red light with a bunch of other people, complaining to myself about how ineffici
245.
by cvoss 2y ago
Integer factorization is an NP problem but is not known to be NP-complete. Therefore, we do not know how to solve all NP problems in P time using a hypothetical P time factorization. P =? NP would remain open.
246.
by cvoss 2y ago
If such a machine existed in our universe, as it sped up its execution, its parts would approach the speed of light. To continue speeding up its execution, it necessarily must occupy a smaller and smaller volume, to keep the parts nearer an
247.
by cvoss 2y ago
I don't think that's accurate. We can pretty carefully calculate the forces involved and answer the question as posed. Related: We can calculate how strong a magnet has to be to hold your artwork on the fridge in opposition to the
248.
by cvoss 2y ago
I always love this topic. > Nat = 1 + Nat. This equation is clearly inconsistent, since x=1+x is false for all possible values of x. Ah, but no, my friend. That equation is false merely for all possible finite values of x. But why impose
249.
by cvoss 2y ago
The federal government has a strong interest in carefully selecting recipients of grant funds (often large sums) and in controlling the purposes and uses of those funds. As a condition of receiving funds, the government may naturally wish t
250.
by cvoss 2y ago
You are equivocating on the word "void". Your statement that "a variable of type void can't be occupied" is true in functional languages where "void/Void" is often used as the name of a type that isn&
251.
by cvoss 2y ago
> Now, with that perspective, how do you expect a rational person to behave? They'd deploy the software on the critical path. That's exactly GP's point, isn't it? That's why GP explicitly wants us to shift some o
252.
by cvoss 2y ago
Right. Chevron was about letting agencies help interpret ambiguous statutes that delegate authority from Congress to an agency. But by definition, Congress can't delegate authority it doesn't have. In particular, Congress doesn&#x
253.
by cvoss 2y ago
The same off-by-one annoyance under discussion bites the author in this very article and he didn't even notice: He calls 1776 the 76th year of the 18th century. But it's not! It's the 77th year of that century!
254.
by cvoss 2y ago
> bazillion ordering rules There are 3 which pertain to object initialization in Java. 1. super is initialized in it's entirety by an implicit or explicit call to `super()` 2. All instance initializers of the present class are invok
255.
by cvoss 2y ago
We are forced to relax one of the four named properties that we desire for the measure function. (And, well, Banach-Tarski rules out one of those options.) So we relax the requirement that mu be defined on all inputs. But I wonder, isn&#x27
256.
by cvoss 2y ago
> > the best way The examples you cite do not strike me as the best way, so I will continue to worry about this. Learning from a story crafted by experienced people, sometimes encompassing many generations of experience and wisdom, is
257.
by cvoss 2y ago
I'm not sure the comparison is apt. The Brits who comprised America at the start did not forfeit their English heritage in 1776 or at any other time. Modern Americans share Shakespeare as a direct and pivotal cultural ancestor just as
258.
by cvoss 2y ago
The first section, Textbooks and Survey Papers, begins with Formal Proof (this is where one identifies the suitable language for mathematics), followed by general Machine Learning references, and concluding with Machine Learning for Formal
259.
by cvoss 2y ago
Broadly, as you'll see in the Google doc linked from the announcement, they are referring to the use of computer systems to assist mathematical research, which falls into a two step process: 1) Identify a suitable language for use by b
260.
by cvoss 2y ago
It's a reflection on the state of the field, I think, that there is such a volume of lesser known good work hiding among an even larger volume of noise and fluff that neither the authors nor the reviewers caught such an oversight. (An
261.
by cvoss 2y ago
At first I was puzzled to see the Secret Service was involved. I have just learned that the Secret Service's other (and original) mission is to protect the security of the US financial system. When they were founded in 1865 (ironically
262.
by cvoss 2y ago
The question is raised at the end about the undecidability of ambiguity of CFLs, and whether, under certain restrictions, the problem becomes decidable. As the author points out, Regular Language ambiguity (among many other properties) is d
263.
by cvoss 2y ago
What are your opinions of all the theorems that rely on RH as an excluded middle? Constructivists reject exmid, saying instead that a proof of "A or B" requires you to have in hand a proof of A or a proof of B. And nobody yet has
264.
by cvoss 2y ago
The connection between type isomorphisms and algebraic equalities is known and explored in a variety of interesting ways. I don't know the precise history of the development of the notation and vocabulary, but there's a reason typ
265.
by cvoss 2y ago
> still shining today It's an interesting quirk of these discussions of events at relativistic scales that it's very hard to precisely speak about what we mean whenever we reference time. For all of us "here", who are
266.
by cvoss 2y ago
It is also important to remember that the money isn't borrowed out of thin air. Other nation states, corporations, and individuals have lent all this money to the US government. Lenders lend when and where they believe they will receiv
267.
by cvoss 2y ago
It's an incredible feat to me that a single station can broadcast to the almost the entire US, Mexico, and even parts of South America at the right time of day [0]. (I believe this is why many clocks check for the signal overnight.) It
268.
by cvoss 2y ago
Interesting! Not compelling because you already have your own answers to the questioned posed? Or perhaps not compelling because you don't find the questions to be interesting/relevant? The value of this story, in my opinion, isn&
269.
by cvoss 2y ago
I love the accessibility of presenting this very complex philosophical thought experiment in the form of fiction. He walks you through some of the analysis you need to be making in the beginning, with the narrator-philosopher basically tea
270.
by cvoss 2y ago
Well, they're not completely unrelated. The TikTok issue and the defense spending issue are both framed as national security concerns. But secondly, I don't actually mind this aspect of the US political process. It's part of

More ›