Skip to content

Instantly share code, notes, and snippets.

View aneutron's full-sized avatar
🐢
Learning stuff and breaking things

Ayoub Boudhar aneutron

🐢
Learning stuff and breaking things
View GitHub Profile
@aneutron
aneutron / x.md
Created December 23, 2017 22:21 — forked from vjeux/x.md
Ocaml / functional programming

I'm taking down this post. I just posted this as a side comment to explain a sentence on my latest blog post. This wasn't meant to be #1 on HN to start a huge war on functional programming... The thoughts are not well formed enough to have a huge audience. Sorry for all the people reading this. And please, don't dig through the history...

Effective Engineer - Notes

What's an Effective Engineer?

  • They are the people who get things done. Effective Engineers produce results.

Adopt the Right Mindsets

@aneutron
aneutron / sus_posix_infos.txt
Created March 5, 2018 00:35 — forked from u1735067/sus_posix_infos.txt
Notes about POSIX & Single Unix Specification
Infos
https://en.wikipedia.org/wiki/Single_UNIX_Specification
https://github.com/geoff-codes/posix-unix-standard
https://mywiki.wooledge.org/POSIX
Single Unix Specification, SUS (T101) = "Base Specifications" POSIX-2008 (C165) (+ X/Open Curses (C094)) (??)
http://www.cse.psu.edu/~deh25/cmpsc311/Lectures/Standards/PosixStandard.html
"SUS"
https://publications.opengroup.org/t101
http://pubs.opengroup.org/onlinepubs/9699919799/
@aneutron
aneutron / audit.rules
Created October 31, 2018 10:13 — forked from Neo23x0/audit.rules
Linux Auditd Best Practice Configuration
# IMPORTANT!
# This gist has been transformed into a github repo
# You can find the most recent version there:
# https://github.com/Neo23x0/auditd
# ___ ___ __ __
# / | __ ______/ (_) /_____/ /
# / /| |/ / / / __ / / __/ __ /
# / ___ / /_/ / /_/ / / /_/ /_/ /
# /_/ |_\__,_/\__,_/_/\__/\__,_/
@aneutron
aneutron / compress-pdf-with-gs.md
Created February 9, 2019 10:28 — forked from guifromrio/compress-pdf-with-gs.md
Compress PDF files with ghostscript

This can reduce files to ~15% of their size (2.3M to 345K, in one case) with no obvious degradation of quality.

ghostscript -sDEVICE=pdfwrite -dCompatibilityLevel=1.4 -dPDFSETTINGS=/printer -dNOPAUSE -dQUIET -dBATCH -sOutputFile=output.pdf input.pdf

Other options for PDFSETTINGS:

  • /screen selects low-resolution output similar to the Acrobat Distiller "Screen Optimized" setting.
  • /ebook selects medium-resolution output similar to the Acrobat Distiller "eBook" setting.
  • /printer selects output similar to the Acrobat Distiller "Print Optimized" setting.
  • /prepress selects output similar to Acrobat Distiller "Prepress Optimized" setting.
@aneutron
aneutron / linuxNvidia_guide.md
Created March 19, 2019 12:15 — forked from smagnani96/linuxNvidia_guide.md
This guide is supposed to help people experiencing problems with the Nvidia dedicated graphic card management.

Linux - Nvidia switchable setup guide

The aim of this guide is to provide a working strategy to make your dedicated graphic card turn on/off correctly in a Linux environment (with xorg).

The following scripts have been created by tyrells and this guide is a remake of Graff's one.

Required Packages

The following two packages are stricly required: