htmlize {Edrx's home page} {

[J ([MYL index-old.html My old index page]. This one is under
construction...)]

[HLIST1 {Free software (makes the world go 'round):}

  [J The spinal column of the free software world: [LR
     http://www.gnu.org/ www.gnu.org].]

  [J If you are new to the game then go straight to its [LR
     http://www.gnu.org/philosophy/ philosophy section]\; [LR
     http://www.gnu.org/philosophy/copyright-and-globalization.html
     this text, \"Copyright and Globalization in the Age of Computer
     Networks\"] may be a good starting point).]

  [HLIST2 [IT But the FS world currently has a big blind spot, that
    I'm trying to cure.]

    [J [MYL eev-manifesto.html The original eev manifesto], written in
      december '99.]

    [L http://www.gnu.org/brave-gnu-world/issue-13.en.html Brave GNU
       World published an article about eev in #13.]

    [J [MYL tourism.html A brief statement about tourism], and [MYL
      README.html practical instructions for visiting my environment].]

    [J [MYL index.html Why users should not exist] (work in progress).]

    [HLIST2 [J The current package of eev.el. [IT If you want to try
      some of my software it is better to start from this than from
      the tourism package.]]

      [LR http://angg.twu.net/tmp/ The directory with the current
        version.]

      [J Installation instructions (...)]

      [J Description of the demos (...)]

    ]
  ]
]


[HLIST1 {Mathematics, Logic and Semantics:}

  [J I'm doing a PhD in Maths at [L http://www.mat.puc-rio.br/
    PUC-Rio] (my advisor is [L http://www.mat.puc-rio.br/~nicolau
    Nicolau Saldanha]), and I'm trying to arrange things to spend most
    of 2002 at [L http://www.math.mcgill.ca/ McGill University],
    working with [L http://www.math.mcgill.ca/~rags/ Robert Seely].]

  [J My master's thesis, \"Categorias, Filtros e Infinitesimais
    Naturais\". In Portuguese.]

  [J Slides for a talk that I gave at UFF in 2000Feb24, about doing
    non-standard analysis with filters and about representing
    skeletons of proofs. In portuguese.]

  [J More links about Non-Standard Analysis and Synthetical
    Differential Geometry.]

  [MYL math.html My research].
  [MYL logic.html Some (old) links on logic].
]


[HLIST1 {Other computer things (mostly programs):}

  [J [MYL emacs.html Emacs] is a Lisp environment that is excellent
  for editing all sorts of things. When coupled with [MYL expect.html
  Expect] it can be used to edit (? - sorry, I couldn't find a better
  expression for that) our interactions with the system.]

  [HLIST2 {Operating systems and distributions:}
    [MYL debian.html Debian GNU/Linux],
    [MYL the_hurd_links.html Debian GNU/Hurd],
    [J [MYL redhat0.html RedHat] 
       [L http://www.gnu.org/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 tcltk.html Tcl] and [MYL mktclapp.html MkTclApp].]

  [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.]

]

[J I don't use any non-free software except for a few computer games
  from the early 80s and -- very rarely -- MS-DO\$ 6.22 to run some
  [MYL forth.html Forth] programs. Oh, and Netscape -- I haven't
  converted to Mozilla yet -- and the ROM BIOS and such things.]




}