New blog post: Re-basing webfinger-rs on fluent-uri-rs

https://underlap.org/re-basing-webfinger-rs-on-fluent-uri-rs

#WebFinger #SoftwareStandards #RustLang

New blog post: Process algebra and JSONPath descendant segment semantics
https://underlap.org/process-algebra-and-jsonpath-descendant-segment-semantics

#JSONPath #SoftwareStandards #ProcessAlgebra #FailuresDivergenceRefinement #CommunicatingSequentialProcesses #FormalMethods

Non-deterministic behaviour in a specification can be a headache for testing. This updated post explores the non-determinism in the JSONPath RFC 9535, describes how the Compliance Test Suite is being upgraded to deal with non-determinism, and shows how non-deterministic tests can be generated automatically. There's also an "explosive" challenge for Haskell programmers.

https://underlap.org/testing-non-determinism

#Haskell #SoftwareTesting #SoftwareStandards #PerformanceOptimisation

The IETF have kindly cross-posted a minor variation of my post to their blog: https://www.ietf.org/blog/jsonpath-rfc/

#IETF #RFC9535 #JSONPath #SoftwareStandards

The JSONPath RFC 9535 has been published.

https://www.rfc-editor.org/rfc/rfc9535.html

That was 17 years since the original JSONPath blog post and a little over three years since a number of us started collaborating on an internet draft.

Read the full story from my perspective here: https://underlap.org/jsonpath-from-blog-post-to-rfc-in-17-years

#SoftwareStandards #IETF #JSONPath #RFC9535