MARK P. JONES
Pacific Software Research Center
Department of Computer Science and Engineering
Oregon Graduate Institute of Science and Technology
/** | |
* custom wrapper for AsyncStorage that splits the data of a given storageKey to smaller chunks | |
* a large object with multiple keys will be spreaded to all the keys in the first level of the main object | |
* { data: { key1: value1, key2: value2, ...} } | |
* will be saved as key1 => value1, key2 => value2, ... | |
* this approach is intended to prevent the limitation of 2MB per value of AsyncStorage by spreading the values across the storage | |
* | |
* basic usage: | |
* | |
* import AsyncStorage from '@react-native-community/async-storage'; |
Here are the steps to follow in order to read your cards. Your goal is to find as many keys as possible. The keys unlock sections of your card for the Flipper to read them - you must have a card. Once you read enough sections, you can use an emulated or cloned card at the original card reader to unlock it (sometimes even without finding all of the keys!).
Steps:
from fastapi import Request, HTTPException | |
from pydantic import BaseModel, BaseModel, HttpUrl | |
from modal import Secret, App, web_endpoint, Image | |
from typing import Optional, List | |
from example import proposal | |
import os | |
app = App(name="circleback", image=Image.debian_slim().pip_install("openai", "pydantic", "fastapi")) | |
class Attendee(BaseModel): |
version: '3.8' | |
services: | |
sql: | |
image: mcr.microsoft.com/azure-sql-edge | |
container_name: sql | |
ports: | |
- "1433:1433" | |
environment: | |
ACCEPT_EULA: "1" |
type cps_var = | |
(* Taken from the lambda term during CPS conversion. *) | |
| CLamVar of string | |
(* Generated uniquely during CPS conversion. *) | |
| CGenVar of int | |
type cps_term = | |
| CFix of (cps_var * cps_var list * cps_term) list * cps_term | |
| CAppl of cps_var * cps_var list | |
| CRecord of cps_var list * binder |
This details how to capture voice text and rings associated with iridium satellite rebroadcasts of the Aircraft Communications Addressing and Report System (ACARS)
cd ~
Supercompilation is a deep program transformation technique due to V. F. Turchin, a prominent computer scientist, cybernetician, physicist, and Soviet dissident. He described the concept as follows [^supercompiler-concept]:
A supercompiler is a program transformer of a certain type. The usual way of thinking about program transformation is in terms of some set of rules which preserve the functional meaning of the program, and a step-by-step application of these rules to the initial program. ... The concept of a supercompiler is a product of cybernetic thinking. A program is seen as a machine. To make sense of it, one must observe its operation. So a supercompiler does not transform the program by steps; it controls and observes (SUPERvises) the running of the machine that is represented by the program; let us call this machine M1. In observing the operation of
{ | |
// miscellaneous | |
"javascript.updateImportsOnFileMove.enabled": "always", | |
"typescript.updateImportsOnFileMove.enabled": "always", | |
"diffEditor.ignoreTrimWhitespace": false, | |
// window | |
"window.title": "🦙⚡🫡 – ${activeEditorShort}${separator}${rootName} – 🫡⚡🦙", | |
"window.clickThroughInactive": false, |
Last updated March 13, 2024
This Gist explains how to sign commits using gpg in a step-by-step fashion. Previously, krypt.co was heavily mentioned, but I've only recently learned they were acquired by Akamai and no longer update their previous free products. Those mentions have been removed.
Additionally, 1Password now supports signing Git commits with SSH keys and makes it pretty easy-plus you can easily configure Git Tower to use it for both signing and ssh.
For using a GUI-based GIT tool such as Tower or Github Desktop, follow the steps here for signing your commits with GPG.