#QuickCheck

Sentry Custom Security

@sentrycustom.bsky.social

3 months ago

Sentry's QuickCheck-X™ - The Quickest Way to Your Next Great Read. Fully compatible with Windows 10 & 11 and best of all, No yearly software license fees! #Sentry #SentryCustomSecurity #QuickCheck #QuickCheckX www.sentrycustom.com/product-video/

rsnikhil.bsky.social

@rsnikhil.bsky.social

3 months ago

#NEPLS New England Programming Languages and Systems Symposium
#RISCV #RVI #Haskell #QuickCheck #PBT
#Sail DSL for ISA Formal Specs
#TestRIG uses #Haskell #QuickCheck

Onkel Schrullich

@peterhellinger.bsky.social

7 months ago

"Wir erstellen Ihnen einen kostenlosen Quick Fick!"
#lesefehler #quickcheck #peinlich

Marie-Pierre Cleret

@marie-pierre.bsky.social

8 months ago

#PSA
#Quickcheck:
#AreYOUwhiteenoughforGOP?

Sausage Dog Hotel

@sausagedoghotel.bsky.social

11 months ago

Lotti & Charlie inspecting/welcoming Elly to the gang when she arrived a couple days ago... #NewFriends #QuickCheck

Jan Midtgaard

@janmidtgaard.bsky.social

1 year ago

QCheck(2) hacking continues: 💻
github.com/c-cube/qchec...
Replacing an RNG split hack with faster, gastly Obj.magic one, QCheck2 on OCaml 4 starts to work reasonably 🤓
#ocaml #quickcheck #pbt

Jan Midtgaard

@janmidtgaard.bsky.social

1 year ago

QCheck2 shrinker improvements to list, array, bytes, strings, and functions by jmid · Pull Request #319 · c-cube/qcheck This PR takes a first step towards improving the QCheck2 list shrinker. The current one uses the input size tree and offers only prefixes, e.g., shrinking [1;2;3;4;5;6;7;8] to [], [1;2;3;4], [1;2;3...

Over the past couple of days, I've been scratching a 3-year old QCheck(2) itch github.com/c-cube/qchec...

It's nice to finally make progress on it! 😃
#ocaml #quickcheck #pbt #fp

Doc_B

@docb.bsky.social

1 year ago

#quickcheck #Parfüm
Mein neuester Zugang:
Ormonde Man Parfum von Ormonde Jayne London:
echt betörender lumberjackduft, balsamig, holzig, tannig, cremig, modern, sexy...wow!🥰 #scent

Jan Midtgaard

@janmidtgaard.bsky.social

1 year ago

TIL that multicoretests has entered Debian tracker.debian.org/pkg/ocaml-mu... and Arch('s user repo) aur.archlinux.org/packages/oca... 😮🎉 #ocaml #pbt #quickcheck #fp

Jan Midtgaard

@janmidtgaard.bsky.social

1 year ago

Multicore Property-Based Tests for OCaml 5: Challenges and Lessons Learned We summarise the challenges and lessons learned in developing a test suite of property-based tests to help ensure the correctness of OCaml 5.

I've written up part 2 on our effort to utilize property-based testing to stress test the OCaml 5 run time system. Happy Christmas reading! 🎄🎅 🎁 😄
tarides.com/blog/2024-12...
#ocaml #pbt #fp #functionalprogramming #quickcheck

Mike Matei

@mikematei.bsky.social

1 year ago

Which holiday coffee cup is better? Wawa vs Quick Check? #nj #wawa #quickcheck

Sentry Custom Security

@sentrycustom.bsky.social

1 year ago

Introducing Sentry's New and Improved QuickCheck QC-6™, And best of all, No yearly software license fees!! #Sentry #SentryCustomSecurity #SelfCheck #Library #LibrarySelfCheck #QuickCheck #QC6 #New #Improved sentrycustom.com/product-video/

AIYANA FIGUEROA ROBERT

@aiyana679.bsky.social

1 year ago

90’s kids UNITE! 🥹 Talk about a THROWBACK 😭 This Berry Blast flavor is elite! 💙💙💙 Available exclusively at Quick Check for the rest of 2024, launching nationally in 2025! 🤩✅ Let me know your favorite flavor when you try it! 🍼✨

#BBPTwisters 😊 #quickcheck #candylover #sweettooth #90s #90skids

Ian

@ian262.com

8 years ago

Love @Waitrose #QuickCheck.

It would be even better if the partners knew how it worked and what to do and didn’t look dumbfounded...