the api page doesn't seem to work.

this is the best resource for getting started, with tangible examples on every topic.

is the profiler a home-grown one? or publicly available?

Looks like Chrome Dev Tools: https://developer.chrome.com/docs/devtools/evaluate-performa...

the video actually features the second author of the paper.

I used to have a plethora of offline materials on my pc to delve into, if the internet was down or someone had to use the phone line; nowadays internet’s been shoved down our throats in many aspects that once there’s a network outage, the offline laptop seems useless, unfortunately for the wrong reasons...

PS: I think we’re all trying to relive bulletin boards days here in the comment section of HN.

There are times that its shortcuts make it convenient for you to work and actually save your time. e.g. pdf editing shortcuts and also facetime shortcuts as well as email writing cpabailities.

2004!

cudnn 7?

"Unfortunately, I was unable to get this feature to work on Linux. This only serves to further prove that people who use Linux are boring and don't have much of a sense of humor."

The Linux equivalent is any time you tell bash "*".