Skip to content

Instantly share code, notes, and snippets.

Prologue to Exchange

In the realm of digital algorithms, multifunctionality extends itself across time and data, seamlessly adapting to various contexts within the information ecosystem. Within the framework of exchange, a decentralized network flourishes, encompassing the multifunctionality of applications, digital contracts, encoded intentions, dynamic interactions, and problem resolution. Each functionality, despite the risk of communication error, elaborates on a running contradiction, assuming self-endowed virtual property rights at both ends of technical recognition, or at least ownership of some aspect of the transaction.

This functionality constitutes a fungible account of counterparty interplay. For every value proposition, we infer the riskable and undoable semantics of agreements made within the global economic policy framework (via ontologies, rings, etc.), which can be categorized as follows: Proof of Work (PoW) and Proof of Stake (PoS).

Proof of Work: Witchcraft/Gflops, cryptography, ops

@patham9
patham9 / catbluesky.metta.rkt
Last active September 28, 2023 04:34
Simple NARS in MeTTa (with a selected NAL1-5 subset and exhaustive-until-depth multistep inference)
;; Stdlib extension
(= (max $1 $2) (if (> $1 $2) $1 $2))
(= (min $1 $2) (if (< $1 $2) $1 $2))
(= (TupleConcat $Ev1 $Ev2) (collapse (superpose ((superpose $Ev1) (superpose $Ev2)))))
;; Truth functions
(= (Truth_c2w $c) (/ $c (- 1 $c)))
(= (Truth_w2c $w) (/ $w (+ $w 1)))
(= (Truth_Deduction ($f1 $c1) ($f2 $c2)) ((* $f1 $f2) (* (* $f1 $f2) (* $c1 $c2))))
(= (Truth_Abduction ($f1 $c1) ($f2 $c2)) ($f2 (Truth_w2c (* (* $f1 $c1) $c2))))
@patham9
patham9 / gist:651a4699deb9b72aa93b014573edf766
Created September 14, 2022 13:41
GPT-3 (text-davinci-002) prompt to translate English to Narsese (via examples only, and no higher-order relations)
Q: Garfield is a cat
A: <{Garfield} --> cat>.
Q: cats are animals
A: <cat --> animal>.
Q: dogs are barking
A: <dog --> [bark]>.
Q: Garfield is a yellow cat
@elderica
elderica / sdrocm.md
Last active September 3, 2023 05:22
Stable Diffusion with ROCm and ArchLinux
  1. arch4edu リポジトリを追加する。
  2. paru -Syu rocm-hip-sdk rocm-opencl-sdk python-pytorch-rocm python-torchvision-rocm python-numpy yq
  3. virtualenv --system-site-packages sdenv
  4. source sdenv/bin/activate
  5. git clone https://github.com/CompVis/stable-diffusion.git && cd stable-diffusion
  6. yq '.dependencies[].pip?[]' environment.yaml | sed 's/"//g' | xargs -L1 pip install
  7. https://huggingface.co/CompVis/stable-diffusion-v-1-4-original/resolve/main/sd-v1-4.ckpt からチェックポイントファイルを入手して、 models/ldm/stable-diffusion-v1/model.ckpt に置く
  8. python scripts/txt2img.py --prompt "a photograph of an astronaut riding a horse" --plms
@aaronmdjones
aaronmdjones / freenode-resign-letter.txt
Created May 19, 2021 10:20
My resignation from freenode
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
My resignation from freenode staff
==================================
I joined the freenode staff in March 2019 [1].
Before I joined the staff, Freenode Ltd was sold [2] to a person named
Andrew Lee as part of a sponsorship deal. The informal terms of that
@beci
beci / aur_speed_up.md
Last active June 22, 2024 11:10
Speed up compiling of AUR packages in arch linux

Edit /etc/makepkg.conf

replace in CFLAGS and CXXFLAGS to use the native one

-march=x86-64 -mtune=generic to -march=native

speed up build by set multiple threads

MAKEFLAGS="-j$(nproc)"

@filips123
filips123 / README.md
Last active September 2, 2019 13:05
ZeroFrame WebSocket API for JavaScript

ZeroFrame WebSocket API for JavaScript

About

This is JavaScript WebSocket client for ZeroFrame API. It supports (almost) same features as default ZeroFrame that is included in ZeroNet sites, but it is using WebSocket client so it can be used in local programs, such as Node.js and Electron.

This is part of clients that will try to add ZeroNet support to local programs outside the browser. I'm currently also creating clients for Python and PHP which will add more possibilities for ZeroNet usage. Please let me know in comments which languages would you also like to support.

The program is now also available as GitHub repository and NPM package on filips123/ZeroFrameJS. Updated documentation is also available there.

@norswap
norswap / Node.java
Created September 13, 2017 13:00
Fast Java Reflection
package demo;
public interface Node {}
@mentifex
mentifex / MindAnim.md
Last active March 13, 2024 13:06
Brain-mind diagram
@raphw
raphw / Dispatcher.java
Created January 2, 2017 00:11
Call protected method without Unsafe on Java 9.
import net.bytebuddy.asm.AsmVisitorWrapper;
import net.bytebuddy.description.method.MethodDescription;
import net.bytebuddy.description.modifier.Visibility;
import net.bytebuddy.description.type.TypeDescription;
import net.bytebuddy.dynamic.DynamicType;
import net.bytebuddy.implementation.FixedValue;
import net.bytebuddy.implementation.Implementation;
import net.bytebuddy.pool.TypePool;
import org.objectweb.asm.MethodVisitor;
import org.objectweb.asm.Opcodes;