Skip to content


Category Archives: programming

  1. How to delete a commit that was already pushed to Gitlab December 5, 2018

    Posted in programming.

    No comments
  2. Fixing a couple of TypeScript compilation errors July 28, 2018

    Posted in JavaScript / TypeScript / Node.js, published drafts.

    No comments
  3. Generating a large (>8kb) key with GnuPG 2.x June 3, 2018

    Posted in privacy, programming.

    No comments
  4. How to compare 2 folders using Windows PowerShell April 16, 2018

    Posted in JavaScript / TypeScript / Node.js, Windows.

    No comments
  5. Node.js / npm mini cheatsheet October 20, 2017

    Posted in JavaScript / TypeScript / Node.js.

    No comments
  6. Various old Greasemonkey scripts September 30, 2017

    Posted in Firefox, Greasemonkey scripts.

    No comments
  7. JavaScript: passing arguments to setTimeout() May 23, 2017

    Posted in JavaScript / TypeScript / Node.js, programming.

    No comments
  8. Uninstalling dependencies of Python pip packages April 1, 2017

    Posted in programming.

    No comments
  9. How to generate a strong random hexadecimal string in Node.js March 27, 2017

    Posted in JavaScript / TypeScript / Node.js.

    No comments
  10. Passive data structure in TypeScript March 25, 2017

    Posted in JavaScript / TypeScript / Node.js.

    No comments
  11. How to get a random item from a JavaScript array March 20, 2017

    Posted in JavaScript / TypeScript / Node.js.

    No comments
  12. How to configure email and name in Git March 19, 2017

    Posted in programming.

    No comments
  13. aToad #23: Dan’s Tools January 16, 2017

    Posted in A Tool A Day, programming.

    No comments
  14. My Visual Studio Code config file (TypeScript-oriented) December 12, 2016

    Posted in JavaScript / TypeScript / Node.js.

    No comments
  15. How to install Serverless locally November 8, 2016

    Posted in JavaScript / TypeScript / Node.js.

    No comments
  16. Watch out, Android Studio leaves tons of junk files behind on the system partition October 22, 2016

    Posted in Android.

    No comments
  17. Fixing some Serverless issues on Windows October 17, 2016

    Posted in programming, Windows.

    No comments
  18. aToad #20: Cheat Engine, CoSMOS, OllyDbg October 16, 2016

    Posted in A Tool A Day, programming.

    No comments
  19. How to configure Fiddler to gateway to a SOCKS proxy September 10, 2016

    Posted in programming, web development.

    2 comments
  20. Script Greasemonkey pour bloquer un utilisateur sur GNT August 16, 2016

    Posted in Greasemonkey scripts.

    2 comments
  21. Solving a compilation problem that may occur in Eclipse with TypeScript/Angular projects July 8, 2016

    Posted in Eclipse, programming, web development.

    No comments
  22. Hiding some file types in Eclipse projects July 6, 2016

    Posted in Eclipse, programming.

    No comments
  23. A little catch when submitting an iOS app with Facebook SDK April 12, 2016

    Posted in programming, Xcode.

    No comments
  24. How to fix Android Studio 2.0 file permission issues April 9, 2016

    Posted in Android.

    No comments
  25. How to reorient a picture with EXIF data using PHP GD March 24, 2016

    Posted in PHP, programming, web development.

    No comments