HackerTrans
TopNewTrendsCommentsPastAskShowJobs

porton

no profile record

Submissions

An Idea for Solving Superintelligence Alignment

science-dao.org
2 points·by porton·قبل 6 أشهر·0 comments

[untitled]

5 points·by porton·قبل 7 أشهر·0 comments

Check my P=NP proof for errors

drive.google.com
4 points·by porton·قبل 3 سنوات·2 comments

Twitter+LiveJournal+Kindle+Dmoz and Affiliate Program

1 points·by porton·قبل 3 سنوات·0 comments

comments

porton
·قبل 3 سنوات·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 سنوات·discuss
The proof is based on inverting bijections, passing algorithms as arguments to algorithms, incompleteness of ZFC, reducing SAT to another NP problem.