delvingbitcoin

Basic vault prototype using OP_CAT

Basic vault prototype using OP_CAT

Original Postby rijndael

Posted on: April 21, 2024 21:02 UTC

The person expresses appreciation for the information shared, indicating a background in using TLA+ for modeling tasks.

They also mention an interest in exploring Alloy, a tool they have been intending to examine. Further, they express intent to review the analysis provided in another thread, thanking the sharer for the contribution. This exchange highlights the collaborative nature of sharing technical resources and knowledge within the community, as well as the continuous learning mindset prevalent among programmers.

Bitcoin Logo

TLDR

Join Our Newsletter

We’ll email you summaries of the latest discussions from authoritative bitcoin sources, like bitcoin-dev, lightning-dev, and Delving Bitcoin.

Explore all Products

ChatBTC imageBitcoin searchBitcoin TranscriptsSaving SatoshiBitcoin Transcripts Review
Built with 🧡 by the Bitcoin Dev Project
View our public visitor count

We'd love to hear your feedback on this project?

Give Feedback