

B~I~N~A~R~Y.G~E~E~K
1.3K posts

@binary_geek007
∑µ†≈ $ADA $TITAN $BTC $WMTX $LQ If the world end, Let it hear itself ending—in Perfect Pitch-Black. 🌌🌑







All of crypto, connected to Cardano









Write Cardano smart contract in LEAN4, evaluate UPLC with github.com/utxo-company/p…, prove the correctness of LEAN4 expression that defines smart contract, and prove the correctness of compiled UPLC directly using github.com/input-output-h… Everything interactive via LSP



Just set up my first lending pools on @FluidTokens (easy mode) with some ADA and WMTx... Is this a "using Defi"? Ask me anything











Tomorrow, you’ll have the opportunity to invest in our refundable ICO model. The public portal opens at 15:00 UTC First come, first served. 8% of the allocation has already been secured by project investors. Multiple currencies accepted. More information on our discord server!


