zzhelezc
Re:Windows Bluescreen and Boot Loops (update: caused by a Crowdstrike ...
on Friday July 19, 2024 @11:12AM (#41007328)
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:Category Theory for Programming
on Monday November 06, 2023 @06:46PM (#38170978)
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].
Re:Show HN: Sioyek – PDF viewer for reading research papers and textbooks
on Saturday February 19, 2022 @07:34AM (#30396661)
What about notes? Is there a way to add notes to highlights? It would be nice if they are also displayed on the side.
Re:Ask HN: Solving problems by mapping to other problems that we know ...
on Tuesday January 18, 2022 @05:38AM (#29977316)
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.