-
Download .nix file
-
Run:
$ nix run -f all-minecrafts.nix versions.v1_8_9.client -c minecraft
-
Enjoy (…power of fixed-output derivations)!
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/python3 | |
import sys | |
import os | |
import zipfile | |
import tempfile | |
from xml.etree import ElementTree | |
from shutil import copyfile | |
def stuffer(py_file, doc_file): |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
-- happy avril 14th :))))))))))))))))))))))))))))))))))))))) | |
do | |
let bars = 4 | |
key = "8" | |
righthand = "[[4 -3] [0 _ _ _ _ _ 0]] [[-3, -8] [7 5 4 0]]" | |
lefthand = "[0 9 12 16] [4 12 16 19] [5 12 17 19] [2 12 17 16]" | |
d1 $ slow bars | |
$ stack [ | |
n (righthand + key + "<24 36>/2"), |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/// A "fractional part" function on f32s that does bitwise magic | |
/// on the representation of its argument. | |
pub fn frac(f: f32) -> f32 { | |
f32::from_bits(_frac(f.to_bits())) | |
} | |
/// A "fractional part" function that operates on a signed integer | |
/// representation of an IEEE single-precision floating point number. | |
fn _frac(i: u32) -> u32 { | |
// A floating point number consists of a sign bit, |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
class E(BaseException): | |
def __new__(cls, *args, **kwargs): | |
return cls | |
def a(): yield | |
a().throw(E) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{ pkgs ? import <nixpkgs> {} }: | |
let | |
# To use this shell.nix on NixOS your user needs to be configured as such: | |
# users.extraUsers.adisbladis = { | |
# subUidRanges = [{ startUid = 100000; count = 65536; }]; | |
# subGidRanges = [{ startGid = 100000; count = 65536; }]; | |
# }; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import tweepy | |
# Install tweepy with `pip3 install tweepy` | |
# See https://realpython.com/twitter-bot-python-tweepy/ for info about how to generate credentials | |
consumer_key = '' | |
consumer_secret = '' | |
access_token = '' | |
access_token_secret = '' |
Ever wanted to delete all your likes/favorites from Twitter but only found broken/expensive tools? You are in the right place.
- Go to: https://twitter.com/{username}/likes
- Open the console and run the following JavaScript code:
setInterval(() => {
for (const d of document.querySelectorAll('div[data-testid="unlike"]')) {
d.click()
}
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/* | |
Unfollow (stop following) those people who are not following you back on Twitter (or unfollow everyone if desired). | |
This will work for new Twitter web site code structure (it was changed from July 2019, causing other unfollow-scripts to stop working). | |
Instructions: | |
1) The code may need to be modified depending on the language of your Twitter web site: | |
* For English language web site, no modification needed. | |
* For Spanish language web site, remember to set the 'LANGUAGE' variable to "ES". | |
* For another language, remember to set the 'LANGUAGE' variable to that language and modify the 'WORDS' object to add the words in that language. |