| #!/usr/bin/env bash -x | |
| # TO USE: | |
| # 1. MAKE A CONFIG FILE AT ~/.go-to-bed | |
| # it should look like this (don't include hashes in file, this will nag you starting at 12:16 AM until 6:00 AM) | |
| # START_TIME:0.16 | |
| # END_TIME:6.0 | |
| # HUSHED_UNTIL:2023-11-23T1:40:00 | |
| # | |
| # 2. SAVE THIS SCRIPT SOMEWHERE, maybe ~/bin/go-to-bed |
| {lib, ...}: { | |
| toBase64 = text: let | |
| inherit (lib) sublist mod stringToCharacters concatMapStrings; | |
| inherit (lib.strings) charToInt; | |
| inherit (builtins) substring foldl' genList elemAt length concatStringsSep stringLength; | |
| lookup = stringToCharacters "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/"; | |
| sliceN = size: list: n: sublist (n * size) size list; | |
| pows = [(64 * 64 * 64) (64 * 64) 64 1]; | |
| intSextets = i: map (j: mod (i / j) 64) pows; | |
| compose = f: g: x: f (g x); |
Every once in a while I investigate low-level backend options for PL-s, although so far I haven't actually written any such backend for my projects. Recently I've been looking at precise garbage collection in popular backends, and I've been (like on previous occasions) annoyed by limitations and compromises.
I was compelled to think about a system which accommodates precise relocating GC as much as possible. In one extreme configuration, described in this note, there
| {-# LANGUAGE GADTs, TypeFamilies #-} | |
| data Type a where | |
| TNat :: Type Int | |
| TFun :: Type a -> Type b -> Type (a -> b) | |
| type Var a = (Type a, String) | |
| data Expr a where | |
| ENat :: Int -> Expr Int | |
| EVar :: Var a -> Expr a | |
| ELam :: Var a -> Expr b -> Expr (a -> b) |
Tvix is a new implementation of the Nix language and package manager.
In this benchmark we test it's performance when instantiating the hello package from nix.
Note that at the time tvix does not have its own store implementation yet and it has to
execute nix-store whenever it needs to copy files to the store.
| <?php | |
| // half-hearted CSS minification | |
| $css = preg_replace( | |
| array('/\s*(\w)\s*{\s*/','/\s*(\S*:)(\s*)([^;]*)(\s|\n)*;(\n|\s)*/','/\n/','/\s*}\s*/'), | |
| array('$1{ ','$1$3;',"",'} '), | |
| file_get_contents('linked.css') | |
| ); | |
| // embed as a data: uri | |
| $base64css = rtrim(strtr(base64_encode($css), '+/', '-_'), '='); |
| import tweepy, json, time, sys | |
| auth = tweepy.OAuth1UserHandler( | |
| <api keys here> | |
| ) | |
| api = tweepy.API(auth) | |
| d = json.loads(open(sys.argv[1]).read().split("=", 1)[1]) |
| // ==UserScript== | |
| // @name @chaoticvibing Twitter Blue Nerd - twitter.com | |
| // @namespace Violentmonkey Scripts | |
| // @match *://*.twitter.com/* | |
| // @match *://*.x.com/* | |
| // @grant none | |
| // @version 1.9.2 | |
| // @author @chaoticvibing - GH @busybox11 | |
| // @description 11/9/2022, 11:45:28 PM | |
| // @updateURL https://gist.githubusercontent.com/busybox11/53c76f57a577a47a19fab649a76f18e3/raw |
| #!/usr/bin/env bash | |
| set -euo pipefail | |
| IFS=$'\n\t' | |
| export SHELL=`which bash` | |
| function usage() { | |
| cat <<EOF | |
| Usage: ${0} <host> |
