Quviq

The QuickCheck company.

[Quviq @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?

[Arjan Scherpenisse @acscherp]

Live from CodeBEAM lite Amsterdam! https://t.co/7kqSBys53b #CBLamsterdam #myelixirstatus @CodeBEAMio @amselixir

[Quviq @quviq]

@cmeik @dt96hasv Aeternity blockchain uses, for security reasons, TCP (actually Noise over TCP https://t.co/Mpue5rZ4L3) for talking to other untrusted nodes.

[Quviq @quviq]

@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].

[Quviq @quviq]

@SAS The form you provide to report webside errors: https://t.co/Fx7WVpDQeG 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.

[Code BEAM @CodeBEAMio]

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 https://t.co/Uhc0Z0e2Z5

[Jesper L. Andersen @jlouis666]

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

[Input Output Group @IOGroup]

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

[Quviq @quviq]

@robertoaloi Probably at cisco... not sure

[Laura M. Castro (moved to the fediverse) @lauramcastro]

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!

[Quviq @quviq]

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

[Quviq @quviq]

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

[Quviq @quviq]

@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.

[æternity Blockchain @aeternity]

The latest #aepps update is now available in the blog! 🌟 https://t.co/KNSlIjAkeG

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

[Mark Phillips 🎈 ☁️ @pharkmillups]

Tomorrow night at MIT I'm talking about the @helium Decentralized Machine Network and giving away 2 Dev Kits (seen here https://t.co/znTDYLFyBK). Join me: https://t.co/vrVNgVzeox

[Jesper L. Andersen @jlouis666]

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.

[Quviq @quviq]

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

[Quviq @quviq]

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

[Lambda Days @LambdaDays]

See the slides for Mary Sheeran's keynote "In Praise of Higher Order Functions" https://t.co/zvhYtLog9x #OMGkrk