Angel's Egg - the home page of Eduardo Ochs (a.k.a. Edrx)

Welcome! I'm a mathematician, logician, categorist and type-theorist who used to do computer programming and Free Software activism in his spare time... I have a Free Software project that I consider extremely important, and I have decided that I 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.

The world does need simpler ways to understand Type Theories and categorical models, true, but it 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.

(I've been doing less maths-related work recently and more activism. Here's why.)

Saia do seu quadradinho:
2013may25: versão atual: PDF em A5, 2-sided, mais informações.
2012aug27: primeira versão.
Lista de fontes primárias de informações sobre a greve das IFES.
Chomsky fala sobre os filtros da grande mídia,
Atividades de greve no PURO.
2012may22: Início da greve na UFF.
 

 2011august: Apóiem a ocupação da reitoria!
 2011jul01: Pressão social (PDF)
 2011jun27: Eleições no PURO: Chapa 1

2011jun08: a campaign: Queremos bolsas da Anvisa de onze mil reais
2011april: a study group on the Psychodynamics of Corruption
2011may25: Material da manifestação de 25/maio/2011
2011mar23-24: Eleições no ICT: vote nulo
Zombies and other texts

2008: I (sort of) survived my stay in the real world. Links: , LLaRC, PURO, GAN, concurso, seminars...

(2008dec01:) I spent the last 6 years being quiet, trying to behave. It didn't work.
I got ill many times, almost starved, almost lost teeth, almost blew myself up.
If you tried to get in touch with me during this time and I didn't answer, sorry - can we try again? 8-|
(2014-2018): my self-esteem sank to abyssal levels and I disappeared again.
(Logo)

December, 2007: I moved to São Paulo (São Caetano, actually) and I am working at Omnisys. (*)

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 here.

October, 2007: I am no longer working on DaVinci and IUP. I am working a tiny fraction of my time on Plurall, and I am finishing several important personal projects (BlogMe, Dednat4, DNC, eev, peek.lua). Expect releases soon. Cheers.

July, 2007: I am currently working full-time (or sort of) on IUP and on the DaVinci Project.

Quick index:
eev, that 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,
gab, a calculator with quantifiers,
MiniForth and RubyForth (by Marc Simpson)
other programs in Lua and Forth,
other things related to Emacs,
my pages on Tcl/Tk/Expect, Icon, and (La)TeX,
my rape recovery journal (is no longer secret),
how to contact me (and my CV),
my pages on (micro)politics, veganism and the CoE,
literature, music, movies, webcomics, my mother's PhD thesis,
my old personal pages.

I used to be just in a war against the macho world -
now I am explicitly genderfreaky/TG/TS
(but I'm too busy to change what I see in the mirror)

(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 - BlogMe and TH -, I'm adding an interactive mode to Dednat4, and I'm looking for a job...)

The eev project, computer tourism, and related topics (about making free information easier to use):

I used to call eev a "tool for automating almost everything" and "my project to save the world with Free Software". In more concrete terms, eev is a library for Emacs that lets us create executable logs of what we do in a format that is reasonably easy to read and to modify, and that lets us "play back" those logs step by step in any order - for example, like this.

The main starting point of eev is this: (find-eev-quick-intro)
it is a sandboxed tutorial that explains all the main features of eev.
It that starts with installation instructions for beginners (like in this video)
that create a shell script "~/eev" that starts emacs, loads eev, and opens the quick intro.
(find-emacs-keys-intro) lists the most important keys of eev and emacs.
(find-eev-intro) is an (old) index to all sandboxed tutorials, including many obsolete ones.

The git repository is here: https://github.com/edrx/eev.git
but all changes are being made to the UTF-8 branch.
See (find-eev-install-intro) for alternative ways to install eev.
The eev mailing list (and its archives).
Some information on how blogme3 htmlizes ascii files with elisp hyperlinks.
The file eev-load.el can be used as a guide to the source files of eev.

Feb 2019: A LaTeX course based on eev (at UFF Gragoatá, in Portuguese).

Here are some screencasts:
 (MP4) How to install eev, for beginners (2016, without sound)
 (YT, MP4) eepitch: a way to control shell-like programs from Emacs (2013jan16, best)
 (YT, MP4) An introduction to eev2 (2012nov11, long, not so good)
 (YT, MP4) Uma introdução ao eev2 (2012nov15, in Portuguese, longer)
The YT links point to youtube, where the videos are in a reduced resolution; the MP4s are better.

Old news:
2018may31: (find-eev-quick-intro) is now the standard starting point of eev.
News (jun/2015): find-eev-quick-intro.
News (nov/2012): Now there are screencasts about eev! See above.
To download local copies, see: M-x find-videos-intro
News (oct/2012): eev2 is ready for tests! See these intros: eev, eepitch, emacs.
News (oct/2011): eepitch.el, debian package.

The 1979 paper about Emacs by RMS (*), Lisp Conference speech of 2002.

September 11, 2001 - the inevitable happenned in an oh so glorious way
If you treat everybody else as an enemy you get an ulcer.
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.

(By the way: The seven levels of despair, by John Berger.)

2003mar20: Oh, no - they're destroying another country -
What we need is a world without the United States.
What have you been doing for that?

Notes on Bin Laden's impact (wp, deleted)