Christian Lewe

Computer science, mathematics, logic, cryptography, complexity theory, philosophy, languages.

[Christian Lewe @uncomputab1e]

@robin_linus @Snyke There is a crate that documents each jet. The crate is about the high-level language on top of Simplicity, but the jets are the same. https://t.co/L8MufAvtCY

[Christian Lewe @uncomputab1e]

@tierotiero @karliatto It is plausible that Simfony could be compiled to Bitcoin Script, maybe through BitVM.

[Christian Lewe @uncomputab1e]

@cryptoquick @btcplusplus @super_testnet @stevenroose3 @salvatoshi @reardencode @ludovic @brqgoo @tierotiero @johanth @plebhash @benthecarman We have a testnet, but Liquid doesn't support Simplicity yet. As always, we are working on better tooling 😁 There is a website that let's you run Simplicity contracts in a sandbox.

[Christian Lewe @uncomputab1e]

@boyacaxa @nixbitcoinorg @btcplusplus It's correct. uncomputable was taken by a Russian user so I substituted the l with a 1 😉