News for hackers. Stuff that matters.

zzhelezc

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 font or logo on the software design.

He can't be serious, right? Right?

[1] https://www.bbc.co.uk/news/live/cnk4jdwp49et?post=asset%3Abd...

Re:Category Theory Using String Diagrams (2014) on Saturday June 29, 2024 @05:54AM (#40829050)
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/28/category-theory-for-p...

[3] https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI...

Re:Introduction to the ZX-Calculus on Tuesday June 06, 2023 @04:50PM (#36218945)
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://zxcalculus.com/

[2] https://arxiv.org/abs/2012.13966

[3] https://github.com/Quantomatic/pyzx

What about notes? Is there a way to add notes to highlights? It would be nice if they are also displayed on the side.
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 corecursive.

https://github.com/hmemcpy/milewski-ctfp-pdf