part.bruda.ca
Bruda.CA - PART - Recruitment
https://part.bruda.ca/recruitment
Department of Computer Science. Stefan Bruda is supervising a team of MSc students working in a number of areas. And he is interested in expanding his team. We welcome graduate students interested in working on real-time systems from three perspectives: complexity-theoretic, formal methods and testing, and systems. Note however that the later perspective (systems) is currently on the backburner; no involvment is taking place or expected in the near future. Sherbrooke, Quebec J1M 1Z7.
bruda.ca
Bruda.CA - Definition of Love
https://bruda.ca/definition_of_love
Department of Computer Science. By Douglas R. Hofstadter). Who has not at some time mused about the inevitable circularity of dictionary definitions? A morally powerful mental state or tendency, having strength of character or will for, or affectionate regard, or loyalty, faithfulness, or deep affection to, a human being or beings, especially as distinguished from a thing or lower animal. But not being satisfied with that, I carried the whole process one step further. This was my result:.
bruda.ca
Bruda.CA - Evolution
https://bruda.ca/evolution
Department of Computer Science. Sherbrooke, Quebec J1M 1Z7. 115;tefan@bruda.ca. Last modified: Wed 9 May 2012 9:02 am -0400. C) Stefan D. Bruda.
bruda.ca
Bruda.CA - Emacs - Emacs-pilot Synchronization Suite
https://bruda.ca/emacs/emacs-pilot_synchronization_suite
Department of Computer Science. Please note that my Treo has gone to Palm Heaven, so I can no longer test this package. I will be miantaining it as much as I can (reacting to your comments) but the package should be considered half-unmaintained. Palm. This is a suite of programs for synchronizing Palm. Devices with the BBDB database and the Emacs diary. It also offers memo manipulation (exporting and importing into mailboxes). The README file provides details on the matter. Version 1.4 is the first v...
bruda.ca
Bruda.CA - One-man Wiki
https://bruda.ca/one-man_wiki
Department of Computer Science. This Web page used to be powered by plain old XHTML in part constructed by hand and in part converted automatically from LaTeX. This was (still is) a reasonable choice given the small nature of the site. However, I started working with a Wiki system (I am the ad-hoc maintainer of our departmental site. Which proved to be so much more convenient that I decided to do it for my site as well. This is the result. What you see here is thus a one-man wiki! Where I work). Thei...
bruda.ca
Bruda.CA - PART - Recruitment
https://bruda.ca/part/recruitment
Department of Computer Science. Stefan Bruda is supervising a team of MSc students working in a number of areas. And he is interested in expanding his team. We welcome graduate students interested in working on real-time systems from three perspectives: complexity-theoretic, formal methods and testing, and systems. Note however that the later perspective (systems) is currently on the backburner; no involvment is taking place or expected in the near future. Sherbrooke, Quebec J1M 1Z7.
bruda.ca
Bruda.CA - ASCII
https://bruda.ca/ascii
Department of Computer Science. HTML Emails and Proprietary Attachments Considered Harmful. Emails. All my email clients are configured to display only the text version of messages. Please don't send. Emails as I will not see them. I always considered. Emails annoying; nowadays however everybody and their friends seem to just take the default settings of their email clients and happily send. Said it better so I am not going to rehearse the arguments here. Sherbrooke, Quebec J1M 1Z7. 115;tef...C) Stef...
bruda.ca
Bruda.CA - Teaching
https://bruda.ca/teaching
Department of Computer Science. The following are all the undergraduate courses that I teach at Bishop's (some more occasionally than others), together with their most recent Web sites. CS 406, Compilers and Interpreters. CS 310, Introduction to Software Specifications. CS 455/CS 555, Theoretical Aspects of Computer Science/Automata Theory and Computational Complexity. CS 403, Principles of Programming Languages. CS 409, Principles of Operating Systems. CS 306, Functional and Logic Programming.
bruda.ca
Bruda.CA - Emacs - Emacs Programming
https://bruda.ca/emacs/emacs_programming
Department of Computer Science. Here are some modes/add-ons for Emacs that I found useful enough to write code for them (or to adopt and maintain them as is the case with prolog-mode). Please note that I use (and develop under) Linux and Mac. So some of the code below is not tested on anything else than Unix-like systems. All the packages are made available under the GNU General Public License as published by the Free Software Foundation. Syncs Emacs stuff (BBDB, diary, memo transfer) with a Palm. If you...
