Skip to content

Instantly share code, notes, and snippets.

Jabba Laci jabbalaci

View GitHub Profile
jabbalaci /
Created Dec 23, 2018 — forked from shahril96/
Using Z3 Theorem Solver to solve for Gardens Puzzle
import sys
import itertools
from z3 import *
# Original puzzle
Five friends have their gardens next to one another, where they grow three kinds of crops:
jabbalaci / colors.nim
Last active Jan 25, 2019
A small program to make using 256 colors in Nim less painful.
View colors.nim
import strformat
import tables
# A small program to make using 256 colors in Nim less painful.
# Original ZSH version from:
# P.C. Shyamshankar <>
# Copied from
# Nim rewrite by Laszlo Szathmary <>
# thanks to narimiran and kickeroo for making the code more idiomatic Nim code
View gist:5d384ccb464c66de54fca535a80a5709

1. Clone your fork:

git clone

2. Add remote from original repository in your forked repository:

cd into/cloned/fork-repo
git remote add upstream git://
git fetch upstream
jabbalaci /
Created Apr 7, 2018 — forked from denis111/
reset intellij idea 14 - 2017.x.x evaluation
echo "removeing evaluation key"
rm ~/.IntelliJIdea15/config/eval/idea15.evaluation.key
echo "resetting evalsprt in options.xml"
sed -i '/evlsprt/d' ~/.IntelliJIdea15/config/options/options.xml
echo "resetting evalsprt in prefs.xml"
sed -i '/evlsprt/d' ~/.java/.userPrefs/prefs.xml
jabbalaci /
Created Jan 18, 2018
Extract text that is hidden in an image.
#!/usr/bin/env python3
Extract data from .
It's from the game "Doki Doki Literature Club".
Tamás Sinku showed me this problem. He also described the
solution: take the middle of the image. A black pixel means 0,
while a white pixel means 1. Read it byte by byte and convert
it to text. You get a BASE64 string with some '\0' characters
jabbalaci / vs_code_for_python.txt
Last active Feb 16, 2018
Visual Studio Code settings for Python development
View vs_code_for_python.txt
Corresponding video: (in Hungarian)
"workbench.colorTheme": "Default Light+",
"editor.fontSize": 18,
"editor.minimap.enabled": true,
"python.linting.pylintEnabled": false,
#!/usr/bin/env python3
# coding: utf8
A simple wrapper for the `mailx` command.
Send an email notification to yourself from a Python script.
jabbalaci /
Created Oct 20, 2015
test if a URL is an image or not
#!/usr/bin/env python2
# encoding: utf-8
test if a URL is an image or not
from __future__ import (absolute_import, division,
print_function, unicode_literals)
#!/usr/bin/env python3
# encoding: utf-8
I saw a similar script on the homepage of Miguel Grinberg (the Flask book guy),
but he was using webscraping. Here I use simple API calls instead.
The script takes the presentations of a Python conference and orders the
presentations in descending order by the number of youtube views. It
is an indicator about the popularity of a video.
jabbalaci / gist:5820d1843e0e4317e37d
Last active Feb 18, 2018
freely available Linux Voice issues
View gist:5820d1843e0e4317e37d
# moved to
You can’t perform that action at this time.