Skip to content

Instantly share code, notes, and snippets.

@Quodss
Quodss / urwasm.md
Last active November 2, 2024 06:54

urwasm: WebAssembly interpreter suite on Urbit


WebAssembly is a low-level language for a portable virtual machine. Wasm is designed to be a compilation target for a variety of programming languages and its design is hardware independent and relatively simple, making its support ubiquitous in modern browsers. Its simple design made it a perfect first candidate for a first emulator of an conventional computational system on a novel functional computer: Urbit. In this paper I discuss the current state of urwasm project and some technical details, as well as describe the strategy to jet the interpreter of a state machine in a functional environment.


Introduction

@flaki
flaki / docker-to-proxmox.md
Created February 7, 2023 21:36
Importing a Docker container image into Proxmox Linux Containers (LXC)

Importing a Docker container into Proxmox/LXC

Importing the container

For this we are going to be using lxc-create, which comes pre-installed on Proxmox but needs further dependencies to fetch the OCI images from Docker:

apt update && apt -y install skopeo umoci jq
@rudSarkar
rudSarkar / AuthyToOtherAuthenticator.md
Created July 31, 2021 10:56 — forked from gboudreau/AuthyToOtherAuthenticator.md
Export TOTP tokens from Authy

Generating Authy passwords on other authenticators


There is an increasing count of applications which use Authy for two-factor authentication. However many users who aren't using Authy, have their own authenticator setup up already and do not wish to use two applications for generating passwords.

Since I use 1Password for all of my password storing/generating needs, I was looking for a solution to use Authy passwords on that. I couldn't find any completely working solutions, however I stumbled upon a gist by Brian Hartvigsen. His post had a neat code with it to generate QR codes for you to use on your favorite authenticator.

His method is to extract the secret keys using Authy's Google Chrome app via Developer Tools. If this was not possible, I guess people would be reverse engineering the Android app or something like that. But when I tried that code, nothing appeared on the screen. My guess is that Brian used the

@hebasto
hebasto / alpine.md
Last active May 1, 2024 18:26
Building Bitcoin Core with GUI on Alpine Linux

Building Bitcoin Core with GUI on Alpine Linux

System

$ cat /etc/alpine-release
3.13.5

Bitcoin Core repository

@botter-nidnul
botter-nidnul / steps-to-urbit-on-docker-desktop-for-windows.md
Last active June 23, 2023 08:54
Steps to Urbit on Docker Desktop for Windows

Why Docker Desktop?

  • It can start urbit automatically in the background each time you login to windows
  • Has a gui to turn urbit on/off if you don't want it running all the time
  • Sets up port forwarding to your host device's ip, which plain wsl makes difficult. So you can access landscape from other devices on your lan, or forward ports to your router to get external access
  • Automatic updates to the urbit binary

See https://subject.network/posts/urbit-windows-docker/ for an enhanced take on this guide, with screenshots and more.

How to Install Docker

@thalamus
thalamus / ArchLinuxARM-M1
Last active November 16, 2024 05:37
How to boot Arch Linux ARM in QEMU (patched for M1)
/*
* This document is provided to the public domain under the
* terms of the Creative Commons CC0 public domain license
*/
How to boot Arch Linux ARM in QEMU (patched for M1)
Prerequisites:
QEMU - patched for M1 processors - patches: https://github.com/utmapp/qemu
@IanColdwater
IanColdwater / twittermute.txt
Last active November 17, 2024 02:37
Here are some terms to mute on Twitter to clean your timeline up a bit.
Mute these words in your settings here: https://twitter.com/settings/muted_keywords
ActivityTweet
generic_activity_highlights
generic_activity_momentsbreaking
RankedOrganicTweet
suggest_activity
suggest_activity_feed
suggest_activity_highlights
suggest_activity_tweet
### extract videos as mp3 files
youtube-dl -x --audio-format mp3 <video link>
### get highest resolution audio & video
To download a video, you type the URL after the command like so:
youtube-dl <video link>
To select the video quality, first use the -F option to list the available formats, here’s an example,
@RandomCriticalAnalysis
RandomCriticalAnalysis / state_fiscal_test_score_correlation_example.R
Created May 7, 2018 14:36
Snippet to create correlation plot by state between school test scores and per pupil fiscal measures
library(dplyr)
library(reshape2)
library(ggplot2)
DataPath="." # you may need to update this if not working from same path
setwd(DataPath)
# Data from version 2.0 of covariates and pooled score estimates from SEDA
# https://cepa.stanford.edu/seda/data-archive
#!/usr/bin/env python3
import sys
import subprocess as sp
from pathlib import Path
from argparse import ArgumentParser
from configparser import ConfigParser
def ssh(host, cmd):
return sp.check_output(['ssh', host, cmd]).strip().decode()