[INCLUDE TH/speedbar.blogme]
[SETFAVICON http://anggtwu.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
[["
]] ]=]
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:
#]