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! 🎄🎅 🎁 😄
https://tarides.com/blog/2024-12-23-multicore-property-based-tests-for-ocaml-5-challenges-and-lessons-learned/
[#]ocaml #pbt #fp #functionalprogramming #quickcheck
=> More informations about this toot | View the thread
I'll visit Paris this week to give a talk about our efforts to drill OCaml 5 with property-based tests: https://sites.google.com/view/gdr-gpl-mtv2/manifestations-mtv2/21-11-2024
Ping me if we should hook up for a coffee or a beer... ☕🍺
[#]pbt #quickcheck #ocaml
=> More informations about this toot | View the thread
This description from a crash fix PR yesterday by Stephen Dolan put a smile on my face: 😀
"With the old code, the following sequence of unfortunate events can occur, if you are very, very unlucky (or you are @jmid with multicoretests, manufacturing bad luck on an industrial scale):"
https://github.com/ocaml/ocaml/pull/13549
[#]quickcheck #pbt #propertybasedtesting
=> More informations about this toot | View the thread
Anyone in my circles that will attend ICFP in Milan next week? I'll attend Fri+Sat for the *ML workshops myself
https://icfp24.sigplan.org/
=> More informations about this toot | View the thread
=> This profile with reblog | Go to jmid@types.pl account This content has been proxied by September (3851b).Proxy Information
text/gemini