Jack Vanlightly

Output trace in a sequencediagram.org format

2

https://sequencediagram.org is a very easy to use sequence diagramming tool that has a relatively simple text format. It would be nice to have TLC output a trace in this text...

Specialized nodes

3

I was interesting in modelling Apache BookKeeper, to compare the experience of my modelling it with TLA+. One slight difficulty with BK is that there are 3 node types: metadata_store...

Remove log.flush.interval.messages from Kafka server.properties

3

Apache Kafka flush behavior can be set from the driver config so it is best to leave log.flush.interval.messages out of server properties. Many users who benchmark Kafka from this copy...

aws.secretsmanager package

5

Hi, I need to access AWS Secrets Manager secrets from R scripts. I have started work on an R package specifically for Secrets Manager, I would be happy to contribute...

Silently fails to set primed variables

1

I have an issue where it fails with the error `Cannot read properties of null (reading 'fingerprint')` This issue is that 4 primed variables remain null at the time the...

I have a specification that, in a LET, can set a value to either a model value called `None`, or a record value. This breaks TLA web with the following...