University of Califorinia

Today I invested in a University California Mutual Fund from my initial investment was $500. I did test as a INTJ-T at UC Fullerton. I would like my computer science degree after all the damage the state of Virginia caused me after 2000 and to be called a star or celebrity. And my BONIC account since 2002.

The Intervening State

The increasing interest in the genetic causes of mental disorders may exacerbate existing stigma if negative beliefs about a genetic illness are generally accepted. China’s history of policy-level eugenics and genetic discrimination in the workplace suggests that Chinese communities will view genetic mental illness less favorably than mental illness with non-genetic causes. The aim of this study is to identify differences between Chinese Americans and European Americans in eugenic beliefs and stigma toward people with genetic mental illness.

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3141094/ 

Please read the Royal Society of the Arts Journal 

Issue 3 2021

https://www.thersa.org/rsa-journal/2021/issue-3/foreword/rsa-journal-issue-3-2021

After I was hospitalized in 2021 a few local hospital executives were fired by RSA. Because I claimed domestic security in my home.

After further research eugenics is bad science according to Princeton University.

X-Matches is a better way to go.

LEO-II and Satallax on the Sledgehammer test bench

 Sledgehammer is a tool that harnesses external first-order automatic theorem provers (ATPs) to discharge interactive proof obligations arising in Isabelle/HOL. We extended it with LEO-II and Satallax, the two most prominent higher-order ATPs, improving its performance on higher-order problems. To explore their usefulness, these ATPs are measured against first-order ATPs and built-in Isabelle tactics on a variety of benchmarks from Isabelle and the TPTP library. Sledgehammer provides an ideal test bench for individual features of LEO-II and Satallax, revealing areas for improvements.

https://www.sciencedirect.com/science/article/pii/S1570868312000766 

LEO II Download https://page.mi.fu-berlin.de/cbenzmueller/leo/download.html

 

Formalization, Mechanization and Automation of Gödel's Proof of God's Existence

" Gödel's ontological proof has been analysed for the first-time with an unprecedent degree of detail and formality with the help of higher-order theorem provers. The following has been done (and in this order): A detailed natural deduction proof. A formalization of the axioms, definitions and theorems in the TPTP THF syntax. Automatic verification of the consistency of the axioms and definitions with Nitpick. Automatic demonstration of the theorems with the provers LEO-II and Satallax. A step-by-step formalization using the Coq proof assistant. A formalization using the Isabelle proof assistant, where the theorems (and some additional lemmata) have been automated with Sledgehammer and Metis"

https://arxiv.org/abs/1308.4526 

Building Netbeans at HPE

 In 2019. I was given access to HP's FTP server with I cached in collage all I got done after all my course work was building Netbeans 8.1 with java and ant in contract with HPE. I'm still working with that contract it has no expiration date. Neatbeans uses XML to build java and the internet. There are about 75 projects in the Netbeans build. In older versions the 'build.xml' file is at the the root of the directory and uses Apache Ant. Today it's built in the nbbuild directory It's my belief that Visual Studio is Oracle Developer Studio or it's more liberal counterpart Oracle now Apache Netbeans. Stemming back from Visual Studio 4.0 for Alpha, MIPS and x86. You can also use SharpDevelop from Oracle I'm also still working my the 2003 SCO contract with 2003 which was probably finished with Vista but I had to go to college.I have until 2029 with SCO and Microsoft. I personally build netbeans with netbeans I build 8.1 with 8.0 and just ran the build target from within netbeans.

MS-DOS and Windows 3.1

 

Lately I've been building MS-DOS and remember a self extracting Windows 3.1 for workgroups file that gives me all of the files not in a floppy but in a self extracting executable to just record onto CD-R or CD-RW and move into my MS-DOS installation. The file is 'en_wfw311.exe' and is subscription only. You also need the Microsoft MS-DOS CD-ROM Extensions 1.25. Theoretically you can find all of the 3.1 source from old samples and NT4/2000/2003 source. All of this old software I visualize in virtual machines.

"Source code for Windows 286/386/3.1 can be found with the leaked NT 4.0 source in ~\private\mvdm\wow16\kernel31