WARNING: “substitutions” are just text substitutions, while “attachments” are being added to the current message as attachments Also don’t forget to put your token in token.txt, you know… attachments.json SHOULD NOT BE FILLED MANUALLY!substitutions.json SHOULD BE FILLED MANUALLY! (format: {“pattern”: “substitution”, “pattern”: “substitution”, …}) uline and cross do not depend on any of the configs.If you surround some text with the uline macro, the text surrounded will be underlined,if you surround some text with the cross macro, the text surrounded […]

This is a tool for generating sequence diagrams fromTLC state traces. It producesSVGs that look like: or like this PDF. This tool is licensed under the MIT license. Copyright: Erkki Seppälä [email protected] 2022 You can contact me also viaMatrix. What is TLA+? TLA+ (Temporal Logic of Actions+) is a way to describe the behavior ofan algorithm or a system at a high, yet in a very mathematicallyprecise manner. This allows one to reason about the system behavior ina more accurate […]

aio-message-handler A simple asyncio compatible consumer for handling amqp messages. Installation pip install aio-message-handler Usage example Simple consumer: import asyncio from aio_message_handler.consumer import Consumer async def main(): consumer = Consumer(“amqp://guest:[email protected]/”) @consumer.message_handler(exchange=”myexchange”, binding_key=”key”) async def handler(msg): print(‘received:’, msg.body) msg.ack() await consumer.start() asyncio.run(main())    

Inviare messaggi tramite app IO a partire da dati contenuti in file .csv –> Nessun obbligo, ma in caso di clonazione o uso del programma ci farebbe piacere che lasciaste due righe nel Libro degli ospiti o su forum.italia.it L’uso di parlaConIO è “a rischio e pericolo” di chi lo esegue, non possiamo fornire alcuna garanzia.