HackerTrans
TopNewTrendsCommentsPastAskShowJobs

porton

no profile record

Submissions

An Idea for Solving Superintelligence Alignment

science-dao.org
2 points·by porton·6 maanden geleden·0 comments

[untitled]

5 points·by porton·7 maanden geleden·0 comments

Check my P=NP proof for errors

drive.google.com
4 points·by porton·3 jaar geleden·2 comments

Twitter+LiveJournal+Kindle+Dmoz and Affiliate Program

1 points·by porton·3 jaar geleden·0 comments

comments

porton
·3 jaar geleden·discuss
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 jaar geleden·discuss
The proof is based on inverting bijections, passing algorithms as arguments to algorithms, incompleteness of ZFC, reducing SAT to another NP problem.