miglen

List of Linux networking tools

netstat (ss)

Displays contents of /proc/net files. It works with the Linux Network Subsystem, it will tell you what the status of ports are ie. open, closed, waiting, masquerade connections. It will also display various other things. It has many different options. Netstat (Network Statistic) command display connection info, routing table information etc. To displays routing table information use option as -r.

Sample output:

Proto Recv-Q Send-Q  Local Address          Foreign Address        (state)    
tcp4 0 0 127.0.0.1.62132 127.0.0.1.http ESTABLISHED

tel

Per Martin-Löf’s (OMLCJLL)

“On the Meanings of the Logical Constants and the Justifications of the Logical Laws”

Intro

I know I tried to write up the Meetup announcement to draw people here with a computer science or programming background. And then I threw at you this dense philosophical paper which assumes you’re familiar with names like Gentzen and languages like German and Greek not Javascript or C#.

So, that was pretty unfair of me, I apologize. In order to amend