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
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.
2013oct12: Link das ruas - vídeos de manifestações
(An index of videos related to the Brazilian uprisings - currently with 700+ videos...)
See these introductions in
the comments in the source code.
A related project for audio: technical demo, some indexed audios.
2013oct16: Mass arrests in Rio de Janeiro!
Please help disseminate
(PirateBay page) -
it has the contents in this archive of videos in a way suitable
for offline viewing!!!!!!!!
I'll be in Vancouver from 2014jan23 to 2014feb02 -
mostly hanging around Spartacus Books...
(Update: I did spend several years in the "real world", but things
didn't work out there...
I now work at PURO, a small countryside campus in the wild east of the state
of Rio de Janeiro).
2013jul10: Parabéns, Edwin!
2013jun27: Debate sobre espaço físico.
Saia do seu quadradinho:
PDF em A5,
2012aug27: primeira versão.
Lista de fontes primárias
de informações sobre a greve das IFES.
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
2008: I (sort of) survived my stay in the real world.
I spent the last 6 years being quiet, trying to behave. It didn't
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-|
December, 2007: I moved to São Paulo (São Caetano, actually) and I am working at
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.
eev, that is a tool for automating almost everything,
dednat4, for typesetting
my outdated page on categorical semantics,
BlogMe, that generates the html
of these pages,
a list of all of my little
gab, a calculator with quantifiers,
RubyForth (by Marc Simpson)
other programs in Lua and
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
my pages on (micro)politics,
veganism and the
my mother's PhD thesis,
my old personal pages.
(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):
News (nov/2012): Now there are screencasts about eev!
Start by this →
eepitch: a way to control shell-like programs from Emacs
An introduction to eev2 (2012nov11, English):
Uma introdução ao eev2 (2012nov15, Portuguese):
To download local copies, see:
is ready for tests!
See these intros:
|If you are new to this site then
please start by these links:
Main articles in the mailing list, in reverse chronological order:
arch) how to try eev without installing it
arch) a lisp-ish alternative to customize
arch) unifying the single-steppers
arch) eethrow (by Rubikitch; it later became F8/eepitch)
arch) sending lines one at a time to buffers (M-P)
arch) langhelp (by Rubikitch)
arch) a demonstration mode (obsolete)
arch) "(require 'eev)" considered harmless
arch) simple CGIs
arch) glyphs for typesetting mathematics
arch) psne and TeX
arch) eev-ttp: links with arbitrary text
arch) big modular e-scripts
1979 paper about Emacs
by RMS (*),
Lisp Conference speech of 2002.
Related projects: Howm (EmacsWiki,
Mathematics, Logic and Semantics:
Other computer things (mostly programs):
- Operating systems and distributions:
- I use Grub to boot all those OSs in the same
- My favourite computer language is still Forth,
even though there's no free implentation of it for GNU systems that
I really like.
- I've been using Lua a lot, and I'm maintaining,
together with other people, its Debian package.
- TeX and LaTeX.
- Icon, PostScript, HTML.
- Haskell and other functional languages.
- I have to use a bit of Perl from time to time,
but I hate it.
- My favorite computer interface is - of course! - GNU
Emacs with 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:
- A nice (booklet-length) essay about CLIs, geek culture, and the
different approaches to computers: In the Beginning it was the Command Line, by Neal Stephenson (html
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.)
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)