odavy37

file encoding on Linux / Windows

2

Dear Sir, I am using pyFileFicity which is a very efficient tool. But the output files for checksum / header / ECC seem to be OS depended (charset dependent), which...

Dear Sir or Madam, would you agree to add the type Probability = Refined Interval.Closed[0d, 1d] in addition to Positive, NonNegative, etc. It is useful for engineering factor, probabilistic computations,...

Dear Sir / Madam, I'd like to create a newtype + Squant Type + Refined Type For example : the cost (capex) of a power plant is a Money +...

validation done by parse and safeApply functions of Uri

1

Hi, I cannot understand the parse and safeApply functions of Uri The following unit tests are OK. import sttp.model.Uri // scheme:[//[user:password@]host[:port]]path[?query][#fragment] assert(Uri.safeApply("http://example.com/path?query=123#frag").isRight) assert(Uri.safeApply("mailto:[email protected]").isRight) assert(Uri.safeApply("ftp://user:[email protected]:21/files").isRight) But the following unit tests are...

Clikt 5.0.3 : NoClassDefFoundError: kotlin/jdk7/AutoCloseableKt

2

Dear Sir or Madam, in production, after a long run (> 24 hours), my java batch run into the following exception: Exception in thread "main" java.lang.NoClassDefFoundError: kotlin/jdk7/AutoCloseableKt at com.github.ajalt.clikt.core.CoreCliktCommandKt.parse(CoreCliktCommand.kt:119) at...

STimeout for validation of a simple combination of cards

2

Dear Sir or Madam, I tried to validate some simple program computing High Card Point of a Deck of 52 cards for Bridge Card Game. The example seems very simple,...