Tell HN: Postmark Is Down
I use Postmark for a time-sensitive emails: OTP, password recovery, sign up, etc.My emails have been "queued" for 30+ minutes. This is unacceptable. I cannot recommend Postmark to anyone building a business.
I use Postmark for a time-sensitive emails: OTP, password recovery, sign up, etc.My emails have been "queued" for 30+ minutes. This is unacceptable. I cannot recommend Postmark to anyone building a business.
It essentially causes neurodegenerative diseases, especially if you inhale it.
This applies to unintuitive routes of exposure, like taking a hot shower on an Air Force base that used flame retardant in fire drills decades prior and breathing in the water suspended in air.
I thought, why should we try to intervene with millions of years of evolution? Inflammation has to be there for a reason. Nitpick that statement all you want but in this specific case I'm glad I didn't mitigate the inflammation.
I was unaware of the acronym HELM and told everyone I was doing the exact opposite of RICE on purpose.
The link between BMAA (from toxic algae blooms) and neurodegenerative diseases in predisposed people is basically causal and proven at this point, but it's allegedly suppressed by Big Fishing and Aquaculture.
You may be right. There are many other components contributing to the problem in Finland, too.
I think I'm also wrong.
I thought about my original response some more and this is a more coherent version of what I was trying to say:
A problem being in NP is sufficient but not necessary to reduce it to an NP-complete problem.
But that's wrong. It's both sufficient and necessary to be in NP. It intuitively feels like you're tacking on more than you need to by introducing the "necessary" constraint, but it makes sense.
The reason why your statement is confusing to me is that if you generalize it beyond NP, it breaks down; for an arbitrarily hard complexity class M and an arbitrary M-hard problem, you don't need to be in M to be able to find a reduction to the M-hard problem.
You're confused here. The two conditions for a problem being NP-complete are (1) it being NP-hard and (2) it being in NP.
You suggest (2) is the issue, but usually it's harder to prove (1) rather than (2). In the context of factorization problems, the factors are simply the certificate that satisfy condition (2).
But hamburgers and dildos are good. It's not pleasure itself that has an ugly face; rather, it's seeking pleasure in spite of the cost to others.
You offer spiritualism as a cure. I think our higher end should be not spiritualism but the well-being of those we care about.
It's nice that spiritualism covers all bases: you should care about and help your friends and family; you should practice gratitude; etc. But we should state those things directly, lest fundamentalist screwball ideas like restriction of individual expression creep in under the guise of moral righteousness.
I say "unsubstantiated" because a cursory web search didn't turn anything up. Anecdotally, it seems true.
I'm also working on a Rust+WASM+WebGPU game from scratch. The process has been absolutely wonderful.
The stack (or, more generally, game dev from scratch) touches so many important CS concepts: computer architecture and systems programming at the bottom, all the way up to extremely abstract programming language theory and front end web dev at the top. Add in networking and your own distribution platform (even a simple REST website) and you end up doing and learning more than you would in most CS programs.
Hello, HN!I've taken a few months off between jobs and decided to properly build something I've wanted for a while now.MemKit is the spaced-repetition flashcard app I've always wanted. Here's what I mean by "what I've always wanted":- Minimal friction to use. You can immediately start using the app. You are automatically given an account. You don't have to sign up or type in a username or...
The word "certification" can be read as "proof" without loss of meaning.
What you're asking is slightly different: whether the proof-checking problem in logic is NP. I don't know enough math to know for sure, but assuming that any proof can be found in polynomial time by a non-deterministic Turing machine and that such a proof is polynomial in length, then yes, the proof-checking problem is in NP.
It would help your understanding and everyone else's if you separated the search problem for a proof from the verification problem of a proof. Something is NP when you can provide verification that runs in polynomial time. The lesser spoken about second condition is that the search problem must be solved in polynomial time by a non-deterministic Turing machine. Problems which don't meet the second condition are generally only of theoretical value.
I guess what I'm trying to say is: If we could magically determine the truthiness of all these statements and I had to bet money, I would take my side.
This is the real world, not a philosophical sandbox. I understand that a person's character should be ontologically castrated from their argument in a philosophical sandbox. But 99% of the time that a company does evil shit like this in the real world, they have very strong reason to do so. It's increasingly likely that Monsanto/Bayer don't want the scientific process to run its natural course. They feel the need to intervene. Why?
It's not up for debate. It happened.
We know the threats, harassment, surveillance, and bribery happened. We know the specific people, the specific threats, the specific dollar amounts.