Monthly Archives: July 2020

PHP Interactive Shell

I keep forgetting this so many times that I need to make a note of this. This is how you use it: Don’t forget the semicolons and remember PHP variables start with a $

Posted in Software | Leave a comment

CDF of SO Reputation

https://data.stackexchange.com/stackoverflow/query/1265631/cdf-of-so-reputation#graph According to this, 71% of users have reputation <= 1. These are users who just created an account on the site. 74% of users have reputation <= 10 92% of users have reputation <= 100 98% of users have … Continue reading

Posted in Software | Leave a comment

failed to create runc console socket: mkdir /tmp/pty064803763: no space left on device: unknown

Got this error today when trying to log into a docker container Then I tried which did not indicate any problem. /tmp is only 24% used. Above is showing all the inodes have been exhausted under /tmp. On listing /tmp … Continue reading

Posted in Software | Leave a comment