newsBooleanAlgebrasIntro2 - News

 
 

This project is semi-permanently retired

Item posted by Daniel Wyckoff <deluger> on Mon 30 May 2022 04:07:09 PM UTC.

My final consensus of Coq is that it's the most powerful language whose behavior no one can explain.  People often criticize math formalization for not doing enough.  I am officially stopping Coq development after 8 years because it does TOO MUCH. It was the main work that flipped a bit in the Great Spirit and made me happy with honey! Now it's been creating spaces that's been making me go bonkers, and messing with Hell too mysteriously. And in Los Angeles, Hell's rampant. Coq is the greatest quid pro quo language ever created, and confuses your political enemies who turned you into a pawn.  Now they're math pawns.  I can't really download zip files any more, due to some political Web 3.0 attack or malware, and the bottom line is no one's investing in my safety, so the new project Atomizer will have to be private, and hopefully published as a literate CWEB program file, because the only thing scarier to Satanists than a program that messes with their spaces, is a guitar chord engine that turns you into a cat with scary stares that change files untraceably.  Thanks to Free Software Foundation for giving me this wonderful venue.  The final step in Reichel's Recursion Theorem for term algebras is a rabbit hole that scares all hell-holes and needs to be caulked!  I got pretty far, but the only way I can complete it is in some type of new milieu. 
So, no more Savannah, as I deal with a guitar engine (Atomizer) whose main gimmick will be morphic binary files, and thank god it's in a file format no one cares about.  Once we have bots changing every one's binary files, then people will take this math niche seriously (Boolean algebras, partial algebras, Young tableaux).  Blockchain signatures are probably the easiest and hardest sell for math formalization, but that's just superstition. 
Wish me the best of luck in completing Atomizer privately, and hopefully staying financially afloat!
Happy Hacking!

Back to the top

Powered by Savane 3.13-02a9.
Corresponding source code