1)關於本網站的名字
這個名字最初來源於一個斷字的巧合。有一天我看見書上寫:
....possible to do something magic. Comput-
ers....
這樣,MagicComput 就產生了。最初我把它設計成一個專門討論計算數學(Computational Mathematics)的地方,因為我自己的工作跟這個很相關,名字也合適,還很像那個 J Sci Comput。但是我馬上想起很多學術社區裡都有的那些讓人不愉快的氛圍,微妙的種種,至少我自己的網站不能再變成那樣;而一個主題封閉、價值單一的社區是必然要變成那樣的。所以現在,專門討論計算數學的地方當然還是存在,而且本網站主要的學術議題還是計算數學;但學術議題本身不再是這裡唯一的重要部分。您將能看到本網站的區域和板塊是這樣分佈的:
MagicComput
├── Syldavia (Computational Mathematics)
│ ├── Theory&Proofs
│ ├── Algorithms&Methods
│ ├── CrossDiscipline
│ ├── Software&HPC
│ └── Career&Community
├── St. Theodoros (General Community Beyond Academic)
│ ├── Offbeat
│ ├── Scandalous
│ ├── Respawn
│ ├── Haven
│ ├── Fiction Forge
│ ├── Resonance
│ └── NSFW
└── Moulinsart (Moderation)
├── Standby
└── Idle
除了 Moulinsart 是社區管理相關, Syldavia 和 St. Theodoros 就是兩個主要區域。我沒有完全分成兩個網站,而且更沒有把 St. Theodoros 當成閒聊版放在 Syldavia 下面。必須不厭其煩地再次說明這樣做的意思:計算數學是本網站主要討論的學術議題,所以沒有專門討論其它學術議題的區域;但是本網站現在並不是只能討論學術議題,也不認為其他議題是學術議題的附屬品,所以 St. Theodoros 是一個有獨立價值的區域。這樣,做數學的人可以使用本網站,不做數學的人也可以使用本網站。換句話說,我只是不想象通常那樣建兩個單獨的網站。那樣的話就不僅有兩倍於現在的服務器和域名費用,還意味著主張一種徹底的隔離;而我其實反對把數學工作者和自然世界的關係想象成類似於伊斯蘭教裡穆罕默德和安拉的關係。
Syldavia,St. Theodoros,和 Moulinsart 這些區域的代號取自名漫畫《丁丁歷險記》中的架空地名。在那裡,Syldavia 是一個嚴肅的歐洲國家,St. Theodoros 是一個新型的南美國家, Moulinsart 是酒鬼船長的城堡。
2)Syldavia(不關心數學的人可以不看這一段)
Syldavia 裡有著五個明確的板塊,每一個的主題正如它們的名字所顯示的那樣;特別是專門含有一個關於理論證明的板塊和一個跨界發展的板塊。這樣設計的目的是為了強調計算數學也是一個嚴肅的數學分支,它不是在離散層面模仿連續層面的結果,也不是計算機軟件的附庸。假如您發明了一個新的數值格式。如果您的電腦內存(RAM)很小,您可能只能用數千階的線性方程組來試驗您的格式,但這不自動意味著這個格式缺乏正確性;如果您的電腦內存很大,可能可以解數百萬階的線性方程組,這也不意味著這個格式自動有了正確性。這個正確性就需要證明——和其他所有數學分支裡一樣的那種證明。計算數學和其他數學分支、其他領域的聯繫也都會產生全新的結果。例如 Courant-Fischer 引理雖然在今天更多地在數值線性代數課程裡介紹,但它完全有著獨立於求解部分特征值問題的價值;它曾經切實地影響了連續算子的譜的理論。最近幾年的 FEEC 是另一個例子,它一方面說明計算數學中已有的舊方法還不夠;另一方面說明如果能和其它數學分支全力合作,那麼不僅可以解釋舊的方法、發展新的方法,還將改變整個數學的面貌。其他科學領域常會帶來全新的問題的提法,據我的所知,很多這類問題在等待確定的數值方法,還有一些甚至連解的存在唯一性都沒有確定。僅靠計算數學當然無法徹底的解決它們,但是至少可以從某些方面部分地解決。所以跨界發展板塊十分歡迎其他領域的從業者提出他們遇到的涉及計算的問題,而且,因為計算數學人士沒有其他數學分支的人士那樣集中(不是只在學校裡,而且還廣泛分佈在企業,實驗室,船上等各種地方),尤其歡迎非學界的計算數學人士發表他們的計算問題和實踐。
這個區域必須部分地同時區別於學術社區和技術支持社區. 這些區別的例子:
例 1. 某人用 [Theory&Proofs, Stuck] 關鍵詞提出問題: 爲什麼 Lagrange 型元是 H^{1}-協調 (conforming) 的? 不鼓勵回覆此人 ``作業自己寫''
例 2. 鼓勵提出問題: 爲什麼 Microsoft Excel 不宜於做大規模的計算? 反之, 不鼓勵提出問題: Microsoft Excel 這個按鍵怎麼點不動?或者:我要用 Microsoft Excel 操縱股市控制世界應該怎麼辦?
整個網站支持 LaTeX 環境,我是用 Mathren 來加載這些表達式的,因為它對預覽足夠友好。輸入公式的語法和通常在 LaTeX 編輯器裡的一樣。在編輯過程中,您可以通過點擊預覽按鈕(具人眼形者)來檢查您的公式會否渲染正確。
3)St. Theodoros(只關心數學的人也最好看一下)
St. Theodoros 是一個不附加於 Syldavia 的、可以相當程度獨立的存在的綜合區域,它容許除了計算數學之外的所有內容。有著七個板塊,它們的功能和它們各自的名字一樣,有一個總的印象,但除了 NSFW 之外,不是非常明確的。因為我並沒有那種預想,說我一定不歡迎某一類人;因此目前可以完全按照自己的理解使用這些板塊,或者先觀察其他人(如果有了的話)的用法。也就是說,這七個板塊不是這個區域的最終形態。隨著自然的演化,它們可能需要更名、增加或合併。如果您某天有了一個理由認為需要這樣做,可以在 Moulinsart 的 Standby 板塊提出意見。另外,由於本網站的服務器設在公海,目前沒有什麼關於言論內容的限制。但是可能會出現這樣的情況,即您的某些貼文不想被我(如果您認識我)或者本網站的某些其他用戶看見。對於此種情形(但不只是為了此種情形),本網站還有著兩個富於開創性的功能:
a)私密討論:您可以在發帖前選擇它的可見範圍。您選中的用戶也可以退出。在最後一個人退出之後,這個帖子將被刪除;而沒有被您選擇的用戶(包括我,如果您沒有選擇我的話)將無法閱覽這個帖子。請您務必放心,我已經改寫了用於實現私密討論的 byobu,這些貼文在服務器中是以密文存儲的,這一點您可以隨時檢驗——而我也不會專門連上服務器就為了找您的密文。
b)檢舉:當您按下檢舉按鈕時,不會自動隱藏帖子,更不會把其內容自動提交給所謂的相關管理部門。頂多是彈一個站內信給我,而除了極少數情形之外(比如有人聲稱要把網站搞癱瘓,或者有人搞社會工程學),我一般不會去管。真正嚴重的問題請通過註冊時發您驗證郵件的那個郵箱告訴——但這裡的重點是您檢舉過的部分從此之後只會對您顯示「你說得對」四字;而當然對沒有檢舉的人是正常顯示的。
4)Moulinsart
Moulinsart 是版務管理區域,有著 Standby 和 Idle 兩個板塊。後者目前不用。在 Standby 裡,您可以發佈各類和網站運營相關意見,例如關於 LaTeX 環境的問題、關於 St. Theodoros 的板塊、您發現的網站的 bug 和可改進之處,等等。如果您的意見只想對我一個人講(目前管理員只有我一個),也可以通過發佈私密討論;當然,請不要用它來幹打小報告這種事情。我雖然全面反對儒教的學說,但是孔丘那個「父為子隱,子為父隱,仁在其中矣」在某些時候真是超前啊!
5)關於登錄和註冊機制. 外鏈
本網站使用四元組 (username, nickname, password, email) 來註冊和登錄. username 是自定的, nickname 可以隨時更換, 並接受臨時或一次性的 email(您甚至可以填一個只是形式上符合格式的字符串——例如eudh@whau.sq,但那樣您將無法完成驗證環節從而不能發言,也不能「忘記密碼?」)。因此, 和真實的身份沒有關聯. 與著作權或保密相關的事項同等地與任何人無關 (如果某人因在本網站發佈的內容被指泄露商業機密, 則除了此人自己有責任之外, 別人都沒有責任; 即使別人看到了甚至應用了這個商業機密).
在此種情形下, 爲了您的安全性 (服務器確實在公海,但是要注意``順風耳'' 和耳並沒有關係), 有着如下的機制: 在您註冊一個賬號之時, 本網站生成一個與這個賬號對應的序列, 該序列對這個賬號是不變的 (即使您修改 nickname 或 password), 稱爲是 invariant. 每次登錄時, 在鍵入 username/email 之後且 password 之前, 本網站將顯示此 invariant, 您必須確認它和註冊時的那個序列一致, 再鍵入密碼登錄.
THE INVARIANT DOES NOT COINCIDE = YOU ARE IN PHISHING!
目前, 可以自刪串文但不能自行註銷賬號 (我也不能註銷別人的賬號, 除非從 MySQL 裏刪掉; 但關聯表也很難清理乾淨).
本網站有著上傳圖片、視頻和共享文件的功能,其中「共享文件」是對所有用戶可見的。在帖子裡,您當然需要發送圖片和視頻,可是由於我們的服務器目前內存和硬盤都並不大(目前只有20 多 GiB 硬盤和 2GiB RAM),我建議對較大的視頻和文件採取別的策略。例如,當您在帖子裡推薦一個十幾分鐘的長視頻時,您可以改為附上一個指向此視頻的鏈接(例如視頻網站,或您的網盤地址),而不是自己下載這個視頻後再上傳到本網站。當您推薦書籍和長篇文章時也類似;如果它們反響很好,再把 .pdf 檔加入共享文件中。