"This is the last call for Jaunt-701," the pleasant female voice echoed through the Blue Concourse of New York's Port Authority Terminal. The PAT had not changed much in the last three hundred years or so - it was still gungy and a little frightening. The automated female voice was probably the most plesant thing about it. "This is Jaunt Service to Whitehead City, Mars," the voice continued. "All ticketed passengers should now be in the Blue Concourse sleep lounge. Make sure your validation papers are in order. Thank you."The upstairs lounge was not at all grungy. It was wall-to-wall carpeted in oyster gray. The walls were an eggshell white and hung with plesant nonrepresentational prints. A steady, soothing progression of colors met and swirled on the ceiling. There were one hundred couches in the large room, neatly spaced in rows of ten. Five Jaunt attendants circulate, speakingin low, cherry voices and offering glasses of milk. At one side of the room was the entranceway, flanked by armed guar
Project type: Making a change to the semantics (and possibly syntax) of an existing, widely-used programming language to fix some problem you (or the language’s community) perceives in that language.
How our project meets the requirements of its project type: We are changing the semantics of how pattern-matching works on a reasonably widely-used language (OCaml). This fixes a problem that prevents string matching to behave properly when the match cases are not string literals.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
%------------------------------------------------------------------------------ | |
% Beginning of journal.tex | |
%------------------------------------------------------------------------------ | |
% Replace amsart by the documentclass for the target journal, e.g., tran-l. | |
% | |
\documentclass{amsart} | |
% If your article includes graphics, uncomment this command. | |
\usepackage{graphicx} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Hi everyone, | |
Please find below announcements and events for the upcoming two weeks: | |
ANNOUNCEMENTS | |
2019 Winter Term 1 TA Applications Now Open | |
We're looking for excellent candidates to apply by April 30 at https://www.cs.ubc.ca/ta. Be sure to fill out the appropriate application (undergraduate vs. graduate). Submitting by the deadline is best, but if you submit afterward, the earlier you submit, the more likely it will be considered. If you have some special reason to think the instructor of a course wants *you* for their TA, please apply and then ask that instructor to log in to www.cs.ubc.ca/ta and comment on your awesome application. For our formal job ad, see the bulletin board outside ICCS 201. | |
Queer Coded Office Hours |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Hi everyone, | |
Please find below announcements and events for the upcoming two weeks: | |
ANNOUNCEMENTS | |
Queer Coded Office Hours | |
Queer Coded is up and running! One of our goals in QC is to create space and community for folks in CS who are LGBTQ+. If you have questions about what Queer Coded is all about or just want a chill place to study and hangout with other queer folks, come join us! | |
When: Mondays 12pm - 2pm, Wednesdays 11am - 1pm |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Hi everyone, | |
Please find below announcements and events for the upcoming two weeks: | |
ANNOUNCEMENT | |
Summer 2019 TA Applications Now Open | |
We're looking for excellent candidates to apply by March 23 at https://www.cs.ubc.ca/ta. Be sure to fill out the appropriate application (undergraduate vs. graduate) for the term you are interested in. Submitting by the deadline is best, but if you submit afterward, the earlier you submit, the more likely it will be considered. If you have some special reason to think the instructor of a course wants *you* for their TA, please apply and then ask that instructor to log in to www.cs.ubc.ca/ta and comment on your awesome application. For our formal job ad, see the bulletin board outside ICCS 201. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Hi everyone, | |
Please find below announcements and events for the upcoming two weeks: | |
ANNOUNCEMENTS | |
Summer 2019 TA Applications Now Open | |
We're looking for excellent candidates to apply by March 23 at https://www.cs.ubc.ca/ta. Be sure to fill out the appropriate application (undergraduate vs. graduate) for the term you are interested in. Submitting by the deadline is best, but if you submit afterward, the earlier you submit, the more likely it will be considered. If you have some special reason to think the instructor of a course wants *you* for their TA, please apply and then ask that instructor to log in to www.cs.ubc.ca/ta and comment on your awesome application. For our formal job ad, see the bulletin board outside ICCS 201. | |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Hi everyone, | |
Please find below announcements and events for the upcoming two weeks: | |
ANNOUNCEMENTS | |
Summer 2019 TA Applications Now Open | |
We're looking for excellent candidates to apply by March 23 at https://www.cs.ubc.ca/ta. Be sure to fill out the appropriate application (undergraduate vs. graduate) for the term you are interested in. Submitting by the deadline is best, but if you submit afterward, the earlier you submit, the more likely it will be considered. If you have some special reason to think the instructor of a course wants *you* for their TA, please apply and then ask that instructor to log in to www.cs.ubc.ca/ta and comment on your awesome application. For our formal job ad, see the bulletin board outside ICCS 201. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Hi everyone, | |
Please find below announcements and events for the upcoming two weeks: | |
ANNOUNCEMENTS | |
Queer Coded | |
Are you a CS student who identifies as queer and/or trans? Are you interested in joining a student group that lets you connect with others in the queer community? This is your chance to make your voices heard. | |
Queer Coded is a newly created, student-run, social and support group for queer and/or trans people in the CS department. Our goal is to create a safe, engaging environment, and to provide opportunities for personal and professional development. |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Hi everyone, | |
Please find below announcements and events for the upcoming two weeks: | |
ANNOUNCEMENTS | |
Queer Coded | |
Are you a CS student who identifies as queer and/or trans? Are you interested in joining a student group that lets you connect with others in the queer community? This is your chance to make your voices heard. | |
Queer Coded is a newly created, student-run, social and support group for queer and/or trans people in the CS department. Our goal is to create a safe, engaging environment, and to provide opportunities for personal and professional development. | |
We would love to hear your thoughts and ideas! If you are interested, please fill out the survey, provided below: |
NewerOlder