Skip to content

Instantly share code, notes, and snippets.

View kaxonomy's full-sized avatar
Waiting for something to happen?

Kaxon kaxonomy

Waiting for something to happen?
View GitHub Profile
@VictorTaelin
VictorTaelin / spec.md
Created February 26, 2025 15:51
SupTT Spec

The Interaction Calculus

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

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

An IC term is defined by the following grammar:

@aamiaa
aamiaa / CompleteDiscordQuest.md
Last active June 9, 2025 16:59
Complete Recent Discord Quest

Complete Recent Discord Quest

Note

This does not works in browser for non-video, non-activity quests! For stream/play quests use the desktop app!

Note

When doing stream quests, you need at least 1 other account in the vc!

How to use this script:

  1. Accept a quest under Discover -> Quests

Running a MacOS 13 Ventura VM in VMware

Installing and Configuring VMware

💡 NOTE: MacOS higher than version 12 requires a CPU with AVX2 instruction support

  1. Download a MacOS Ventura .iso Download OR create your own https://youtu.be/JFMvUpdCMwo
  2. Download VMware Workstation Player Download
  3. Download MacOS Unlocker for VMware Workstation Download
  4. Install VMware Workstation Player, accepting the defaults
@ph33nx
ph33nx / WinMasterBlocker.bat
Last active June 9, 2025 06:55
Block All Adobe .exe files via Firewall on Windows Using Batch Script | Stop adobe apps to access internet
:: ################################################################
:: ## 🔥 WinMasterBlocker 🔥 #
:: ################################################################
:: # Author: https://github.com/ph33nx #
:: # Repo: https://github.com/ph33nx/WinMasterBlocker #
:: # #
:: # This script blocks inbound/outbound network access #
:: # for major apps like Adobe, Autodesk, Corel, Maxon, #
:: # and more using Windows Firewall. #
:: # #