ayamkv

The Interaction Calculus

The Interaction Calculus (IC) is term rewriting system inspired by the Lambda Calculus (λC), but with some major differences:

Vars are affine: they can only occur up to one time.
Vars are global: they can occur anywhere in the program.
There is a new core primitive: the superposition.

An IC term is defined by the following grammar:

I'm using svelte 5 instead of svelte 4 here is an overview of the changes.

Overview

Svelte 5 introduces runes, a set of advanced primitives for controlling reactivity. The runes replace certain non-runes features and provide more explicit control over state and effects.

$state

Purpose: Declare reactive state.
Usage:

References:

Steps

Install Termux on android device.
Find Termux username.

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()
 }

	import re
	from pyyoutube import Api
	import csv

	# Google Developer Console, Youtube Data API V3
	api = Api(api_key='YOUR_API_KEY')
	# Your Google Takeout file
	file = open('my-comments.html', 'r', encoding='utf8')
	lines = file.readlines()
	comments = [[], []]

	''' This script is for filling the google forms automatically by entry ID and value.
	This includes Date, ID and Full name, need modify only the ID and the Full name between the brackets.
	'''
	import requests
	from datetime import datetime

	url = 'https://docs.google.com/forms/d/<ID>/formResponse' # Change the ID to a proper one

	date = datetime.now()

	######################################
	#
	# Termux bash.bashrc
	# by brainf+ck
	#
	# Last modified: 2022/06/30
	#
	######################################

	#### Global ##########################

	<!DOCTYPE html>
	<html lang="en">

	<head>
	<meta charset="UTF-8">
	<meta http-equiv="X-UA-Compatible" content="ie=edge">
	<meta name="viewport" content="width=device-width, initial-scale=1, viewport-fit=cover">
	<meta name="description" content="Simple weight converter">
	<title>Weight Converter</title>

	upstream myapp {
	server 127.0.0.1:8081;
	}

	limit_req_zone $binary_remote_addr zone=login:10m rate=1r/s;

	server {
	listen 443 ssl spdy;
	server_name _;