12:52hard fork 0 + Bitcoin surpasses $9,000 setting another yearly record10:00Tezos 1 + Crypto Market Wrap: Litecoin Leading Markets Higher With 10% Pump
11:00market wrap 0 + $10 Billion Flows Back into Crypto Markets Despite Binance FUD19:30solidity 0 + Microsoft releases Ethereum-based open-source formal verification tool for Solidity smart contracts
19:30solidity 0 + Microsoft releases Ethereum-based open-source formal verification tool for Solidity smart contracts
