[INCLUDE TH/speedbar.blogme] [SETFAVICON http://angg.twu.net/eev-current/eev-icon.png] [# (defun c () (interactive) (find-blogme3-sh0-if "index")) ;; http://angg.twu.net/index.html ;; file:///home/edrx/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 July, 2007: I am currently working full-time (or sort of) on [R iup.html IUP] and on the [R davinci.html DaVinci Project].] [P October, 2007: I am no longer working on DaVinci and IUP. I am working a tiny fraction of my time on [R plurall.html Plurall], and I am finishing several important personal projects (BlogMe, Dednat4, DNC, eev, peek.lua). Expect releases soon. Cheers.] [P 2007nov07: weird news - a round table that I was invited to speak at turned out to be about Digital TV, Digital Radio, Free Software and Education - and I haven't watched any TV, or listened to the radio, in at least 5 years... the details, and my notes (in Portuguese) are [R 2007mesa.html here].] [P December, 2007: I moved to São Paulo ([GOOGLEMAPS [J R. Lourdes, Sao Caetano do Sul, SP] São Caetano], actually) and I am working at [HREF http://www.omnisys.com.br Omnisys].] [# ] [lua: -- «icons» -- (find-TH "speedbar" "icons") icons = { blogme = pathto "blogme/blogme-icon.png", dednat4 = pathto "dednat4/dednat4-icon.png", --forth = pathto "IMAGES/forth.png", --forth = pathto "IMAGES/forthluawhite.png", forth = pathto "IMAGES/forthsun.png", llangs = pathto "IMAGES/littlelangs.png", eev = pathto "eev-current/eev-icon.png", transp = pathto "IMAGES/transparent-fav.png", } def [[ ICON 1 name "\"["..name.."]\""]] def [[ ICON_ 1 name ""]] def [[ BIGICON 1 name "\"["..name.."]\"" ]] ] [P [BF Quick index:] [BR] [ICON eev] [HREF #eev eev], that is a tool for automating almost everything, [BR] [ICON dednat4] [HREF dednat4.html dednat4], for typesetting [HREF dednat4.html#trees trees] and [HREF dednat4.html#diagram-bcc categorical diagrams], [BR] [ICON dednat4] my outdated [HREF math-b.html page] on categorical semantics, [BR] [ICON blogme] [HREF blogme.html BlogMe], that generates the html of these pages, [BR] [ICON llangs] a [HREF littlelangs.html list] of all of my little (extensible) languages, [# [BR] [ICON forth] implementing Forths on top of high-level languages: [BR] [ICON_ transp] in theory: [HREF miniforth-article.html MiniForth], and [BR] [ICON_ transp] in practice: [HREF rubyforth/ RubyForth] (by Marc Simpson), #] [BR] [ICON_ forth] [HREF miniforth-article.html MiniForth] and [HREF rubyforth/README.too.html RubyForth] (by Marc Simpson) [BR] [ICON_ forth] other programs in [HREF luaforth.html Lua] and [HREF luaforth.html Forth,] [BR] [ICON_ transp] other things related to [HREF emacs.html Emacs], [BR] [ICON_ transp] my pages on [HREF tcl.html Tcl/Tk/Expect], [HREF icon.html Icon], and [HREF tex.html (La)TeX], [BR] [ICON_ transp] how to [HREF contact.html contact me] (and my [HREF contact.html#CV CV]), [BR] [ICON_ transp] my pages on (micro)[HREF politics.html politics], [HREF vegan.html veganism] and the [HREF coe.html CoE], [BR] [ICON_ transp] my [HREF personal.html personal pages]. ] [# ] [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]...)] [RULE ------------------------------------------------------------- ] [H2 [J The [NAME eev eev] project, computer tourism, and related topics (about making free information easier to use):]] [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, in reverse chronological order: [UL+ [$ ulstuff] [EEVLISTREF http://article.gmane.org/gmane.emacs.eev.devel/52 http://lists.gnu.org/archive/html/eev/2007-09/msg00002.html how to try eev without installing it] [EEVLISTREF http://article.gmane.org/gmane.emacs.eev.devel/34 http://lists.gnu.org/archive/html/eev/2005-12/msg00008.html a lisp-ish alternative to customize] [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/32 http://lists.gnu.org/archive/html/eev/2005-12/msg00007.html eethrow (by Rubikitch; it later became F8/eepitch)] [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 (M-P)] [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/21 http://lists.gnu.org/archive/html/eev/2005-07/msg00018.html a demonstration mode [IT (obsolete)]] [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/16 http://lists.gnu.org/archive/html/eev/2005-06/msg00007.html simple CGIs] [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/9 http://lists.gnu.org/archive/html/eev/2005-06/msg00000.html psne and TeX] [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/4 http://lists.gnu.org/archive/html/eev/2005-04/msg00001.html big modular e-scripts] ] ] ] [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.] ] [DEF EEVRELEASE 2 date,version [COLOR orange [$ date]]: [HREF eev-[$ version].tar.gz eev-[$ version]] released. ] [LIST1 [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 [COLOR orange 2007oct04]: [AL eev-current/README-0.95.2 eev-0.95.2] pre-announced without a tarball ([AL eev-current/INSTALL INSTALL]).] [J [EEVRELEASE 2007may22 0.95.1] See: [AL eev-current/README-0.95.1 README-0.95.1].] [EEVRELEASE 2004dec31 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], [HREF http://www.gnu.org/software/xnee/ xnee] ] [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: #]