Kuperman’s Vim Tips

Vim Rocks!

What: An introduction to some of the features of Vim that I find particularly useful

When: Thursday, December 15 @ 9pm

Where: King 135

It’ll be useful if you are comfortable using Vim (or vi) as an editor — at least have gone through the tutorial.  I’ll introduce you to a number of useful features and concepts that will make Vim more useful for you.  I’ll also try to answer any questions about Vim that I can.

GNU Emacs!

The CSMC proudly presents…

Emacs Night!

On Thursday, December 8th the Computer Science Majors Committee will be holding Emacs Night at 9pm in the downstairs lab. This will be a hands-on presentation intended to introduce you to GNU Emacs, along with some tips and tricks.  This event could be especially helpful to those who are planning a computer science-related winter term, but aren’t sure what tool to use.  All are welcome!

Monday October 10, King 221 4:30 p.m.

An operating system is the software that provides the connection between application software and the underlying hardware.  As such, its development is challenging and its correctness is critical.  Linux is an open source operating system, developed by programmers around the world, who have a widely varying degree of expertise.  These factors have implied that the introduction of bugs is continuous, and indeed seems inevitable.  Adequate tools are thus needed to help programmers find these bugs in their code. Such tools furthermore need to be suited to the expertise and working style of the programmers that should use them.

In recent work, we have developed the program matching and transformation tool Coccinelle.  Coccinelle makes it possible to match and transform code according to specifications that looks like the processed code itself.  Concretely, Coccinelle provides the notion of a “semantic patch”, which is like the patch (diff) familiar to Linux developers, but is more general, allowing a single specification to match code found all over the Linux
kernel.  In this talk, we will introduce Coccinelle and present a number of bugs recently found in Linux code by using this tool.
Joint work with Gilles Muller, INRIA

Sponsored by the Computer Science Department, College Leading Edge Fund, and the Alumni Office ASOC Program

Unix Night

Want to be as cool as these guys? The CSMC will be hosting Unix Night on Thursday, September 15th, from 6 to 8 p.m. in the downstairs computer lab (King 135). There will be a scavenger hunt to get familiar with common Unix commands, plus brief introductions to the Emacs and Vim editors and some tips to make working in the shell easier and more productive. Pizza (vegetarian and vegan options) will be provided. Feel free to contact isaac.mccreery@oberlin.edu with questions. We hope to see you there!

Ken Thompson and Dennis Ritchie - Inventors of Unix!!!