Zelah "The Hermit" Hutchinson
https://web.archive.org/web/https://ytp.me
"If I believe in causation then the very existence of the universe is a mystery but if I see only correlation then there is no mystery at all"
CORE [6633442536]
Hazel
Zelah
https://web.archive.org/web/https://c2l.puter.site
https://web.archive.org/web/https://car.puter.site
https://web.archive.org/web/https://core.puter.site
enter number (decimal or binary): 6633442536
cut and paste bits to the right of the first zero bit
paste into "control input" field and then compress
scroll down and select the specified output: 7475883130
scroll up and auto decompress
choose the specified output below
"copy binary" from the "collected bits"
paste to the right of the input bits
round trip: 6633442536
see what happens when you try automated decompression of random looking numbers - this is how you encode information ;)
MODULE AbsModule;
IMPORT Out, SYSTEM;
PROCEDURE Abs(x: INTEGER): INTEGER;
VAR
res: INTEGER;
BEGIN
IF x < 0 THEN
res := -x
ELSIF x = 0 THEN
res := 0
ELSE
res := x
END;
(* Runtime test: input equals output or negation of output, and output is positive or zero *)
IF NOT (res >= 0 AND (x = res OR x = -res)) THEN
Out.String("Assertion failed in Abs: input /= output and input /= -output or output < 0"); Out.Ln;
SYSTEM.Halt(1)
END;
Abs := res
END Abs;
BEGIN
Out.String("Abs(-5) = "); Out.Int(Abs(-5), 0); Out.Ln;
Out.String("Abs(0) = "); Out.Int(Abs(0), 0); Out.Ln;
Out.String("Abs(7) = "); Out.Int(Abs(7), 0); Out.Ln
END AbsModule.
% Reversible factorial relation
% fact(N, F) is true when F = N!
% Works when N is given, when F is given, or when both are variables.
