Toots for jmid@types.pl account

Written by Jan Midtgaard on 2024-12-24 at 08:38

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

Written by Jan Midtgaard on 2024-11-18 at 12:22

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

Written by Jan Midtgaard on 2024-10-15 at 08:07

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

Written by Jan Midtgaard on 2024-08-26 at 16:01

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

Proxy Information
Original URL
gemini://mastogem.picasoft.net/profile/109648463521423780
Status Code
Success (20)
Meta
text/gemini
Capsule Response Time
331.460909 milliseconds
Gemini-to-HTML Time
0.753472 milliseconds

This content has been proxied by September (3851b).