[INCLUDE TH/speedbar.blogme] [SETFAVICON http://angg.twu.net/eev-current/eev-icon.png] [# (defun c () (interactive) (let ((output (find-sh0 "cd; blogme/blogme2.lua -o TH/L/index.html -i TH/index.blogme"))) (if (equal output "") (message "ok") (find-estring output)))) ;; (find-w3m "~/TH/L/index.html") ;; (find-sh "cd /tmp; cp ~/TH/L/index.html 0.html; tidy 0.html > 1.html") ;; (find-sh "cd /tmp; cp ~/TH/L/index.html 0.html; tidy -q 0.html > 1.html") ;; (find-man "1 tidy") #] [SETHEADSTYLE ul, ol, pre, dl /* , p */ { margin-top:0px; margin-bottom:0px; } code { white-space: nowrap; } .vspace { margin-top:1.33em; } .indent { margin-left:40px; } LI { list-style: disc } ] [lua: def [=[ IMAGE_R 2 url,text [["
$[text] ]] ]=] LR = R L = R -- (find-wdgrefw3m "html40/lists/li.html") -- (find-wdgrefw3m "css/classification/list-style.html") ] [# ----( end of header )---- #] [htmlize [Q Angel's Egg - the home page of Eduardo Ochs (a.k.a. Edrx)] [# P (Nov/2006: [COLOR red [Q estou tendo que me mudar. Maiores informações aqui:]] [R desalojados.html desalojados procuram])] [P Welcome! I'm a [HREF math-b.html mathematician, logician, categorist and type-theorist] who used to do computer programming and Free Software activism in his spare time... I have a [HREF #eev Free Software project] that I consider extremely important, and I have decided that I [BF have] to spend a few years outside of the academic world working on day jobs related to Free Software in order to concentrate better on it and make it as usable and well-known as possible.] [P [IT The world does need simpler ways to understand Type Theories and categorical models, true, but it [RM [BF desperately]] needs to reduce computer illiteracy and other illiteracies and to realize the importance of Free Software and Free Information. The Eev Project is an effort against illiteracies, and it has stayed underground for far too long; type theory will have to wait.]] [P (Note, 2007mar14: sorry, this site is currently a mess... I'm rewriting parts of the tools that I use to generate the pages in html - [HREF [-> blogme] BlogMe] and [HREF [-> th] TH] -, I'm adding an interactive mode to [HREF [-> dednat4] Dednat4], and I'm [HREF [-> cv] looking for a job]...)] [#  eev, which is a tool for automating almost everything, dednat4, for typesetting trees and categorical diagrams, my outdated page on categorical semantics, BlogMe, that generates the html of these pages, a list of all of my little (extensible) languages, other programs in Lua and Forth, other things related to Emacs, my pages on Tcl/Tk/Expect, Icon, and (La)TeX, how to contact me (and my CV), my pages on (micro)politics, veganism and the CoE, my personal pages. Of all these topics eev is by far the most important. Paraphrasing Neal Stephenson: eev outshines all my other projects in approximately the same way that the noonday sun does the stars. It is not just bigger and brighter; it simply makes everything else vanish. Between mid-2006 and march 2007 there were no announcements in the mailing list, no releases of new numbered versions, no public announcements, no nothing - I mean, nothing visible... Yet, the development of eev was not stalled in this period, much on the contrary - but it was moved underground. Something happened in 2006, and I finally understood that eev only makes sense to people who can visualize its usage patterns - and these usage patterns, that were natural to me because of my Forth roots, are totally alien to modern people... I had to document them, and News on eev: eev-mini.el and eev-mini-steps.el implement all the main ideas in eev in a a few hundred lines of code. what is exactly "to automate a task"? One way of formalizing that idea involves thinking about states and transitions, and to visualize that we can use certain diagrams where states are represented by screenshots... I wrote half of an article about that. Related projects: dto's linkd, langhelp, xwem, mwe-log-commands #] [DEF BOX 1 boxtext [TABLE+ border="1" [TR [TD+ align="left" [$ boxtext]]]]] [DEF EEVLISTREF 3 gmaneurl,mlurl,elrtext [LI ([HREF [$ gmaneurl] gmane], [HREF [$ mlurl] arch]) [$ elrtext]]] [DEF MYFOO 1 ulstuff [BOX If you are new to this site then [BR]please start by these links: [UL+ [$ ulstuff] [LI an article about eev ([HREF eev-article.html HTML], [HREF http://angg.twu.net/eev-current/article/eev.pdf PDF], [HREF eev-current/article/eev.txt.html ASCII text])] [LI animations in Flash: [HREF http://angg.twu.net/eev-current/anim/channels.anim.html channels], [HREF http://angg.twu.net/eev-current/anim/gdb.anim.html GDB]] [LI mailing list: [HREF http://lists.gnu.org/archive/html/eev/ archives], [HREF http://lists.nongnu.org/mailman/listinfo/eev subscription], [HREF http://dir.gmane.org/gmane.emacs.eev.devel gmane]] ] Main articles in the mailing list: [UL+ [$ ulstuff] [EEVLISTREF http://article.gmane.org/gmane.emacs.eev.devel/28 http://lists.gnu.org/archive/html/eev/2005-12/msg00003.html sending lines one at a time to buffers] [EEVLISTREF http://article.gmane.org/gmane.emacs.eev.devel/32 http://lists.gnu.org/archive/html/eev/2005-12/msg00007.html eethrow (by Rubikitch)] [EEVLISTREF http://article.gmane.org/gmane.emacs.eev.devel/33 http://lists.gnu.org/archive/html/eev/2005-12/msg00009.html unifying the single-steppers] [EEVLISTREF http://article.gmane.org/gmane.emacs.eev.devel/25 http://lists.gnu.org/archive/html/eev/2005-12/msg00000.html langhelp (by Rubikitch)] [EEVLISTREF http://article.gmane.org/gmane.emacs.eev.devel/20 http://lists.gnu.org/archive/html/eev/2005-07/msg00017.html "(require 'eev)" considered harmless] [EEVLISTREF http://article.gmane.org/gmane.emacs.eev.devel/21 http://lists.gnu.org/archive/html/eev/2005-07/msg00018.html a demonstration mode] [EEVLISTREF http://article.gmane.org/gmane.emacs.eev.devel/9 http://lists.gnu.org/archive/html/eev/2005-06/msg00000.html psne and TeX] [EEVLISTREF http://article.gmane.org/gmane.emacs.eev.devel/4 http://lists.gnu.org/archive/html/eev/2005-04/msg00001.html big modular e-scripts] [EEVLISTREF http://article.gmane.org/gmane.emacs.eev.devel/6 http://lists.gnu.org/archive/html/eev/2005-05/msg00001.html eev-ttp: links with arbitrary text] [EEVLISTREF http://article.gmane.org/gmane.emacs.eev.devel/12 http://lists.gnu.org/archive/html/eev/2005-06/msg00003.html glyphs for typesetting mathematics] [EEVLISTREF http://article.gmane.org/gmane.emacs.eev.devel/16 http://lists.gnu.org/archive/html/eev/2005-06/msg00007.html simple CGIs] ] ] ] [MYFOO [STYLE margin-left: -1em]] [P The [LR http://www.gnu.org/software/emacs/emacs-paper.html 1979 paper about Emacs] by RMS ([LR http://www.gnu.org/software/emacs/emacs-paper.html#SEC29 *]), [LR http://www.gnu.org/gnu/rms-lisp.html Lisp Conference speech of 2002.] ] [P Quick index:] [LIST2 [HREF #eev The eev project] [HREF #math Mathematics, Logic and Semantics] [J Creating [HREF #littlelanguages little extensible languages]] [J The Free Software movement: [J local (Rio de Janeiro / Brazil)], [J global]] [HREF #debian Debian] [J Programming languages: [HREF [-> lua] Lua], [HREF [-> forth] Forth], [HREF [-> icon] Icon], [HREF #Tcl Tcl/Tk/Expect], [HREF #C C], [HREF #TeX TeX and LaTeX], [HREF ruby.html Ruby] ] ] [P (2005feb21: started to rewrite these pages using [HREF littlelangs.html#blogme BlogMe]. Sorry for the mess...)] [P In 2004 I tried to convert these pages to emacs-wiki - I have not gone very far, though. [A0L WebWiki/WelcomePage.html Visit the emacswikified pages].] [# RULE ------------------------------------------------------------- ] [P [BF Hey!] I'm applying for an academic position involving research, but there's no chance of me being hired for it before jan/2006. Maybe I'm the right person for a job that you have? Here's my CV in [HREF CV/cv-edrx-2005-pt.pdf PDF], [HREF CV/cv-edrx-2005-pt.ps.gz ps.gz], and its [HREF CV/cv-edrx-2005-pt.tex.html LaTeX source]. (It's in Portuguese only at the moment.)] [RULE ------------------------------------------------------------- ] [DEF EEVRELEASE 2 date,version [COLOR orange [$ date]]: [HREF eev-[$ version].tar.gz eev-[$ version]] released. ] [HLIST1 [J The [NAME eev eev] project, computer tourism, and related topics (about making free information easier to use):] [HLIST2 [J The [COLOR orange current version] of eev:] [J The [HREF eev-current/VERSION timestamp] of the last upload.] [J Its [HREF eev-current/README.html README] (slowly being replaced by TeXinfo docs).] [J How to [AL eev-current/INSTALL INSTALL]. Requires changing some rcfiles, but that can be done automatically and uninstalling is very easy.] [J [L eev-current.tar.gz]; individual files at [L eev-current/].] [J Incomplete lists of changes: [AL eev-current/NEWS NEWS] and [AL eev-current/ChangeLog ChangeLog].] ] [J [COLOR orange 2005may18]: work in progress: an [COLOR purple [BF article about eev]] ([HREF http://angg.twu.net/eev-article.html html], [HREF http://angg.twu.net/eev-current/article/eev.pdf pdf], [HREF http://angg.twu.net/eev-current/article/eev.ps.gz ps.gz]), called "Emacs and eev, or: How to Automate Almost Everything".] [J [COLOR orange 2005apr21]: now eev has a mailing list at Savannah: [R http://lists.nongnu.org/mailman/listinfo/eev].] [HLIST2 [J [COLOR purple [BF Animations]] about eev in [LR http://gplflash.sourceforge.net/ SWF format], created with [R http://www.unixuser.org/~euske/vnc2swf/rec_vncserver.html vnc2swf]:] [J [COLOR orange 2005mar23:] One about [LR http://angg.twu.net/eev-current/anim/gdb.anim.html [BF eev-bounded and GDB]]] [J [COLOR orange 2005feb21:] One about [LR http://angg.twu.net/eev-current/anim/channels.anim.html [BF communication channels (to xterms)]]] ] [J [EEVRELEASE 2004dec31 0.95.0] See: [HREF eev-current/INSTALL-0.95.0 INSTALL-0.95.0].] [EEVRELEASE 2004apr02 0.94.1] [EEVRELEASE 2004mar25 0.94.0] [EEVRELEASE 2002jul21 0.93a] [EEVRELEASE 2002may17 0.93] [EEVRELEASE 2001dec03 0.92] [EEVRELEASE 2001nov28 0.91] [EEVRELEASE 2001jul27 0.90] [LR http://www.gnu.org/brave-gnu-world/issue-13.en.html Brave GNU World published an article about eev in #13.] [J [MYL eev-manifesto.html The original eev manifesto], written in december '99.] [HLIST3 [J Other old things:] [J [MYL tourism.html A brief statement about tourism], and [MYL README.html practical instructions for visiting my environment].] [J [MYL why-users.html Why users should not exist] (unfinished).] ] [ES tcl-cipsga Some e-scripts about the basic concepts of Tcl (in Portuguese).] ] [P Related projects: Howm ([HREF http://www.emacswiki.org/cgi-bin/wiki/HowmMode EmacsWiki], [HREF http://howm.sourceforge.jp/ main], [HREF http://howm.sourceforge.jp/cgi-bin/hiki/hiki.cgi?e.FrontPage wiki], [HREF http://lists.sourceforge.jp/mailman/archives/howm-eng/ mailing list]), [HREF http://www.nongnu.org/rcirc/ rcirc] ] [RULE ------------------------------------------------------------- #] [HLIST1 [J [NAME math] Mathematics, Logic and Semantics:] [J [COLOR orange 2005mar02:] [R math-b.html a new version of my math page].] [MYL math.html My old math page]. [MYL logic.html Some old (and mostly broken) links on logic]. [HLIST2 [J Packages to help editing and TeXing maths on a computer:] [J [HREF vtutil4/ vtutil4] (and its ancestor, [MYL vtutil.html vtutil]) let us replace some characters of a console font by mathematical symbols.] [J For something related that works on X, see [LR http://article.gmane.org/gmane.emacs.eev.devel/12 this posting in the eev mailing list]. Source files: [HREF eev-current/eev-glyphs.el.html eev-glyphs.el], [HREF eev-current/eev-math-glyphs.el.html eev-math-glyphs.el].] [J A preprocessor for (La)TeX for typesetting categorical diagrams and deduction trees: [HREF math-b.html#dednat4 dednat4]. Its ancestors, like [MYL dednat.html dednat.lua], supported only deduction trees; the first version was [AL LATEX/dednat.icn this one-hour hack] written in [HREF #Icon Icon] (I don't understand its code anymore).] ] ] [DEF MYTABLE_3 3 upperleft,right,lowerleft [TABLE+ border="0" [TR+ align="center" [TH [$ upperleft]] [TH+ rowspan="2" [$ right]] ] [TR+ align="center" [TH [$ lowerleft]] ] ] ] [MYTABLE_3 [HREF vtutil4/ [IMG IMAGES/exists-shot.png VT]] [HREF math-b.html#dednat4 [IMG IMAGES/trans.png transitivity in an EqFibration]] [HREF vtutil4/ [IMG IMAGES/exists-xdvi.png xdvi]] ] [RULE -------------------------------------------------------------- ] [# -------------------------------------------------------------- #] [HLIST1 [J Other computer things (mostly programs):] [HLIST2 [J [NAME Emacs] Emacs:] [J [MYL emacs.html Emacs] is a Lisp environment that is excellent for editing all sorts of things. When coupled with Expect it can be used to edit (? - sorry, I couldn't find a better expression for that) our interactions with the system. [A0L index.html#eev Read more].] [J The site of the [LR http://www.dina.dk/~abraham/religion/ Church of Emacs] has several nice links, curiously; one of the best serious ones is this text, [LR http://www.messengers-of-messiah.org/~csebold/emacs/why.phtml "Why I became an Emacs user"], by [LR http://www.messengers-of-messiah.org/~csebold/emacs/ Charles Sebold].] [J My (outdated) [A0L emacs.html Emacs page].] [LR http://www.emacswiki.org/] ] [HLIST2 [J [NAME OSs] Operating systems and distributions:] [LR http://hurd.gnufans.org/ Hurd Wiki at http://hurd.gnufans.org/] [LR http://debian.fmi.uni-sofia.bg/~ogi/hurd/links/ Ognyan Kulev's Hurd links] [MYL debian.html Debian GNU/Linux], [J [MYL redhat0.html RedHat] [<][L http://www.gnu.org/gnu/linux-and-gnu.html GNU/][>][MYL linux.html Linux]] [J [ES bsd FreeBSD, NetBSD]. I have never been able to install OpenBSD.] ] [J I use [MYL grub.html Grub] to boot all those OSs in the same machine.] [J My favourite computer language is still [MYL forth.html Forth], even though there's no free implentation of it for GNU systems that I really like.] [J I've been using [MYL lua.html Lua] a lot, and I'm maintaining, together with other people, its Debian package.] [J [MYL tex.html TeX and LaTeX].] [J [MYL icon.html Icon], [MYL tex.html PostScript], [MYL html.html HTML].] [J [MYL haskell.html Haskell and other functional languages].] [J I have to use a bit of [MYL perl.html Perl] from time to time, but I hate it.] ] [NAME CLI] [HLIST1 [J Command-line interfaces] [HLIST2 [J My favorite computer interface is - of course! - GNU Emacs with [L #eev eev], plus several shells running zsh in other virtual terminals, all that on a Debian GNU/Linux system. I use Linux VTs almost all the time, in true 80x50 text mode (no framebuffers). My VT tweaks:] [J [L vtutil.html vtutil], to change the console font, and to add some compose pairs to the keymap. I also use it to take screenshots.] [J [AL compose.el] lets me enter strange chars in Emacs.] [J [AL eev/glyphs.el glyphs.el] lets me display strange chars in Emacs in nice ways.] [AL LATEX/edrx.sty.html#activechars A way to make TeX treat these strange chars in special ways.] [ES console My e-scripts on console things] ] [J A nice (booklet-length) essay about CLIs, geek culture, and the different approaches to computers: [LR http://en.wikipedia.org/wiki/In_the_Beginning...was_the_Command_Line In the Beginning it was the Command Line], by Neal Stephenson ([LR http://home.earthlink.net/~android606/commandline/index.html html with notes]).] ] [P [COLOR red September 11, 2001 - the inevitable happenned in an oh so glorious way] [BR] If you treat everybody else as an enemy you get an ulcer. [BR] The American ulcer is bleeding (in the form of the falling of the twin towers), and it is no longer possible to just take a pill, find something external to blame, and forget about the problem.] [P (By the way: [LR http://www.guardian.co.uk/Archive/Article/0,4273,4284603,00.html The seven levels of despair], by John Berger.)] [P 2003mar20: [COLOR red Oh, no - they're destroying another country -] [BR] What we need is a world without the United States. [BR] What have [BF you] been doing for that?] ] [# [J "[LR http://kuoi.asui.uidaho.edu/~kamikaze/documents/beginning_CLI.html In the Beginning was the Command Line]", by Neal Stephenson] # [P (This is obsolete, but anyway:) [COLOR red 2002mar31]: Yasser # Arafat, who is one of the very few persons in the world that I admire, # is about to die, and there's nothing that I can do - or say - about # that. This is such a hairy subject. ([A0L arafat.html Read more])] # Organic agriculture # Styles of life based on cooperation, sharing, and awareness instead # of on competition and irresponsibility # Free information ] [# # Local Variables: # coding: raw-text-unix # modes: (fundamental-mode blogme-mode) # End: #]