Tyson Williams

I can't stand X anymore. I have switched to Mastadon: @TysonMN" target="_blank" rel="nofollow noopener">mastodon.social/@TysonMN

@ploeh @xkcdComic You're welcome :) @ChatGPTapp found it chatgpt.com/share/68fcf8c7…

@tyson_mn @xkcdComic Yes, that's the one. Thank you 👍

I seem to recall an @xkcdComic where aliens visit Earth to share that the key to advanced technology is to use a p-value of 0.03 (not 0.05), but I can't find it. Is it something I only dreamt?

@ploeh @xkcdComic For the record, there is a second one about alien visitors xkcd.com/2478/

@tyson_mn @xkcdComic Thanks, but it wasn't that one. I must have imagined things.

@ploeh > truncated search tree This is known as a branch and bound: en.wikipedia.org/wiki/Branch_an…

New article: Das verflixte Hunde-Spiel. blog.ploeh.dk/2024/10/03/das…

At @forwardnetworks, we typically don't add such a test. Instead, in the body of the commit message, we include the reports from performance runs for a recent previous commit and the current commit.

@ploeh, do you use TDD to make performance improvements? That is, if you want to make some production code use less time, do you always write a test that fails without that optimization?

@nikosbaxevanis @ploeh @dharmaturtle @cmeeren Sorry for the delayed reply. We don't currently support Async<> for Task<>, but I think this is possible. I created an issue for this. github.com/hedgehogqa/fsh…

@nikosbaxevanis @ploeh @dharmaturtle @cmeeren Oh, just saw this. I will check later today.

@tyson_mn @nikosbaxevanis How do I write an asynchronous #fsharp Hedgehog property (preferably with System.Threading.Tasks)?

@ploeh Yes, as long as your cache doesn't grow. That is what I meant.

@tyson_mn Besides, even if you're concerned about memory footprint of a memoised function, couldn't you address that with cache eviction?

@tyson_mn I've been thinking about your distinction between purity and referential transparency, as we discussed in Minneapolis in November. Would you agree that memoisation is another example of an operation that is referentially transparent, yet impure?

@ploeh I got it. Have the higher-order function that takes a function and returns a memoized function allocate (on the heap) the entire cache. Then it is not possible for the memoized function to have an out of memory exception (because of the memoization). Now this is a great example.

@ploeh If you put a reasonable bound on the size of the cache, then I think this is a solid example.

@unclebobmartin I think you are assuming that the (Typed) language is Turing complete.

Typed languages are fine, as far as they go. But unless the type system is Turing complete, type correctness cannot imply program correctness. If your type system is Turing complete then I dare say you’ll want to unit test your types.

@KateJBaer, I think a coffee mug with covered up words that reappear when the mug gets hot would make a great medium for your erasure poetry. (Keep up the good work!) barnesandnoble.com/w/banned-books…

@joshuamck @ploeh This can also be true for deterministic tests while doing TDD in a large code base because not all code is equally clear to all developers even when they made the test fail two minutes ago with their small code change.

@joshuamck @ploeh At my work, we phase the goal as making test failures actionable. I agree with Josh that long-running tests and non-deterministic tests are better when they have actionable failure messages.

New article: When do tests fail? ift.tt/SujfqWc