#pbt — Public Fediverse posts

Spent a couple hours today working with a colleague on a property test using #eris. We found one bug in the implementation of our oracle, which proved that our production code was actually doing the right thing, though it's unclear if that was deliberate or accidental. After that we increased the number of samples to 1000 which actually seems to have uncovered another bug.

Really cool to finally have a good use case for property based testing.

#php #propertybasedtesting #pbt #phpunit

Hegel, a universal property-based testing protocol and family of PBT libraries

https://hegel.dev

#HackerNews #Hegel #PBT #propertybasedtesting #softwaredevelopment #testinglibraries

https://www.europesays.com/ie/317550/ ATK Yogo 75 Keyboard Gets Extended Kickstarter Ahead of Imminent Launch #2.4Ghz #Ahead #atk #AtkGear #bluetooth #ChocV2 #customization #Éire #extended #gets #Https://www.techpowerup.com/345915/atkYogo75KeyboardGetsExtendedKickstarterAheadOfImminentLaunch #IE #Imminent #Ireland #kailh #keyboard #keychron #kickstart #kickstarter #launch #LinearSwitch #News #pbt #rgb #Technology #USBC #via #yogo

So what have you been up to lately, Jan?
Meh, some renaming 🐫🎄🎅
https://discuss.ocaml.org/t/ann-qcheck-0-90-the-great-renaming/17613
#ocaml #quickcheck #pbt #propertybasedtesting

About the efficacy of Property Based Testing. According to the study it's better than I (as a supporter) would have guessed.
https://dl.acm.org/doi/10.1145/3764068

#propertyBasedTesting #pbt

Started hacking on a shrinker (reducer) of floats for QCheck a while back - and struggled. Yesterday I finally made some progress and now opened a PR for it:
https://github.com/c-cube/qcheck/pull/357 ✂️ 🔢 🤓

#ocaml #pbt #quickcheck

Here's a preprint of the paper I wrote up for Olivier's festscrift 🎉 🍾

Property-Based Testing of OCaml 5's Runtime System:
Fun and Segfaults with Interpreters and State Transition Functions

We describe our effort on using property-based testing to test the OCaml 5 multicore runtime system. In particular, we cover three case studies of increasing complexity that utilize a model-based state machine framework: (a) Testing the Array module, (b) testing weak hash sets, and (c) testing the garbage collector, with the latter two behaving non-deterministically from the point of view of the blackbox testing process. We evaluate the approach empirically by analyzing the bugs found, and discuss both limitations and challenges we have met underway.

https://janmidtgaard.dk/papers/Midtgaard%3aOLIVIERFEST25.pdf

#ocaml #pbt #quickcheck #preprint

My little pet project marks an important milestone:
My small library for generating strings based on given regular expressions is now feature-complete with support for all advanced regex-based string generation use cases. #PBT #Java
https://github.com/SimY4/coregex/releases/tag/v1.4.0

preparing a crappy code base for a talk/workshop always requires disabling many IDE & compiler warnings
#dotnet #pbt #FSharp #CSharp

Over the past couple of days, I've been scratching a 3-year old QCheck(2) itch
https://github.com/c-cube/qcheck/pull/319
It's nice to finally make progress on it! 😃
#ocaml #quickcheck #pbt #fp

have I mentioned how much I like the new #dotnet #cli?
#FSharp and #CSharp hand in hand with #pbt

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

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

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

Keebin’ with Kristina: the One with the 24-Hour Macro Pad - They say Rome wasn’t built in a day, but this great little music-controlling macro... - https://hackaday.com/2024/07/15/keebin-with-kristina-the-one-with-the-24-hour-macro-pad/ #peripheralshacks #dyeingkeycaps #helios-klimax #fifikeyboard #keycapdyeing #gettingawin #moonlander #smartring #featured #macropad #macropad #helios #pbt

The Magic of Property Testing
https://www.youtube.com/watch?v=4bpc8NpNHRc

@krisajenkins followed up on Property-Based Testing and I love the demo.

Also #Purescript looks cools

#pbt

Maybe someday, good buddy. #memes #vegan #veganmemes #savevalpo #govegan #pbt :vegan:

A #briefing session was conducted by Land Public Transport Agency (#APAD) at Shah Alam City Council (#MBSA) during the One Stop Centre Committee Meeting on 23 August 2023.

The briefing is for the purpose of explaining about the #Railway Protection Zone (#ZPK) to the Local Planning #Authority (#PBT).

Verdomme. Worden morgen de dagen alweer korter… #pBT

Easter’s Over, But You Can Still Dye Keycaps - While it’s true that keycap colorways abound these days, one can’t always find exa... - https://hackaday.com/2023/05/04/easters-over-but-you-can-still-dye-keycaps/ #chemistryhacks #pbtkeycaps #mischacks #keycaps #keycaps #ritdye #pbt

I got a #Leopold FC980C for my bday bc I wanted to see what #Topre switches were like. It was specifically ordered from a Korean importer bc I wanted 한글 #keycaps. The switches sound great, though I wish it had 45g vs 30g actuation force. I tend to rest my hands on the home row and I've unintentionally inserted characters into docs I'm reading a lot. The #pbt keycaps feel wonderful, but they're black-on-black which defeats the purpose of using this keyboard to better my 한글 typing proficiency.

Huge 🇪🇺 #chemical safety news! This morning the new hazard classifications #PMT, #vPvM, #PBT, #vPvB and #EDC in the #CLP were published in the EU Official Journal! This means they will be enforced starting April 20’th!!

https://eur-lex.europa.eu/legal-content/EN/TXT/PDF/?uri=OJ:L:2023:093:FULL&from=EN

#PFAS @ZeroPM_H2020

By the way, this is the XDA Keycap embossment with laser machine, 50 watt fiber machine.

This keycap embossment consists of 3 passes of laser, with 15% strength. It looks way better on hand. 20% burns the plastic. I may try maybe 17% with my friend for the next time. We used all the keycaps.

The machine was was offline though, so the coolest figure I could come up with was from the wingdings font 😆

#xda #pbt #keycap #engraving #embossment #diy #mechanicalkeyboard #wingdings #font

For those of you interested, this is the letter I sent to son’s school about how their #communication belies their actions and triggers major #anxiety, with names obscured. @actuallyautistic #ActuallyAutistic #AutisticAF #ABA #PBT #ParentingWhileAutistic #AutisticBurnout #AutisticParenting #unmasking #SelfAdvocate

Best meeting advert ever? I signed up!

Come to #Gothenburg for a workshop on Achieving Zero Pollution
- Chemical Alternatives
- Policy Action
- Market Transition
#PFAS #PBT #PMT #Pollution #PersistentChemicals
@ALennquist @ZeroPM_H2020 @hanspeterarp

https://www.youtube.com/watch?v=XYdIrQClUSI&t=110s

In the end, here it came my new #mechanical #keyboard.
The case is a barebone #Glorious #GMMK 1, #ISO #TKL.
Switches are #Gateron #SMD blue.
Keycaps are #YMDK #Dolch #PBT side-printed, full 125 set plus #Italian and German sets, mixed together to create the Italian 142 layout on the keyboard.
So, in the end "Dr. Black", my new keyboard, is here.
I think I'll post something as soon as possible on @marco-bresciani

And I'm going to buy from #YMDK.

Already prepared my (almost) perfect configuration:
* 65% format,
* #QMK-compatible PCB,
* #Outemu blue switches (with Cherry, too expensive...)
* #ISO #Italian layout
* Detachable USB cable (coiled, but no one's perfect)
* No RGB ✌🏻
* #PBT keycaps with side-printed laser-etched labels (double-shot are better, but black+gray keycaps with side-print only are cool... 🥹😈)

It's €160 plus #VAT. Not cheap, but still a custom #keyboard with nice and cool features!

In the end, I've decided something a bit different: just found (and bought!) from Amazon a #Royal #Kludge #RK61 60% #keyboard with #blue #switches, Italian ISO layout and even double-shot #PBT #keycaps for €80!
It's a 60% so arrows as secondary functions. But still it's Amazon: I'll try it and if won't like it, I can simply return it .. and probably do for the #YMDK one.

In the end, I've decided something a bit different: just found (and bought!) from Amazon a #Royal #Kludge #RK61 60% #keyboard with #blue #switches, Italian ISO layout and even double-shot #PBT #keycaps for €80!
It's a 60% so arrows as secondary functions. But still it's Amazon: I'll try it and if won't like it, I can simply return it .. and probably do for the #YMDK one.

In the end, I've decided something a bit different: just found (and bought!) from Amazon a #Royal #Kludge #RK61 60% #keyboard with #blue #switches, Italian ISO layout and even double-shot #PBT #keycaps for €80!
It's a 60% so arrows as secondary functions. But still it's Amazon: I'll try it and if won't like it, I can simply return it .. and probably do for the #YMDK one.