Skip to content

Instantly share code, notes, and snippets.

@aldur
aldur / gist:65a9ead3cb7bf1e1ee0c50f986c97670
Created October 9, 2024 14:46
Initial LSP request to clarinet
{
"method": "initialize",
"id": 1,
"jsonrpc": "2.0",
"params": {
"workspaceFolders": [
{
"name": "/Users/aldur/Work/stacks/upgradable-fungible-token-concept",
"uri": "file:///Users/aldur/Work/stacks/upgradable-fungible-token-concept"
}
@aldur
aldur / __init__.py
Created April 5, 2018 09:10
Python Logging Boilerplate
#!/usr/bin/env python3
# encoding: utf-8
"""TODO: Package description."""
import datetime
import logging
import os
# Configure logging.
@aldur
aldur / README.md
Created November 14, 2017 19:44
OnePlusRoot

Root OnePlus5 without unlocking the bootloader

Gain adb root.

$ adb shell am start -n com.android.engineeringmode/.qualcomm.DiagEnabled --es "code" "angela"

Download Magisk-v14.0 and extract it somewhere. Download MagiskManager.

@aldur
aldur / README.md
Created December 19, 2016 14:21
Emoji to JSON

Emoji to JSON

A simple Python script to extract unicode emojis from this page and store their details in a JSON file. Additionally, it also extract the emoji images as PNG files.

Usage

Store the page:

@aldur
aldur / FlacToMp3Tag.sh
Created July 2, 2015 08:20
Convert Flac to MP3 while keeping metadata
for f in *.flac; do ffmpeg -i "$f" -ab 320k -map_metadata 0 -id3v2_version 3 "${f%flac}mp3"; done
@aldur
aldur / README.md
Last active August 29, 2015 14:23
Q-Learner Agent - Maja Machine Learning Framework

Q-Learner Agent - MMLF

Place the agent in your mmlf/agents directory. Place the configuration file in ~/.mmlf/config.

Run with: ./run_mmlf --config world_simple_q.yaml.

@aldur
aldur / nfs_automount.sh
Last active December 3, 2023 10:08
Mount an NFS share on Android
#!/bin/sh
# Mount an NFS share on Android
# Requirements:
# - Busybox
# - A kernel supporting nfs (either built-in or as a module)
# On my Nexus 7 2012 I use the following kernel:
# http://forum.xda-developers.com/showthread.php?t=2107224
# Remember: if you have problems of system space, simply delete some of the default stuff.
@aldur
aldur / PushTransmission.sh
Last active November 14, 2017 21:19
Transmission Daemon script: push to Pushbullet
#!/bin/sh
# Set your pushbullet access token here:
PUSHBULLET_ACCESS_TOKEN=SPECIFY_ACCESS_TOKEN_HERE
# -- END of user configurable variables. --
PUSHBULLET_API_PUSH=https://api.pushbullet.com/v2/pushes
curl --header "Authorization: Bearer $PUSHBULLET_ACCESS_TOKEN" \
-o /dev/null \
@aldur
aldur / RepoArchiver.py
Last active April 21, 2020 03:26
Archive a GitHub repository to a MD file.
#! /usr/bin/env python
# coding = utf-8
# author = Adriano Di Luzio - Unbit
"""
Given user and repository this script downloads and archives
(by using Markdown) the entire issues history of the repository.
It is designed to work with both python3 and python2.
It requires python-requests.
"""
@aldur
aldur / RedBlackBinaryCheck.py
Last active March 6, 2024 09:27
Check if a tree is a balanced red-black tree. O(n) complexity.
#!/usr/bin/env python
# -*- coding: utf-8 -*-
"""
Red-Black binary trees properties:
1. Every node is either red or black.
2. The root is black.
3. Every leaf (NIL) is black.
4. If a node is red, then both its children are black.
5. For each node, all simple paths from the node to descendant leaves contain the same number of black nodes.