HackerTrans
トップ新着トレンドコメント過去質問紹介求人

porton

no profile record

投稿

An Idea for Solving Superintelligence Alignment

science-dao.org
2 ポイント·投稿者 porton·6 か月前·0 コメント

[untitled]

5 ポイント·投稿者 porton·7 か月前·0 コメント

Check my P=NP proof for errors

drive.google.com
4 ポイント·投稿者 porton·3 年前·2 コメント

Twitter+LiveJournal+Kindle+Dmoz and Affiliate Program

1 ポイント·投稿者 porton·3 年前·0 コメント

コメント

porton
·3 年前·議論
https://github.com/vporton/xml-boiler and https://github.com/vporton/xml-boiler-dlang

It was written a specification (draft but already "functional") for automatic transformation and validation of complex (possibly multi-namespace) XML documents based on namespaces, written a software (XML Boiler) to implement these transformations. Written a short tutorial for XML Boiler.

This is HTML and LaTeX "killer".

Most of the specification was implemented in Python programming language. This project prototype "XML Boiler" is already nearly complete and is practically useful.
porton
·3 年前·議論
The proof is based on inverting bijections, passing algorithms as arguments to algorithms, incompleteness of ZFC, reducing SAT to another NP problem.