zzhelezc

4 ms·

1. 1.▲
   by zzhelezc 2y ago

   From the BBC's cyber correspondent Joe Tidy [1]: > A "content update" is how it was described. So, it wasn’t a major refresh of the cyber security software. It could have been something as innocuous as the changing of a fo
2. 2.▲
   by zzhelezc 2y ago

   These might be useful - Programming With Categories [1] and Category Theory for Programmers [2] (also on YT [3]). [1] http://brendanfong.com/programmingcats.html [2] https://bartoszmilewski.com/2014/10&
3. 3.▲
   by zzhelezc 3y ago

   http://brendanfong.com/programmingcats_files/cats4progs-DRAF...
4. 4.▲
   by zzhelezc 3y ago

   Wow, I didn’t expect to see ZX here. Its related to my PhD. You can find a lot of ZX related literature on [1]. [2] is a really nice introduction. If you want to play with it in python take a look at pyzx [3]. [1] https://zxcalcu
5. 5.▲
   by zzhelezc 5y ago

   What about notes? Is there a way to add notes to highlights? It would be nice if they are also displayed on the side.
6. 6.▲
   by zzhelezc 5y ago

   Another category theory resource you may find interesting is Category theory for programmers by Bartosz Milewski. He also has a great video course on youtube. If you want a taste of what category theory is, you can checkout his interview on