Fuzzy logics (especially fuzzy numbers and fuzzy intervals) can be beautifully plotted on a graph, …. aaaand of course, you can also do this using LaTeX and pgfplots! \begin{tikzpicture} \begin{axis}[ height=3.5cm, width=\textwidth/2, ytick={0,1}, xtick={4,6}, area style, xlabel={$$}, xmin=0,xmax=10, axis x line=bottom, axis y line=left, %ylabel={$$}, enlarge x limits=false ] \addplot[fill, red, opacity=0.2] coordinates {(2.5,0)(4,1)(6,1)(7.5,0)} \closedcycle; […]
Category Archives: Software
Backup your databases in Git
Storing backups of the database is import for any possible service on the internet. Git can be the right tool to backup databases. Like other version control systems, Git tracks the changes, and will only push the changes in files to the remote. So if one line in a 1 million database dump is changed, we don’t […]
Git: ignore changes in tracked file
Sometimes you have changes on a tracked file, but you want to ignore that file (but keep it in the Git tree). Adding those files to a .gitignore file will not work, because Git will not ignore tracked files. However… You can ignore tracked files using the following command: git update-index –assume-unchanged <file> To stop […]
LaTeX: graphs with coordinates input
In one of my previous posts I wrote about plotting LaTeX function graphs using pgfplots. But sometimes you don’t have a function rule, but just a set of data points. Using pgfplots you can easily plot a function using those coordinates. The following Tex code will draw a line through each of the data points. \begin{tikzpicture}[>=stealth] \begin{axis}[ […]
LaTeX grafieken tekenen
LaTeX is een opmaaktaal die vaak door wetenschappers gebruikt wordt. TeX is nogal handig om wiskundige formules e.d. in te voegen. Daarnaast is het plotten van functie grafieken iets dat elke wetenschapper al wel eens moet doen. Door gebruik te maken van het pgfplots pakket, kan je mooie grafieken genereren. Een eenvoudig voorbeeld van een grafiek ziet […]
Server migratie afgerond
Tot voor kort draaide ik FreeBSD 10 op mijn server, met Apache webserver. Vorige week ben ik overgestapt van FreeBSD naar Ubuntu Server 14, en heb ik Apache vervangen door Nginx. FreeBSD heeft altijd super stabiel gedraaid, maar met ports of firewalls werken is op BSD niet altijd een lachertje (zeker niet toen er IPv6 […]
Git: author en email aanpassen in history
Het gebeurt al wel eens dat je in een commit de verkeerde author of email hebt staan. Als je zo een reeks commits hebt in een project, kan je met een shell script alle commits herschrijven. #!/bin/sh git filter-branch –env-filter ‘ an=”$GIT_AUTHOR_NAME” am=”$GIT_AUTHOR_EMAIL” cn=”$GIT_COMMITTER_NAME” cm=”$GIT_COMMITTER_EMAIL” if [ “$GIT_COMMITTER_EMAIL” = “old_mail@example.com” ] || [ “$GIT_COMMITTER_EMAIL” = […]
Fish shell & sudo !!
Het gebeurt maar al te vaak dat je in de terminal een commando opnieuw wilt uitvoeren maar dan met sudo ervoor. Op de meeste systemen typ je dan sudo !! om het vorige commando als super user uit te voeren, maar fish shell doet dat niet. Het is echter mogelijk om de sudo functie te […]
Fish: een handige, gebruiksvriendelijke command line shell
Zoals vele andere informatici en programmeurs breng ik dagelijks (te) veel tijd door in de command line omgeving. Alle manieren om het werk in de Terminal te versnellen zijn dan ook welkom. Fish shell is daar één van. fish is een “smart and user-friendly” command line shell voor Unix besturingssystemen (en voor Windows). Het voordeel […]
OpenBSD ontwikkelt LibreSSL
Na de recente heartbleed bug in OpenSSL hebben flink wat mensen hun vertrouwen verloren in de beveiligingssoftware. Zo ook de ontwikkelaars van OpenBSD, dat bekend staat als één van de veiligste besturingssystemen (met als slogan ‘Only two remote holes in the default install, in a heck of a long time!‘). Onder leiding van Theo de […]