Skip to content

Instantly share code, notes, and snippets.

View 1-alex98's full-sized avatar
💥

Alexander von Trostorff 1-alex98

💥
View GitHub Profile
@1-alex98
1-alex98 / gist:0d26a800b5ee0b88ff8b2b550136f259
Last active February 25, 2024 14:11
v8 java script z3 math.floor and math.random predict next number
#!/usr/bin/python3
import math
import z3
import struct
import sys
import numpy
from decimal import Decimal
from z3 import Or
@cantremember
cantremember / install-debug-symbols.sh
Last active April 2, 2022 13:28
Installing debug symbols for the Linux Kernel
#!/bin/bash
#
# https://askubuntu.com/questions/197016/how-to-install-a-package-that-contains-ubuntu-kernel-debug-symbols
# https://wiki.ubuntu.com/DebuggingProgramCrash#Debug_Symbol_Packages
echo "deb http://ddebs.ubuntu.com $(lsb_release -cs) main restricted universe multiverse" | sudo tee -a /etc/apt/sources.list.d/ddebs.list
echo "deb http://ddebs.ubuntu.com $(lsb_release -cs)-updates main restricted universe multiverse" | sudo tee -a /etc/apt/sources.list.d/ddebs.list
echo "deb http://ddebs.ubuntu.com $(lsb_release -cs)-proposed main restricted universe multiverse" | sudo tee -a /etc/apt/sources.list.d/ddebs.list
sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys ECDCAD72428D7C01
sudo apt-get update
@itatabitovski
itatabitovski / docker-registry.sh
Created April 4, 2017 06:37
List and delete tags and repositories from v2 docker registry
#!/bin/bash
set -euo pipefail
CMD=$0
function usage {
cat <<EOU
Usage:
@riccardobl
riccardobl / TransparentWebViewPatch.java
Last active June 23, 2020 09:31
JavaFX Transparent WebView PATCH
/**
* @author Riccardo Balbo
* @description This patch aims to make the WebView capable to correctly render transparent pages.
* @license
* Copyright (c) 2015 Riccardo Balbo < riccardo @ forkforge . net >
*
* This software is provided 'as-is', without any express or implied
* warranty. In no event will the authors be held liable for any
* damages arising from the use of this software.
*