$611 Million in Cryptocurrencies Stolen in Massive Hack
But they (Poly Network, the ones that were hacked) have the solution: ask the hacker nicely to return the money.
https://twitter.com/PolyNetwork2/status/1425123153009803267
Edit: it worked (half): TECH Hackers return nearly half of the $600 million they stole in one of the biggest crypto heists
Wow changes will be committed straight to main 
Now if PR etc. and rust analyzer then that’s cool, but you see where it’s all going. Yip all code in there and all dev in there, quite a capture of an audience.
Finally, in other news…
https://twitter.com/gucci_bagel/status/1424765193465303043?s=20
This ‘.’ thing… for git hub,
This is amazing.
I must admit, it’s an impressive feature, but I won’t be moving to a ‘Codespace’ for my development environment. I really don’t like a prescriptive dev experience. I spent a lot of time customising my development environment and I enjoy that.
You’ll need to pry nvim and my terminal from my cold, dead hands 
. Developing in a browser or over an SSH connection will never be as good as a fast editor on a physical machine with an SSD.
At odds with Freedom…
Australians living overseas could be “trapped” in Australia if they return, after the nation’s government tightened its border rules without notice.
A survey found 81.8% of Americans support the idea of vaccine passports, digital or physical proof of vaccination against Covid.
but Governments know best and never make errors; so, nothing to worry about…
or bad policy always starts with a good idea and then slips.
Talking about the Australian Federal Government, they have gone from being smart about how they approached the virus (last year) to downright idiotic and leaving it to the state governments to try and fix things.
The problem with DeFi in a nutshell (seems fair):
Doesn’t sound insanely different than what Safe is doing. Actually, the CRDT-tree could probably replicate just what they are doing.
Yeah, they also realized total order is a big bottleneck. It’s a permissioned system though.
Always comes down to validations of some kind and how ever do you trust them? Well you spend a decade in R&D figuring out how to create a distributed trust less systems that can prevent Sybil attacks and like you said, doesn’t have total order. People better appreciate how special Safe Network is.
Privacy. Security. Freedom
Is this binance smart chain? I’m curious if it’s a ethereum fork because I don’t think much of Turing complete Solidity to code smart contracts. I think formal verification that Tezos and Cardano use is the best way forward for smart contracts.
Mark my words. If we want #smartcontracts to work on Safe Network and not be prone to hacks, nasty bugs, etc then we need to build with FORMAL VERIFICATION. Otherwise people will lose funds and we don’t want that or the bad look it will give us.
Agree the whole Turing complete thing is a bit of a farce to be honest. Marketing took over sense there. I feel it has to be a formally verifiable DSL, probably harder to use (although need not be) and not as flexible (almost certainly), but security and correctness may require that small price.
DSL as in domain specific language? This would be specific to Safe and Network Agreed Logic (NAL)?
Edit: perhaps something like K Framework could help build such a DSL?