cvoss

31 ms·

391.
Ask HN: How to suppress the >50% of FB feed that is trash?
1 points by cvoss 3y ago|2 comments
392.
by cvoss 3y ago
No, fuzzy logic is not what I'm after. Nor even the truth or falsity of single statements. I'm interested in the degree to which an entire inconsistent system of logic is inconsistent.
393.
by cvoss 3y ago
That's one way to perform the computation, but that's not an NFA. The product construction involves making a single new NFA to do the job.
394.
by cvoss 3y ago
This is always fascinating to me, that there continues to be interesting structure among computational problems even after you pass the point where they aren't computable anymore. Kind of tangentially, but similar in spirit, I've
395.
by cvoss 3y ago
> does a CS regular expression without stars have no matches? It's worth elaborating this one, because testing whether an ordinary star-free regular expression has no matches is super easy. Not sure what the author means by "CS
396.
by cvoss 4y ago
In some of the supplementary documentation for this press release, you can see the government's case for seizing Zhang's assets on the grounds that they are traceable to a different convicted criminal (Ulbricht, who is the victim
397.
by cvoss 4y ago
According to [0], a 200 ft radius is permitted for unlicensed AM/FM stations. [0] https://www.fcc.gov/media/radio/low-power-radio-general-info...
398.
by cvoss 4y ago
From reading that account, it sounds like the deposits were not actually insured at the time. > The Victorian government of the time had chosen not to participate in that scheme [an Australia-wide National Deposit Insurance Corporation],
399.
by cvoss 4y ago
> anecdotally I know a few people who are withdrawing all their hard cash Why (anecdotally)? Even if the bank holding your checking/savings account fails, the US federal government insures you up to $250k. And that promise is an imp
400.
by cvoss 4y ago
> is what made us human. It can't be the case that the first sin is what made humans human, at least not for Christianity. Back up to 1:26-27 for what Christians take to be the thing that makes humans humans. They were fully human p
401.
by cvoss 4y ago
Why do you believe that qualified immunity only applies to police officers? I won't pretend to be an expert---today being the first day I've read about it---but, the very first Wikipedia article I read about the topic discusses qu
402.
by cvoss 4y ago
That's a fascinating philosophical presupposition you have there: That there is such a thing as a difference between the observable* behavior of a system and its real* behavior. I won't agree or disagree with you. Just pointing it
403.
by cvoss 4y ago
But I mean, 'run' is a total function and it does halt. When you call 'run' on your non-halting TuringMachine, the language interpreter reduces exactly one call to 'step' and then terminates with the result
404.
by cvoss 4y ago
In my limited experience in the several places I've lived in the US, only one had an issue with water that was hard enough to need addressing. Most residences there had a dedicated household water softener, so even there the dishwasher
405.
by cvoss 4y ago
But equality over the constructible reals is not decidable either. A constructible real number is essentially a suspendable computer program that outputs the next digit of the number whenever you ask for it, in finite time. With some work y
406.
by cvoss 4y ago
> The maybe is obviously not considered in the context of this discussion thread about ML. What do you mean by that statement? The only thing ML can do with a decision question is report "maybe" with some confidence. For exampl
407.
by cvoss 4y ago
Exactly. There is typically no algorithm to correctly decide yes/no on a vulnerability for any input program. But there are algorithms that can correctly report maybe/no. The trivial example: the algorithm that always reports &quo
408.
by cvoss 4y ago
I guess the ML techniques don't really belong here because they don't contribute to static analysis itself. They are ancillary techniques for improving the usability of a programming assistance / security tool, or they are te
409.
by cvoss 4y ago
But the actual 3D Rubik's Cube is also a really poor representation, because at all times you can only see at most half of the cube. I guess the point of making a 2D representation is to correct that problem. I can much more easily sup
410.
by cvoss 4y ago
UB is not impossible; I think the author is being a little cheeky there. But the standard does grant compilers extreme liberties as far as how they deal with programs which can execute UB. LLVM's choice of what to do with that liberty,
411.
by cvoss 4y ago
My initial interpretation is that social debt is the antithesis of social capital and represents things like burning one's credibility, demonstrating untrustworthiness, losing respect, etc. Some querying on the Internet shows people di
412.
by cvoss 4y ago
For those who'd like to read a quick description of what this video is about: It shows a sequence of integrals following a very simple pattern. The first seven integrals in the sequence all evaluate to pi. The eighth integral inexplica
413.
by cvoss 4y ago
If you're like me and got very excited by teasers like this: > Another interesting thing we noticed is that there is a computable position in infinite chess, such that ... white has a computable strategy defeating any computable str
414.
by cvoss 4y ago
(American native speaker) I do this interjection thing* all the time in both technical and social conversations. I still find this desirable over Zoom/Teams calls, even with video on, because for me the purpose isn't so much check
415.
by cvoss 4y ago
The linked discussion is actually about performing calculus-like operations on type-theory types. (A natural next step after observing the similarities between algebraic types and algebra.) It's not about imposing a type system onto tr
416.
by cvoss 4y ago
Yeah, this ligature struck me as intentionally ironic. Look at it's design: it's an entirely unnecessary loop that goes way up out of the way of the bits that are supposed to be connected and makes a sharp turn. Opposite to the ac
417.
by cvoss 4y ago
Is this person highly cynical about human relationships and emotions and desires? If so, that makes your job a whole lot harder, but you may be able to challenge that by linking a moving work of fiction with an actual closely held relations
418.
by cvoss 4y ago
I would guess that LockSupport.park() and friends have also been adapted to support virtual thread unmounting.
419.
by cvoss 4y ago
The abstraction Unity provides allows you to do neat things without fully understanding the math behind it. But if you don't also learn the math, now you are limited by what those abstractions allow you to do and by the performance cos
420.
by cvoss 4y ago
What criteria would you like to see here?

More ›