
Tomaž Fleischman
@t_fleischman
Multilateral obligation clearing researcher and advocate for collaborative finance models.
ID: 1469791772
http://www.linkedin.com/in/tomazfleischman 30-05-2013 13:49:33
1,1K Tweet
416 Followers
843 Following


Join Informal Spaces tmrw Dec 19 at 8AM PST to be the first to kick off Malachite's launch with guests from Farcaster, Left Curve Software, Seismic, Kasar, Starknet 🐺🐱, Binary Builders and more! Don’t miss out, set your reminders: x.com/i/spaces/1vAxR… (1/2)




Meet the genesis members of Zenrock’s primary dMPC keyring 🔑 👀 Nethermind QuickNode InfStones Global Informal Systems 🌱 Lavender.Five Nodes 🐝 BCW Group (We're Hiring, DM Us) and Silk Nodes 🧵 Check out the thread on the role of a dMPC network





Quint: A modern and executable specification language w/ Gabriela Moreira 00:00 Quint intro 07:29 Background 12:05 Formal Verification 19:20 TLA+ 24:05 Languages 25:51 TLA+ vs Quint 29:07 using Quint 38:48 Misconceptions 48:43 Check it out!



We have completed another audit of the XRPL EVM Sidechain and Axelar integration with Informal Systems 🌱 working with our partners Peersyst Technology and Axelar Network. Check out the blog here dev.to/ripplexdev/str…







