@selzero

#NotNews24 #UnbreaklingItsTheWeekendNotNews with a #CupOfTea / #Coffee and a #QuickCheck on the #BiscuitAndDieselForecast....?

What's that #AngryOrangeWotsit doing #Now, #MisterDen...?

🧙⚔️🤖🐺🤖⚔️🧙 | ☕🎠🦹🦄🦹🎠☕

#Reality-#Quickcheck für's #Mindset:

Für wen sind
"#groß",
"#schnell" und
"#gut"
#Synonyme?

https://www.wiwo.de/technologie/wirtschaft-von-oben/wirtschaft-von-oben-209-byd-in-china-diese-bilder-sollten-deutschen-autobauern-angst-einjagen/29137732.html?utm_source=pocket-newtab-global-de-DE

#quickcheck but for lisp braces :)

That is the library, by the way. A JavaScript port of Haskell's QuickCheck. Highly recommended:

https://github.com/dubzzz/fast-check

#javascript #quickcheck #fastcheck

Property based testing (aka QuickCheck) is a great bug catcher.

I had now a primitive called "decodeURIComponent" in a DSL, wich I implemented it directly with JavaScript's decodeURIComponent. First, I thought it's silly to even write a test because it must be obviously correct, right? Only to find out that I overlooked the error handling.

If you pass in '%' (an invalid URI), JS decodeURIComponent will throw. In the DSL, the exception needed to be handled.

#quickcheck #javascript #fast-check

For this tool, we transferred empirical data from the Naming the Pain in Requirements Engineering initiative. NaPiRE is a (open data) endeavour by the research community and constitutes a globally distributed, bi-yearly family of surveys on practices and problems in RE. Researchers in RE might find this maybe useful :) 👉 http://www.napire.org/#/explore

#RequirementsEngineering #QuickCheck #EmpiricalSoftwareEngineering #OpenData

FYI I'll be speaking at #HaskellX about property based testing and explaining an approach to shrinking that solves some prevalent annoyances in tools like QuickCheck and Hedgehog.

Would be glad to discuss more before the talk (to make it better) if anybody is interested in this topic!

#Haskell #Elm #PBT #Testing #QuickCheck

The funny story of a bug starring Unicode, C, regexps, libunistring, and ASCII:
https://issues.guix.gnu.org/48114#4

All this because of ⒒ And thanks to #QuickCheck.

"Of course there are many excellent #QuickCheck tutorials out there already. However I found all of them either assumed too much #Haskell knowledge. I hope this post closes a gap in the current menu of tutorials..."

https://jesper.sikanda.be/posts/quickcheck-intro.html

#quickcheck はいいよね!