--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/auto-proof.rst Sat Mar 28 18:41:50 2009 +0200
@@ -0,0 +1,49 @@
+-*- outline -*-
+
+* proofgeneral.
+
+ $ sudo apt-get install proofgeneral
+ $ sudo apt-get install proofgeneral-coq
+ $ sudo apt-get install proofgeneral-misc
+ $ sudo apt-get install proofgeneral-doc
+ $ sudo apt-get install proofgeneral-minlog
+
+or build from source:
+
+ $ make clean
+ $ make compile EMACS=xemacs
+ $ cat ~/.emacs
+...
+(load-file "dir/generic/proof-site.el")
+...
+
+See
+
+ http://proofgeneral.inf.ed.ac.uk/
+
+* Isabelle.
+
+Isabelle is a generic proof assistant.
+
+It allows mathematical formulas to be expressed in a formal language and
+provides tools for proving those formulas in a logical calculus. The main
+application is the formalization of mathematical proofs and in particular
+formal verification, which includes proving the correctness of computer
+hardware or software and proving properties of computer languages and
+protocols.
+
+See
+
+ http://isabelle.in.tum.de/overview.html
+ http://en.wikipedia.org/wiki/Isabelle_(theorem_prover)
+
+* IsarMathLib.
+
+This site is an experimental HTML rendering of fragments of the IsarMathLib
+project. IsarMathLib is a library of mathematical proofs formally verified by
+the Isabelle theorem proving environment. The formalization is based on the
+Zermelo-Fraenkel set theory.
+
+See
+
+ http://isarmathlib.org/
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/laser-disk.rst Sat Mar 28 18:41:50 2009 +0200
@@ -0,0 +1,43 @@
+-*- outline -*-
+
+* What best DVD-R or DVD+R?
+
+The DVD-R format was developed by Pioneer in 1997 vc DVD+R in 2002 by Sony.
+
+DVD+R format was not an official DVD format until January 25, 2008.
+
+DVD-R(W) and DVD+R(W) format are incompatible.
+
+DVD-R(W) use amplitude modulation, DVD+R(W) use phase modulation, so more reliable.
+
+On multi-session DVD-R(W) disk any session take up to 96 MB in time on DVD+R(W)
+every session take exactly 2 MB.
+
+DVD+R(W) win!
+
+See
+
+ http://en.wikipedia.org/wiki/DVD-R
+ http://en.wikipedia.org/wiki/DVD%2BR
+
+* What capacity of DVD?
+
++----------+-------------------------------------------+
+| | Capacity |
++ Type +-----------+---------------+------+--------+
+| | sectors | bytes | GB | GiB |
+| | 2,048B | | | |
++----------+-----------+---------------+------+--------+
+|DVD-R (SL)| 2,298,496 | 4,707,319,808 | 4.7 | 4.384 |
+|DVD+R (SL)| 2,295,104 | 4,700,372,992 | 4.7 | 4.378 |
+|DVD-R DL | 4,171,712 | 8,543,666,176 | 8.5 | 7.957 |
+|DVD+R DL | 4,173,824 | 8,547,991,552 | 8.5 | 7.961 |
++----------+-----------+---------------+------+--------+
+
+
+
+
+
+
+
+
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/video-file.rst Sat Mar 28 18:41:50 2009 +0200
@@ -0,0 +1,23 @@
+-*- outline -*-
+
+* Players for linux?
+
+ $ sudo apt-get install vlc
+or
+ $ sudo apt-get install mplayer
+
+* How convert .3gp to .avi(mpeg)?
+
+First install convertor:
+
+ $ sudo apt-get install ffmpeg
+
+Then do:
+
+ $ ffmpeg -i video-in.3gp -b 250 -s 160×120 -r 15 -f avi -an video-out.avi
+or
+ $ mencoder -oac mp3lame -ovc lavc -o video-out.avi -vf pp,2xsai,scale video-in.3gp
+or
+ $ mencoder -o video-in.avi -vf pp,2xsai,scale -ovc lavc video-out.3gp
+or
+ $ mencoder -o video-in.avi -vf rotate=2 -oac pcm -ovc divx4 video-out.3gp