Quviq

@cmeik Ouch, still a long way to go to get Riak running on OTP20? Is it possible to run OTP20 tests against an OTP18 cluster?

Live from CodeBEAM lite Amsterdam! youtube.com/watch?v=nTxSbA… #CBLamsterdam #myelixirstatus @CodeBEAMio @amselixir

@cmeik @dt96hasv Aeternity blockchain uses, for security reasons, TCP (actually Noise over TCP github.com/aeternity/enoi…) for talking to other untrusted nodes.

@gausby or dialyzer believes that there is a guard in that list comprehension that is always false... then the function is never called. Or the generator is an empty list, then it also is never called. [ X || Y <- [], f(Y) > 5].

I know the age old saying: The dialyzer is never wrong. But I am sitting with some code here where it claim a private helper function is never called. The function is used as a filter in a list comprehension. Could this be the one case where the dialyzer is wrong? #erlang

@SAS The form you provide to report webside errors: sas.se/reseinfo/servi… is broken. You cannot submit through this form... which is good for statistics, but rather poor customer experience. Don't worry, it's just a security breach in car rental link I wanted to report.

We have confirmed Thomas Arts to speak at #CBLAmsterdam - @Quviq produce QuickCheck, a tool that automatically generates tests, heavily used in telecom and automotive industries and recently for #blockchain implementations ow.ly/hSGd30lFhp2

GraphQL is so last year. I'll define CategoryTheoryQL!

Property-based testing training sessions in progress with IOHK developers and led by industry expert @rjmh from @quviq, the creator of #QuickCheck. We are excited about this week's learning opportunity in the workshop on functional correctness! #IOHK #technology

@robertoaloi Probably at cisco... not sure

@quviq Do you know if anyone has ever worked on generating a eqc statem from a openapi spec?

Hey, Twitter: I know this is a long shot, but still I want to give it a try. On July 14th we flew SCQ - LGW & met a sweet 4-year-old that gave this little toy to our son as a present. I want him to know he named it Oli (Ollie) after him, so we will always remember him. RT, pls!

@lauramcastro That's weird. Glad it works nevertheless.

@quviq It seems to indeed work, but it still warns me that it is compiled for R20 and I am using R21 :-?

QuickCheck release 1.44.1 now available. This version works on Erlang OTP 21.

@robertoaloi We did not implement that functionality. If really needed, we can do it manually. Since quickcheck-ci is meant to be used on open source projects, there is little reason to be paranoic about having that as an example on our site.

@quviq How to delete a repo from quickcheck-ci.com?

The latest #aepps update is now available in the blog! 🌟 bit.ly/2kepAly Read it to find more about: 🔻 the new version of æpps components 🔻 #aeternity #SmartContracts now on Sophia 🔻 what the æpps team did at the re:publica & Chainges events #blockchain #apps

Tomorrow night at MIT I'm talking about the @helium Decentralized Machine Network and giving away 2 Dev Kits (seen here sparkfun.com/products/14547). Join me: meetup.com/The-Security-o…

Celebrate open source tech that's shaping the world at Stockholm's #OpenErlang party! Join us and @ErlangSolutions on May 31 to celebrate the 20th anniversary of Erlang being #opensource. Let’s flashback to 1998! Party is free but pls RSVP #itspartytime bit.ly/2r3YDUp

Erlang 21-rc1 maps bug found by QuickCheck update: didn't get around to writing up all of the PR, but have a failing test case on 21.0-rc1 which passes on 20.0. I also know why the bug happens: iterators were added to the interface. Have yet to test the iterator API.

@uwiger There's an Erlang temple in China where you can ask for forgiveness when you blame Erlang for your mistakes.

@ezyang When you expect a data update once a second or so, a beating heart may be visual aid to express liveness.

See the slides for Mary Sheeran's keynote "In Praise of Higher Order Functions" ow.ly/YAX730iC1bu #OMGkrk