Skip to content

Instantly share code, notes, and snippets.

View Schemetrical's full-sized avatar

Yichen Cao Schemetrical

View GitHub Profile

Proposal: OCaml pattern matching on non-literal strings

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.

@Schemetrical
Schemetrical / SDS iOS Proposal.tex
Last active August 16, 2019 07:08
Proposal for a UBC seminar on iOS mobile development.
%------------------------------------------------------------------------------
% 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}
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
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
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.
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.
@Schemetrical
Schemetrical / gist:90816678df591dd11a0e29b0fab03b88
Created March 2, 2019 05:17
Weekly email (week of March 4)
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.
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.
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:
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.