Skip to content

Instantly share code, notes, and snippets.

View thalesmg's full-sized avatar

Thales Macedo Garitezi thalesmg

36 followers · 185 following
View GitHub Profile
@thalesmg
thalesmg / remove_google_search_ads.user.js
Created November 11, 2018 13:50
Remove ads from google search
// ==UserScript==
// @name Remove ads from google search
// @namespace https://userscripts-mirror.org/users/529924
// @include *://*google.com*/search?*
// @include *://*google.com*/#fp=*
// @include *://*google.com*/webhp?tab=*
// @include *://*google.com*/?gws_rd*
// @include *://*google.com*/#newwindow*
// @grant none
// @author Thales M. G.
@thalesmg
thalesmg / desafio.pl
Last active February 4, 2019 19:22
Problema de Lógica Coquetel Desafio Super nº 176 p. 8 usando SWI-Prolog e CLP(FD)
:- use_module(library(clpfd)).
length_(L, Ls) :- length(Ls, L).
alldif([]).
alldif([X|Xs]) :-
maplist(dif(X), Xs),
alldif(Xs).
is_permutation(Xs, Ys) :-
@thalesmg
thalesmg / Makefile
Created March 8, 2019 23:58
How to parse a string to an integer from stdin in ATS2 / Postiats-ATS
.DEFAULT_GOAL := main
PATSHOMEQ="$(PATSHOME)"
PATSCC=$(PATSHOMEQ)/bin/patscc
PATSOPT=$(PATSHOMEQ)/bin/patsopt
PATSCCFLAGS=-O2 -flto -DATS_MEMALLOC_LIBC -latslib
# Looks like only -latslib is necessary
# LDFLAGS=-L$(PATSHOME)/ccomp/atslib/lib -latslib
# Also, the variable MUST be called `LDFLAGS`
# Setting `-latslib` in `PATSCCFLAGS` does not work...
@thalesmg
thalesmg / README.md
Last active March 16, 2019 17:04
Update all git repositories in a folder in parallel using Python asyncio

Running

$ ./atualizar.py
& env max_jobs=10 ./atualizar.py

Quick & dirty benchmarks (4 cores, 1 run)




  


  




    


          
    

      

        
        

          

              @thalesmg
          

          

            
                thalesmg
                / mozlz4.py
            
            

              Last active
              June 17, 2019 19:03
            

              
                Reading Firefox bookmark file
              
          

        

      

        

  

    
    


        



  


  

        

          
          #!/usr/bin/env python
        

        

          
          

        

        

          
          # https://unix.stackexchange.com/a/434882/164273
        

        

          
          

        

        

          
          # mozlz4.py -d < $(find ~/.mozilla/firefox/8xav21dr.default/bookmarkbackups/ | sort | tail -n1) \
        

        

          
          #   | jq '.children[] | select(.root == "unfiledBookmarksFolder") | .children | sort_by(.index)'
        

        

          
          

        

        

          
          from sys import *
        

        

          
          import os
        

        

          
          try:
        

  





    


  




    


          
    

      

        
        

          

              @thalesmg
          

          

            
                thalesmg
                / tmg-snd-event-handler.sh
            
            

              Created
              August 30, 2019 19:38
            

              
                Mute/unmute sounds
              
          

        

      

        

  

    
    


        



  


  

        

          
          #!/bin/bash
        

        

          
          

        

        

          
          mute () {
        

        

          
            amixer -c 0 sset Speaker mute
        

        

          
            amixer -c 0 sset Mic mute
        

        

          
            amixer -c 1 sset Master mute
        

        

          
            amixer -c 1 sset Headphone mute
        

        

          
          }
        

        

          
          

        

        

          
          unmute () {
        

  





    


  




    


          
    

      

        
        

          

              @thalesmg
          

          

            
                thalesmg
                / 90-sound.rules
            
            

              Created
              August 30, 2019 19:55
            

              
                udev rules to mute/unmute usb headphone
              
          

        

      

        

  

    
    


        



  


  

        

          
          ACTION=="add", ATTRS{product}=="Microsoft LifeChat LX-3000" RUN+="/home/thales/bin/tmg-snd-event-handler.sh unmute"
        

        

          
          ACTION=="remove", ATTRS{product}=="Microsoft LifeChat LX-3000" RUN+="/home/thales/bin/tmg-snd-event-handler.sh mute"
        

  





    


  




    


          
    

      

        
        

          

              @thalesmg
          

          

            
                thalesmg
                / khspider.hs
            
            

              Last active
              November 24, 2019 11:06
            

              
                khinsider downloader
              
          

        

      

        

  

    
    


        



  


  

        

          
          #!/usr/bin/env stack
        

        

          
          {-
        

        

          
            stack --resolver lts-14.15 script
        

        

          
              --package bytestring
        

        

          
              --package tagsoup
        

        

          
              --package wreq
        

        

          
              --package lens
        

        

          
              --package async
        

        

          
              --package optparse-applicative
        

        

          
              --package directory
        

  





    


  




    


          
    

      

        
        

          

              @thalesmg
          

          

            
                thalesmg
                / calibre-dark-gray-theme.css
            
            

              Last active
              September 27, 2019 19:46
            

              
                Calibre ebook viewer theme dark gray
              
          

        

      

        

  

    
    


        



  


  

        

          
          body {
        

        

          
              background:#3c3c3c;
        

        

          
              color:#dbdbdb;
        

        

          
          }
        

        

          
          

        

        

          
          a {
        

        

          
              color: #f8dd84 !important;
        

        

          
          }
        

        

          
          

        

        

          
          h1, h2, h3, h4, h5, h6 {
        

  





    


  




    


          
    

      

        
        

          

              @thalesmg
          

          

            
                thalesmg
                / dtalc-with-defaultsigs.hs
            
            

              Created
              October 12, 2019 11:20
            

              
                Following along with "Nicer Data Types a la Carte with DefaultSignatures"
              
          

        

      

        

  

    
    


        



  


  

        

          
          -- https://yairchu.github.io/posts/dtalc-with-defaultsigs.html
        

        

          
          

        

        

          
          {-# LANGUAGE DeriveFunctor #-}
        

        

          
          {-# LANGUAGE DeriveGeneric #-}
        

        

          
          {-# LANGUAGE DeriveAnyClass #-}
        

        

          
          {-# LANGUAGE FlexibleContexts #-}
        

        

          
          {-# LANGUAGE DefaultSignatures #-}
        

        

          
          {-# LANGUAGE StandaloneDeriving #-}
        

        

          
          {-# LANGUAGE DerivingStrategies #-}
        

        

          
          {-# LANGUAGE GeneralizedNewtypeDeriving #-}