Merge branch 'main' into feat/organized-content
continuous-integration/drone/push Build is passing
Details
continuous-integration/drone/push Build is passing
Details
This commit is contained in:
commit
245b1a6378
|
@ -1,6 +1,6 @@
|
|||
.line {
|
||||
display: block;
|
||||
margin: calc(1rem / 16) 0 calc(34rem / 16);
|
||||
margin: calc(34rem / 16) 0;
|
||||
height: calc(1rem / 16);
|
||||
border: none;
|
||||
background-color: var(--primary-heading);
|
||||
|
|
|
@ -1,6 +1,10 @@
|
|||
import React, { ImgHTMLAttributes } from "react";
|
||||
|
||||
export function Image(props: ImgHTMLAttributes<HTMLImageElement>) {
|
||||
if (props.src?.startsWith("http://") || props.src?.startsWith("https://")) {
|
||||
return <img {...props} />;
|
||||
}
|
||||
|
||||
const { src: relativeSrc = "" } = props;
|
||||
|
||||
let absoluteSrc = process.env.NEXT_PUBLIC_BASE_PATH ?? "/";
|
||||
|
|
|
@ -1,15 +1,16 @@
|
|||
.card {
|
||||
.card > a {
|
||||
display: flex;
|
||||
flex-direction: row;
|
||||
box-sizing: border-box;
|
||||
padding: calc(16rem / 16);
|
||||
color: var(--purple-2);
|
||||
font-size: 1rem;
|
||||
color: inherit;
|
||||
text-decoration: inherit;
|
||||
}
|
||||
|
||||
.card aside {
|
||||
max-width: calc(142rem / 16);
|
||||
margin-right: calc(45rem / 16);
|
||||
margin-right: 1rem;
|
||||
display: flex;
|
||||
justify-content: center;
|
||||
align-items: center;
|
||||
|
@ -29,6 +30,7 @@
|
|||
margin: 0;
|
||||
margin-top: calc(4rem / 16);
|
||||
font-size: calc(18rem / 16);
|
||||
color: var(--primary-heading);
|
||||
}
|
||||
|
||||
.card section {
|
||||
|
|
|
@ -1,3 +1,4 @@
|
|||
import Link from "next/link";
|
||||
import React from "react";
|
||||
|
||||
import { Image } from "./Image";
|
||||
|
@ -5,19 +6,36 @@ import { Image } from "./Image";
|
|||
import styles from "./MiniTechTalkCard.module.css";
|
||||
|
||||
interface MiniTechTalkProps {
|
||||
name: string;
|
||||
short: string;
|
||||
poster?: string;
|
||||
slug: string;
|
||||
title: string;
|
||||
presentors: string[];
|
||||
poster: string;
|
||||
}
|
||||
|
||||
export function MiniTechTalkCard({ name, poster, short }: MiniTechTalkProps) {
|
||||
export function MiniTechTalkCard({
|
||||
slug,
|
||||
title,
|
||||
presentors,
|
||||
poster,
|
||||
}: MiniTechTalkProps) {
|
||||
const presentorsStr = presentors.join(", ");
|
||||
|
||||
return (
|
||||
<article className={styles.card}>
|
||||
<aside>{poster && <Image alt={name} src={poster} />}</aside>
|
||||
<div className={styles.content}>
|
||||
<h1>{name}</h1>
|
||||
<p>{short}</p>
|
||||
</div>
|
||||
<Link href={`/resources/tech-talks/${slug}`}>
|
||||
<a>
|
||||
<aside>
|
||||
<Image
|
||||
alt={`Thumbnail of tech talk by ${presentorsStr}: ${title}`}
|
||||
src={poster}
|
||||
/>
|
||||
</aside>
|
||||
<div className={styles.content}>
|
||||
<h1>{title}</h1>
|
||||
<p>{presentorsStr}</p>
|
||||
</div>
|
||||
</a>
|
||||
</Link>
|
||||
</article>
|
||||
);
|
||||
}
|
||||
|
|
|
@ -24,11 +24,31 @@
|
|||
font-style: normal;
|
||||
margin-top: 0;
|
||||
margin-bottom: 0;
|
||||
color: var(--blue-2);
|
||||
color: var(--primary-accent);
|
||||
}
|
||||
|
||||
.content h2,
|
||||
.content h3,
|
||||
.content h4 {
|
||||
font-size: calc(18rem / 16);
|
||||
}
|
||||
|
||||
@media only screen and (max-width: calc(768rem / 16)) {
|
||||
.card {
|
||||
flex-direction: column;
|
||||
}
|
||||
|
||||
.card aside {
|
||||
margin: 0;
|
||||
margin-bottom: 1rem;
|
||||
flex: unset;
|
||||
}
|
||||
|
||||
.card aside img {
|
||||
margin: 0;
|
||||
}
|
||||
|
||||
.content ul {
|
||||
padding-left: 1rem;
|
||||
}
|
||||
}
|
||||
|
|
|
@ -1,26 +1,57 @@
|
|||
import React, { ReactNode } from "react";
|
||||
|
||||
import { Image } from "./Image";
|
||||
import { Link } from "./Link";
|
||||
|
||||
import styles from "./TechTalkCard.module.css";
|
||||
|
||||
interface DownloadLink {
|
||||
file: string;
|
||||
type: string;
|
||||
size?: string;
|
||||
}
|
||||
|
||||
interface TechTalkProps {
|
||||
name: string;
|
||||
poster?: string;
|
||||
title: string;
|
||||
presentors: string[];
|
||||
poster: string;
|
||||
links: DownloadLink[];
|
||||
children: ReactNode;
|
||||
}
|
||||
|
||||
export function TechTalkCard({ name, poster, children }: TechTalkProps) {
|
||||
export function TechTalkCard({
|
||||
title,
|
||||
poster,
|
||||
presentors,
|
||||
links,
|
||||
children,
|
||||
}: TechTalkProps) {
|
||||
return (
|
||||
<article className={styles.card}>
|
||||
<aside>
|
||||
{poster && <Image alt={name} src={poster} />}
|
||||
{!poster && <div className={styles.spacer}></div>}
|
||||
<Image
|
||||
alt={`Thumbnail of tech talk by ${presentors.join(", ")}: ${title}`}
|
||||
src={poster}
|
||||
/>
|
||||
</aside>
|
||||
<section className={styles.content}>
|
||||
<h1>{name}</h1>
|
||||
<h1>{title}</h1>
|
||||
<div>{children}</div>
|
||||
|
||||
<h2>Download:</h2>
|
||||
<ul>
|
||||
{links.map((link) => (
|
||||
<li key={link.file + link.type}>
|
||||
<DownloadLink {...link} />
|
||||
</li>
|
||||
))}
|
||||
</ul>
|
||||
</section>
|
||||
</article>
|
||||
);
|
||||
}
|
||||
|
||||
function DownloadLink({ file, type, size }: DownloadLink) {
|
||||
const text = size ? `${type} (${size})` : type;
|
||||
return <Link href={file}>{text}</Link>;
|
||||
}
|
||||
|
|
|
@ -250,9 +250,13 @@ export function OrganizedContentDemo() {
|
|||
}
|
||||
|
||||
export function TechTalkDemo() {
|
||||
const poster =
|
||||
tempTechTalkMetadata.thumbnails.large ??
|
||||
tempTechTalkMetadata.thumbnails.small;
|
||||
|
||||
return (
|
||||
<div>
|
||||
<TechTalkCard {...tempTechTalkMetadata}>
|
||||
<TechTalkCard {...tempTechTalkMetadata} poster={poster}>
|
||||
<TempTechTalk />
|
||||
</TechTalkCard>
|
||||
</div>
|
||||
|
@ -262,15 +266,18 @@ export function TechTalkDemo() {
|
|||
export function MiniTechTalkDemo() {
|
||||
return (
|
||||
<div className={styles.miniTechTalkDemo}>
|
||||
<MiniTechTalkCard {...tempTechTalkMetadata}>
|
||||
<TempTechTalk />
|
||||
</MiniTechTalkCard>
|
||||
<MiniTechTalkCard {...tempTechTalkMetadata}>
|
||||
<TempTechTalk />
|
||||
</MiniTechTalkCard>
|
||||
<MiniTechTalkCard {...tempTechTalkMetadata}>
|
||||
<TempTechTalk />
|
||||
</MiniTechTalkCard>
|
||||
<MiniTechTalkCard
|
||||
{...tempTechTalkMetadata}
|
||||
poster={tempTechTalkMetadata.thumbnails.small}
|
||||
/>
|
||||
<MiniTechTalkCard
|
||||
{...tempTechTalkMetadata}
|
||||
poster={tempTechTalkMetadata.thumbnails.small}
|
||||
/>
|
||||
<MiniTechTalkCard
|
||||
{...tempTechTalkMetadata}
|
||||
poster={tempTechTalkMetadata.thumbnails.small}
|
||||
/>
|
||||
</div>
|
||||
);
|
||||
}
|
||||
|
|
|
@ -1,19 +1,67 @@
|
|||
export const metadata = {
|
||||
name: "Tech Talk Title",
|
||||
short: "Learn how React works and make your own version!",
|
||||
poster: "/images/playground/alt-tab.jpg",
|
||||
slug: "not-a-valid-slug",
|
||||
title: "1989 Bill Gates Talk on Microsoft",
|
||||
presentors: ["Bill Gates"],
|
||||
thumbnails: {
|
||||
small: "/images/playground/alt-tab.jpg",
|
||||
large: "/images/playground/alt-tab.jpg",
|
||||
},
|
||||
links: [
|
||||
{
|
||||
file: "http://mirror.csclub.uwaterloo.ca/csclub/bill-gates-1989.mp3",
|
||||
type: "mp3",
|
||||
size: "85M",
|
||||
},
|
||||
{
|
||||
file: "http://mirror.csclub.uwaterloo.ca/csclub/bill-gates-1989.flac",
|
||||
type: "flac",
|
||||
size: "540M",
|
||||
},
|
||||
{
|
||||
file: "http://mirror.csclub.uwaterloo.ca/csclub/bill-gates-1989.ogg",
|
||||
type: "ogg",
|
||||
size: "56M",
|
||||
},
|
||||
{
|
||||
file: "http://mirror.csclub.uwaterloo.ca/csclub/bill-gates-1989.wav",
|
||||
type: "wav",
|
||||
size: "945M",
|
||||
},
|
||||
]
|
||||
};
|
||||
|
||||
You've got a game, but you didn't write it. You're running it by emulating the machine it was meant to run on, and the machine it was
|
||||
meant to run on never had support for networking. Now, you want to play with your friend, over the Internet. Oh, and it's not
|
||||
acceptable to incur any latency between your controller and the game while we're at it. Surely that can't be possible, right?
|
||||
Wrong. This talk will discuss the re-emulation technique for netplay used commercially by a system called GGPO and freely in
|
||||
an emulator frontend called RetroArch, and how similar techniques can be applied to make networking work in other scenarios
|
||||
it was never meant for. This will be an unprepared, impromptu talk with no slides, so it should either be a fascinating dive
|
||||
into a little-heard-of technique, or an impenetrable mess of jargon and algorithms. Either way, it should be fun. Professor
|
||||
Richards is the maintainer of the netplay infrastructure for RetroArch, a popular emulator frontend for multiple platforms.
|
||||
Bill Gates discusses the software and computer industry, and how Microsoft has contributed. Gates also discusses his views on the future of the computing industry. The talk was recorded in 1989 but was only recently digitized.
|
||||
|
||||
# Download
|
||||
Topics include:
|
||||
|
||||
- BitTorrent:[Netplay in Emulators (mp4)]
|
||||
- HTTP (web browser):[Netplay in Emulators (mp4)]
|
||||
- The start and history of the microcomputer industry
|
||||
- Microsoft BASIC and the Altair 880 computer
|
||||
- The transition from 8-bit to 16-bit computers
|
||||
- Microsoft's history with IBM
|
||||
- 640k memory barrier and 16-bit architectures
|
||||
- 32-bit 386 and 486 architectures
|
||||
- RISC and multi-processor machines
|
||||
- EGA graphics and WYSIWYG editors
|
||||
- Decreasing cost of memory, harddisks and hardware in general
|
||||
- The importance and future of the mouse
|
||||
- Object-oriented programming
|
||||
- MS-DOS and OS/2
|
||||
- Multi-threaded and multi-application systems
|
||||
- Synchronization in multi-threaded applications
|
||||
- Diskette-based software
|
||||
- UNIX standardization and POSIX
|
||||
- History of the Macintosh and Microsoft' involvement
|
||||
- Involvement of Xerox in graphical user interfaces
|
||||
- Apple vs. Microsoft lawsuit regarding user interfaces
|
||||
- OS/2 future as a replacement for MS-DOS
|
||||
- Microsoft Office on Macintosh
|
||||
- Thin/dumb clients
|
||||
- Compact discs
|
||||
- Multimedia applications
|
||||
- Gates' current role at Microsoft
|
||||
|
||||
<!-- -->
|
||||
|
||||
The following picture was taken after the talk (click for higher-res).
|
||||
|
||||
[![null](<http://mirror.csclub.uwaterloo.ca/csclub/bill-gates-1989.jpg>)](<http://mirror.csclub.uwaterloo.ca/csclub/bill-gates-1989-big.jpg>)
|
||||
|
|
|
@ -0,0 +1,58 @@
|
|||
---
|
||||
index: 55
|
||||
title: '1989 Bill Gates Talk on Microsoft'
|
||||
presentors:
|
||||
- 'Bill Gates'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/audio-file.png'
|
||||
large: 'http://mirror.csclub.uwaterloo.ca/csclub/audio-file.png'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/bill-gates-1989.mp3'
|
||||
type: 'mp3'
|
||||
size: '85M'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/bill-gates-1989.flac'
|
||||
type: 'flac'
|
||||
size: '540M'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/bill-gates-1989.ogg'
|
||||
type: 'ogg'
|
||||
size: '56M'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/bill-gates-1989.wav'
|
||||
type: 'wav'
|
||||
size: '945M'
|
||||
---
|
||||
|
||||
Bill Gates discusses the software and computer industry, and how Microsoft has contributed. Gates also discusses his views on the future of the computing industry. The talk was recorded in 1989 but was only recently digitized.
|
||||
|
||||
Topics include:
|
||||
|
||||
- The start and history of the microcomputer industry
|
||||
- Microsoft BASIC and the Altair 880 computer
|
||||
- The transition from 8-bit to 16-bit computers
|
||||
- Microsoft's history with IBM
|
||||
- 640k memory barrier and 16-bit architectures
|
||||
- 32-bit 386 and 486 architectures
|
||||
- RISC and multi-processor machines
|
||||
- EGA graphics and WYSIWYG editors
|
||||
- Decreasing cost of memory, harddisks and hardware in general
|
||||
- The importance and future of the mouse
|
||||
- Object-oriented programming
|
||||
- MS-DOS and OS/2
|
||||
- Multi-threaded and multi-application systems
|
||||
- Synchronization in multi-threaded applications
|
||||
- Diskette-based software
|
||||
- UNIX standardization and POSIX
|
||||
- History of the Macintosh and Microsoft' involvement
|
||||
- Involvement of Xerox in graphical user interfaces
|
||||
- Apple vs. Microsoft lawsuit regarding user interfaces
|
||||
- OS/2 future as a replacement for MS-DOS
|
||||
- Microsoft Office on Macintosh
|
||||
- Thin/dumb clients
|
||||
- Compact discs
|
||||
- Multimedia applications
|
||||
- Gates' current role at Microsoft
|
||||
|
||||
<!-- -->
|
||||
|
||||
The following picture was taken after the talk (click for higher-res).
|
||||
|
||||
[![null](<http://mirror.csclub.uwaterloo.ca/csclub/bill-gates-1989.jpg>)](<http://mirror.csclub.uwaterloo.ca/csclub/bill-gates-1989-big.jpg>)
|
|
@ -0,0 +1,22 @@
|
|||
---
|
||||
index: 30
|
||||
title: 'A brief history of CS curriculum at UW'
|
||||
presentors:
|
||||
- 'Prabhakar Ragde'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/prabhakar-history-of-uw-cs-thumb-small.jpg'
|
||||
large: 'http://mirror.csclub.uwaterloo.ca/csclub/prabhakar-history-of-uw-cs-thumb-large.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/prabhakar-history-of-uw-cs.avi'
|
||||
type: 'Talk (XviD)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/prabhakar-history-of-uw-cs.ogg'
|
||||
type: 'Talk (Ogg/Theora)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/prabhakar-history-of-uw-cs.mpg'
|
||||
type: 'Talk (MPG)'
|
||||
---
|
||||
|
||||
I'll survey the evolution of our computer science curriculum over the past thirty-five years to try to convey the reasons (not always entirely rational) behind our current mix of courses and their division into core and optional. After some remarks about constraints and opportunities in the near future, I'll open the floor to discussion, and hope to hear some candid comments about the state of CS at UW and how it might be improved.
|
||||
|
||||
About the speaker:
|
||||
|
||||
Prabhakar Ragde is a Professor in the School of Computer Science at UW. He was Associate Chair for Curricula during the period that saw the creation of the Bioinformatics and Software Engineering programs, the creation of the BCS degree, and the strengthening of the BMath/CS degree.
|
|
@ -0,0 +1,18 @@
|
|||
---
|
||||
index: 26
|
||||
title: 'A Brief Introduction to Video Encoding'
|
||||
presentors:
|
||||
- 'Peter Barfuss'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/pbarfuss-video-encoding-thumb-small.jpg'
|
||||
large: 'http://mirror.csclub.uwaterloo.ca/csclub/pbarfuss-video-encoding-thumb-large.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/pbarfuss-video-encoding.mp4'
|
||||
type: 'Talk (x264)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/pbarfuss-video-encoding.mpg'
|
||||
type: 'Talk (MPG)'
|
||||
---
|
||||
|
||||
In this talk, I will go over the concepts used in video encoding (such as motion estimation/compensation, inter- and intra- frame prediction, quantization and entropy encoding), and then demonstrate these concepts and algorithms in use in the MPEG-2 and the H.264 video codecs. In addition, some clever optimization tricks using SIMD/vectorization will be covered, assuming sufficient time to cover these topics.
|
||||
|
||||
With the recent introduction of digital TV and the widespread success of video sharing websites such as youtube, it is clear that the task of lossily compressing video with good quality has become important. Similarly, the complex algorithms involved require high amounts of optimization in order to run fast, another important requirement for any video codec that aims to be widely used/adopted.
|
|
@ -0,0 +1,15 @@
|
|||
---
|
||||
index: 11
|
||||
title: 'Algorithms for Shortest Paths'
|
||||
presentors:
|
||||
- 'Anna Lubiw'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/alubiw-shortest-paths-thumb-small.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/alubiw-shortest-paths.mp4'
|
||||
type: 'Talk (x264)'
|
||||
---
|
||||
|
||||
Finding shortest paths is a problem that comes up in many applications: Google maps, network routing, motion planning, connectivity in social networks, and etc. The domain may be a graph, either explicitly or implicitly represented, or a geometric space.
|
||||
|
||||
Professor Lubiw will survey the field, from Dijkstra's foundational algorithm to current results and open problems. There will be lots of pictures and lots of ideas.
|
|
@ -0,0 +1,13 @@
|
|||
---
|
||||
index: 2
|
||||
title: 'ALT-TAB - Manic PXE Dream Servers'
|
||||
presentors:
|
||||
- 'Fatema Boxwala'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/fatema-manic-pxe-dream-servers-thumb-small.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/fatema-manic-pxe-dream-servers.mp4'
|
||||
type: 'Manic PXE Dream Servers (mp4)'
|
||||
---
|
||||
|
||||
PXE stands for Pre-eXecution Environment. Fatema will talk about the motivation for using it, examples of industry uses and a brief overview of what it is and how it works.
|
|
@ -0,0 +1,24 @@
|
|||
---
|
||||
index: 36
|
||||
title: 'An Introduction to Vector Graphics Libraries with Cairo'
|
||||
presentors:
|
||||
- 'Nathaniel Sherry'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/nsasherr-cairo-thumb-small.jpg'
|
||||
large: 'http://mirror.csclub.uwaterloo.ca/csclub/nsasherr-cairo-thumb-large.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/nsasherr-cairo.avi'
|
||||
type: 'Talk (XviD)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/nsasherr-cairo.ogg'
|
||||
type: 'Talk (Ogg/Theora)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/nsasherr-cairo.mp4'
|
||||
type: 'Talk (MP4)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/nsasherr-cairo.mpg'
|
||||
type: 'Talk (MPG)'
|
||||
---
|
||||
|
||||
Cairo is an open source, cross platform, vector graphics library with the ability to output to many kinds of surfaces, including PDF, SVG and PNG surfaces, as well as X-Window, Win32 and Quartz 2D backends.
|
||||
|
||||
Unlike the raster graphics used with programmes and libraries such as The Gimp and ImageMagick, vector graphics are not defined by grids of pixels, but rather by a collection of drawing operations. These operations detail how to draw lines, fill shapes, and even set text to create the desired image. This has the advantages of being infinitely scalable, smaller in file size, and simpler to express within a computer programme.
|
||||
|
||||
This talk will be an introduction to the concepts and metaphors used by vector graphics libraries in general and Cairo in particular.
|
|
@ -0,0 +1,27 @@
|
|||
---
|
||||
index: 8
|
||||
title: 'Back to Back Talks: Culture Turnaround and Software Defined Networks'
|
||||
presentors:
|
||||
- 'John Stix
|
||||
- Francisco Dominguez'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/fibernetics-thumb-small.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/fibernetics.mp4'
|
||||
type: 'Talk (x264)'
|
||||
---
|
||||
|
||||
Back to back talks from John Stix and Francisco Dominguez on turning a company's culture around and on Software Defined Networks!
|
||||
|
||||
John Stix will be talking about how he turned around the corporate culture at Fibernetics Corporation.
|
||||
|
||||
Francisco Dominguez will be talking about Software Defined Networks, which for example can turn multiple flakey internet connections into one reliable one.
|
||||
|
||||
The speakers are:
|
||||
|
||||
- John Stix - President, Fibernetics
|
||||
- Francisco Dominguez - CTO, Fibernetics
|
||||
|
||||
<!-- -->
|
||||
|
||||
Food and drinks will be provided!
|
|
@ -0,0 +1,17 @@
|
|||
---
|
||||
index: 25
|
||||
title: 'BareMetal OS'
|
||||
presentors:
|
||||
- 'Ian Seyler
|
||||
- Return to Infinity'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/bare-metal-os-thumb-small.jpg'
|
||||
large: 'http://mirror.csclub.uwaterloo.ca/csclub/bare-metal-os-thumb-large.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/bare-metal-os.mp4'
|
||||
type: 'Talk (x264)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/bare-metal-os.mpg'
|
||||
type: 'Talk (MPG)'
|
||||
---
|
||||
|
||||
BareMetal is a new 64-bit OS for x86-64 based computers. The OS is written entirely in Assembly, while applications can be written in Assembly or C/C++. High Performance Computing is the main target application.
|
|
@ -0,0 +1,15 @@
|
|||
---
|
||||
index: 4
|
||||
title: 'Bringing OOP Best Practices to the World of Functional Programming'
|
||||
presentors:
|
||||
- 'Elana Hashman'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/ehashman-oop-best-practices-thumb-small.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/ehashman-oop-best-practices.mp4'
|
||||
type: 'OOP Best Practices (mp4)'
|
||||
---
|
||||
|
||||
I transitioned from writing software in imperative, object-oriented (OO) programming languages to doing functional programming (FP) full-time, and you can do it, too! In this talk, I'll make a case for using FP for real-world development, cover some cases where common FP language features substitute for design patterns and OOP structure, and provide some examples of translating traditional OO design patterns into functional code.
|
||||
|
||||
Due to battery shenanigans, not the entire talk was recorded. Instead, you can get the slides for this talk at [the talks section of her site](<https://hashman.ca/osb-2016/>).
|
|
@ -0,0 +1,13 @@
|
|||
---
|
||||
index: 19
|
||||
title: 'Building a Mobile Platform for Android and iOS'
|
||||
presentors:
|
||||
- 'Wesley Tarle'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/wtarle_mobile_platform_google-thumb-small.png'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/wtarle_mobile_platform_google.pdf'
|
||||
type: 'Talk (PDF)'
|
||||
---
|
||||
|
||||
A Google engineer gives a talk on building a mobile platform for Android and iOS. Wesley Tarle has been leading development at Google in Kitchener and Mountain View, and building stuff for third-party developers on Android and iOS. He's contributed to Google Play services since its inception and continues to produce APIs and SDKs focused on mobile startups.
|
|
@ -0,0 +1,22 @@
|
|||
---
|
||||
index: 45
|
||||
title: 'C++0x - An Overview'
|
||||
presentors:
|
||||
- 'Dr. Bjarne Stroustrup'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/stroustrup-thumb-small.jpg'
|
||||
large: 'http://mirror.csclub.uwaterloo.ca/csclub/stroustrup-thumb-large.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/stroustrup.avi'
|
||||
type: 'XviD'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/stroustrup.ogg'
|
||||
type: 'Ogg/Theora'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/stroustrup.mp4'
|
||||
type: 'MP4'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/stroustrup.mpg'
|
||||
type: 'MPG'
|
||||
---
|
||||
|
||||
A good programming language is far more than a simple collection of features. My ideal is to provide a set of facilities that smoothly work together to support design and programming styles of a generality beyond my imagination. Here, I briefly outline rules of thumb (guidelines, principles) that are being applied in the design of C++0x. Then, I present the state of the standards process (we are aiming for C++09) and give examples of a few of the proposals such as concepts, generalized initialization, being considered in the ISO C++ standards committee. Since there are far more proposals than could be presented in an hour, I'll take questions.
|
||||
|
||||
Dr. Bjarne Stroustrup is the original designer and implementer of the C++ Programming Language.
|
|
@ -0,0 +1,20 @@
|
|||
---
|
||||
index: 27
|
||||
title: 'Cooking for Geeks'
|
||||
presentors:
|
||||
- 'Jeff Potter'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/cooking-for-geeks-thumb-small.jpg'
|
||||
large: 'http://mirror.csclub.uwaterloo.ca/csclub/cooking-for-geeks-thumb-large.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/cooking-for-geeks.mp4'
|
||||
type: 'Talk (x264)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/cooking-for-geeks.mpg'
|
||||
type: 'Talk (MPG)'
|
||||
---
|
||||
|
||||
The CSC is happy to be hosting Jeff Potter, author of "Cooking for Geeks" for a presentation on the finer arts of food science. Jeff's book has been featured on NPR, BBC and his presentations have wowed audiences of hackers & foodies alike. We're happy to have Jeff joining us for a hands on demonstration.
|
||||
|
||||
But you don't have to take our word for it... here's what Jeff has to say:
|
||||
|
||||
Hi! I'm Jeff Potter, author of Cooking for Geeks (O'Reilly Media, 2010), and I'm doing a "D.I.Y. Book Tour" to talk about my just-released book. I'll talk about the food science behind what makes things yummy, giving you a quick primer on how to go into the kitchen and have a fun time turning out a good meal. Depending upon the space, I’ll also bring along some equipment or food that we can experiment with, and give you a chance to play with stuff and pester me with questions.
|
|
@ -0,0 +1,22 @@
|
|||
---
|
||||
index: 47
|
||||
title: 'Copyright vs Community in the Age of Computer Networks'
|
||||
presentors:
|
||||
- 'Richard M. Stallman'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/rms-qa-thumb-small.jpg'
|
||||
large: 'http://mirror.csclub.uwaterloo.ca/csclub/rms-qa-thumb-large.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/rms-talk.ogg'
|
||||
type: 'Talk (Ogg/Theora)'
|
||||
size: '687M'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/rms-qa.ogg'
|
||||
type: 'Q&A (Ogg/Theora)'
|
||||
size: '225M'
|
||||
---
|
||||
|
||||
Copyright developed in the age of the printing press, and was designed to fit with the system of centralized copying imposed by the printing press. But the copyright system does not fit well with computer networks, and only draconian punishments can enforce it.
|
||||
|
||||
The global corporations that profit from copyright are lobbying for draconian punishments, and to increase their copyright powers, while suppressing public access to technology. But if we seriously hope to serve the only legitimate purpose of copyright -- to promote progress, for the benefit of the public -- then we must make changes in the other direction.
|
||||
|
||||
This talk by Richard M. Stallman is broken into two parts: the main talk and the question and answer sessions following the talk. Both are available in only Ogg/Theora format in keeping with Stallman's wishes. They are available under the [ Creative Commons NoDerivs 1.0](<http://creativecommons.org/licenses/nd/1.0/>) license.
|
|
@ -0,0 +1,27 @@
|
|||
---
|
||||
index: 10
|
||||
title: 'Cory Doctorow - The War on General Purpose Computing'
|
||||
presentors:
|
||||
- 'Cory Doctorow'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/cory-doctorow-f2015-thumb-small.png'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/cory-doctorow-f2015.mp4'
|
||||
type: 'Talk (x264)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/cory-doctorow-f2015-hq.mp4'
|
||||
type: 'Talk (x246 Big File)'
|
||||
---
|
||||
|
||||
No Matter Who's Winning the War on General Purpose Computing, You're Losing
|
||||
|
||||
If cyberwar were a hockey game, it'd be the end of the first period and the score would be tied 500-500. All offense, no defense.
|
||||
|
||||
Meanwhile, a horrible convergence has occurred as everyone from car manufacturers to insulin pump makers have adopted the inkjet printer business model, insisting that only their authorized partners can make consumables, software and replacement parts -- with the side-effect of making it a felony to report showstopper, potentially fatal bugs in technology that we live and die by.
|
||||
|
||||
And then there's the FBI and the UK's David Cameron, who've joined in with the NSA and GCHQ in insisting that everyone must be vulnerable to Chinese spies and identity thieves and pervert voyeurs so that the spy agencies will always be able to spy on everyone and everything, everywhere.
|
||||
|
||||
It's been fifteen years since the copyright wars kicked off, and we're still treating the Internet as a glorified video-on-demand service -- when we're not treating it as a more perfect pornography distribution system, or a jihadi recruitment tool.
|
||||
|
||||
It's all of those -- and more. Because it's the nervous system of the 21st century. We've got to stop treating it like a political football.
|
||||
|
||||
(Cory Doctorow is affiliated with the Canadian branch of EFF, the [Electronic Frontier Foundation](<https://www.eff.org/>))
|
|
@ -0,0 +1,25 @@
|
|||
---
|
||||
index: 7
|
||||
title: 'CSC and WiCS Career Panel'
|
||||
presentors:
|
||||
- 'Joanne McKinley
|
||||
- Carol Kilner
|
||||
- Harshal Jethwa
|
||||
- Dan Collens'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/csc-wics-f15-panel-thumb-small.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/csc-wics-f15-panel.mp4'
|
||||
type: 'Talk (x264)'
|
||||
---
|
||||
|
||||
The CSC is joining WiCS to host a career panel! Come hear from Waterloo alumni as they speak about their time at Waterloo, experience with coop, and life beyond the university. A great chance to network and seek advice!
|
||||
|
||||
The panelists are:
|
||||
|
||||
- Joanne Mckinley - Software Engineer, Google
|
||||
- Carol Kilner - COO, BanaLogic Corporation
|
||||
- Harshal Jethwa - Consultant, Infusion
|
||||
- Dan Collens - CTO, Big Roads
|
||||
|
||||
<!-- -->
|
|
@ -0,0 +1,22 @@
|
|||
---
|
||||
index: 32
|
||||
title: 'Deep Learning With Multiplicative Interactions'
|
||||
presentors:
|
||||
- 'Dr. Geoff Hinton'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/ghinton-deep-learning-thumb-small.jpg'
|
||||
large: 'http://mirror.csclub.uwaterloo.ca/csclub/ghinton-deep-learning-thumb-large.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/ghinton-deep-learning.avi'
|
||||
type: 'Talk (XviD)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/ghinton-deep-learning.ogg'
|
||||
type: 'Talk (Ogg/Theora)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/ghinton-deep-learning.mp4'
|
||||
type: 'Talk (MP4)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/ghinton-deep-learning.mpg'
|
||||
type: 'Talk (MPG)'
|
||||
---
|
||||
|
||||
Deep networks can be learned efficiently from unlabeled data. The layers of representation are learned one at a time using a simple learning module, called a "Restricted Boltzmann Machine" that has only one layer of latent variables. The values of the latent variables of one module form the data for training the next module. Although deep networks have been quite successful for tasks such as object recognition, information retrieval, and modeling motion capture data, the simple learning modules do not have multiplicative interactions which are very useful for some types of data.
|
||||
|
||||
The talk will show how a third-order energy function can be factorized to yield a simple learning module that retains advantageous properties of a Restricted Boltzmann Machine such as very simple exact inference and a very simple learning rule based on pair-wise statistics. The new module contains multiplicative interactions that are useful for a variety of unsupervised learning tasks. Researchers at the University of Toronto have been using this type of module to extract oriented energy from image patches and dense flow fields from image sequences. The new module can also be used to allow motions of a particular style to be achieved by blending autoregressive models of motion capture data.
|
|
@ -0,0 +1,13 @@
|
|||
---
|
||||
index: 16
|
||||
title: 'Distributed File Systems'
|
||||
presentors:
|
||||
- 'Alex Tsay'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/alex_tsay_aerofs-thumb-small.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/alex_tsay_aerofs.mp4'
|
||||
type: 'Talk (x264)'
|
||||
---
|
||||
|
||||
Alex Tsay from AeroFS will talk about the high availability distributed file systems they develop. The CAP Theorem outlined the fundamental limitations of a distributed system. When designing a distributed system, one has to constantly be aware of the trade-off between consistency and availability. Most distributed systems are designed with consistency in mind. However, AeroFS has decided to build a high-availability file system instead. In this tech talk, I'll be presenting an overview of AeroFS file system, advantages and challenges of a high-availability file system, and examine the inner workings of AeroFS's core syncing algorithm.
|
|
@ -0,0 +1,32 @@
|
|||
---
|
||||
index: 59
|
||||
title: 'Eric LaForest: Next Generation Stack Computing'
|
||||
presentors:
|
||||
- 'Eric LaForest'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/ericlaforest-thumb-small.jpg'
|
||||
large: 'http://mirror.csclub.uwaterloo.ca/csclub/ericlaforest-thumb-large.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/eric-laforest2-720-480.avi'
|
||||
type: 'DiVX'
|
||||
size: '357M'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/ericlaforest-xvid.avi'
|
||||
type: 'XViD'
|
||||
size: '309M'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/ericlaforest.mpg'
|
||||
type: 'Mpeg'
|
||||
size: '307M'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/CSCtalkMar06.pdf'
|
||||
type: 'slides [pdf]'
|
||||
size: '1M'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/CSCtalkMar06.ppt'
|
||||
type: 'slides [Power Point]'
|
||||
size: '1M'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/CSCtalkMar06.odp'
|
||||
type: 'slides [Open Office]'
|
||||
size: '1M'
|
||||
---
|
||||
|
||||
Eric LaForest delivers a crash-course on modern stack computing, the Forth programming language, and some projects of his own. Stack systems have faster procedure calls and reduced complexity (shorter pipeline, simpler compilation) relative to their conventional counterparts, as well as more consistent performance, which is very important for real-time systems. Many consider stack-based architecture's crowning feature, however, to be the unrivalled price-to-performance ratio.
|
||||
|
||||
Note: the slides are hard to make out in the video, so make sure to download the slides as well.
|
|
@ -0,0 +1,39 @@
|
|||
---
|
||||
index: 3
|
||||
title: 'Feminism in STEM - a 101 Panel'
|
||||
presentors:
|
||||
- 'Prabhakar
|
||||
- Fatema
|
||||
- Filzah
|
||||
- Swetha'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/fem101-questions-thumb-small.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/fem101-panel-discussion.mp4'
|
||||
type: 'Panel questions and discussion (mp4)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/fem101-questions.mp4'
|
||||
type: 'Audience questions (mp4)'
|
||||
---
|
||||
|
||||
A panel organized by the CS Club on how feminism manifests itself in STEM, specifically CS and Engineering.
|
||||
|
||||
Panelists are Dr. Prabhakar Ragde, Swetha Kulandaivelan, and Filzah Nasir. Moderated by Fatema Boxwala.
|
||||
|
||||
Due to battery trouble, the first few minutes of audio were lost. The panelists were introduced as Prabhakar from the School of Computer Science, Swetha from 4A Mechanical Engineering, and Filzah as an Engineering grad student.
|
||||
|
||||
Sample questions from the panel section are:
|
||||
|
||||
- Filzah and Swetha, can you expand on how Engineering tries to keep its curriculum grounded in reality?
|
||||
- Why would an Engineering 101 instructor tell the class to design urinals?
|
||||
- Prabhakar, how can men in STEM help women get their voices heard?
|
||||
|
||||
<!-- -->
|
||||
|
||||
Sample questions from the audience after the panel: - As a woman in CS, how do I know I wasn't hired to meet a diversity target?
|
||||
- Filzah, you mentioned that "getting to 50%" isn't what you're interested in. Can you expand on that?
|
||||
- An admittedly selfish argument I've seen on Reddit asks why we should cooperate with marginalized communities when we're not significantly affected by them? (Response at 10 minutes into questions)
|
||||
- Prabhakar, how has CS changed since you were an undergrad?
|
||||
|
||||
<!-- -->
|
||||
|
||||
A statistical errata: The Math faculty proportionally gives offers of admission to the 25% of women that apply, and there are no significant disproportionate dropout rates.
|
|
@ -0,0 +1,22 @@
|
|||
---
|
||||
index: 39
|
||||
title: 'Functional Lexing and Parsing'
|
||||
presentors:
|
||||
- 'Dr. Prabhakar Ragde'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/pr-functional-lexing-parsing-thumb-small.jpg'
|
||||
large: 'http://mirror.csclub.uwaterloo.ca/csclub/pr-functional-lexing-parsing-thumb-large.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/pr-functional-lexing-parsing.avi'
|
||||
type: 'XviD'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/pr-functional-lexing-parsing.ogg'
|
||||
type: 'Ogg/Theora'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/pr-functional-lexing-parsing.mp4'
|
||||
type: 'MP4'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/pr-functional-lexing-parsing.mpg'
|
||||
type: 'MPG'
|
||||
---
|
||||
|
||||
This talk will describe a non-traditional functional approach to the classical problems of lexing (breaking a stream of characters into "words" or tokens) and parsing (identifying tree structure in a stream of tokens based on a grammar, e.g. for a programming language that needs to be compiled or interpreted). The functional approach can clarify and organize a number of algorithms that tend to be opaque in their conventional imperative presentation. No prior background in functional programming, lexing, or parsing is assumed.
|
||||
|
||||
The slides for this talk can be found [here](<http://mirror.csclub.uwaterloo.ca/csclub/pr-functional-lexing-parsing-slides.pdf>) as a pdf.
|
|
@ -0,0 +1,18 @@
|
|||
---
|
||||
index: 22
|
||||
title: 'General Purpose Computing on Graphics Cards'
|
||||
presentors:
|
||||
- 'Katie Hyatt'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/kshyatt-gpgpu-thumb-small.jpg'
|
||||
large: 'http://mirror.csclub.uwaterloo.ca/csclub/kshyatt-gpgpu-thumb-large.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/kshyatt-gpgpu.mp4'
|
||||
type: 'Talk (x264)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/kshyatt-gpgpu-480p.mp4'
|
||||
type: 'Talk (x246 480p)'
|
||||
---
|
||||
|
||||
GPGPU (general purpose graphics processing unit) computing is an expanding area of interest, with applications in physics, chemistry, applied math, finance, and other fields. nVidia has created an architecture named CUDA to allow programmers to use graphics cards without having to write PTX assembly or understand OpenGL. CUDA is designed to allow for high-performance parallel computation controlled from the CPU while granting the user fine control over the behaviour and performance of the device.
|
||||
|
||||
In this talk, I'll discuss the basics of nVidia's CUDA architecture (with most emphasis on the CUDA C extensions), the GPGPU programming environment, optimizing code written for the graphics card, algorithms with noteworthy performance on GPU, libraries and tools available to the GPGPU programmer, and some applications to condensed matter physics. No physics background required!
|
|
@ -0,0 +1,14 @@
|
|||
---
|
||||
index: 17
|
||||
title: 'Google Fiber: Speed is Hard'
|
||||
presentors:
|
||||
- 'Avery Pennarun'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/google-speed-is-hard.png'
|
||||
large: 'http://mirror.csclub.uwaterloo.ca/csclub/google-speed-is-hard.png'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/speed-is-hard-at-uwaterloo.pdf'
|
||||
type: 'Talk (PDF)'
|
||||
---
|
||||
|
||||
Our speaker, Avery Pennarun, will share some not-very-secret secrets from the team creating GFiber's open source router firmware, including some discussion of wifi, marketing truthiness, the laws of physics, something about coaxial cables, embedded ARM processors, queuing theory, signal processing, hardware design, and kernel driver optimization. If you're lucky, he may also rant about poor garbage collector implementations. Also, there will be at least one slide containing one of those swooshy circle-and-arrow lifecycle diagrams, we promise.
|
|
@ -0,0 +1,18 @@
|
|||
---
|
||||
index: 21
|
||||
title: 'How Browsers Work'
|
||||
presentors:
|
||||
- 'Ehsan Akhgari'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/how-browsers-work-thumb-small.jpg'
|
||||
large: 'http://mirror.csclub.uwaterloo.ca/csclub/how-browsers-work-thumb-large.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/how-browsers-work.mp4'
|
||||
type: 'Talk (x264)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/how-browsers-work.mpg'
|
||||
type: 'Talk (MPG)'
|
||||
---
|
||||
|
||||
Veteran Mozilla engineer Ehsan Akhgari presents a talk on the internals of web browsers. The material ranges from the fundamentals of content rendering to the latest innovations in browser design.
|
||||
|
||||
Web browsers have evolved. From their humble beginnings as simple HTML rendering engines they have grown and evolved into rich application platforms. This talk will start with the fundamentals: how a browser creates an on-screen representation of the resources downloaded from the network. (Boring, right? But we have to start somewhere.) From there we'll get into the really exciting stuff: the latest innovations in Web browsers and how those innovations enable — even encourage — developers to build more complex applications than ever before. You'll see real-world examples of people building technologies on top of these "simple rendering engines" that seemed impossible a short time ago.
|
|
@ -0,0 +1,18 @@
|
|||
---
|
||||
index: 24
|
||||
title: 'How to build a brain: From single neurons to cognition'
|
||||
presentors:
|
||||
- 'Dr. Chris Eliasmith'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/how-to-build-a-brain-thumb-small.jpg'
|
||||
large: 'http://mirror.csclub.uwaterloo.ca/csclub/how-to-build-a-brain-thumb-large.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/how-to-build-a-brain.mp4'
|
||||
type: 'Talk (x264)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/how-to-build-a-brain.mpg'
|
||||
type: 'Talk (MPG)'
|
||||
---
|
||||
|
||||
Theoretical neuroscience is a new discipline focused on constructing mathematical models of brain function. It has made significant headway in understanding aspects of the neural code. However, past work has largely focused on small numbers of neurons, and so the underlying representations are often simple. In this talk I demonstrate how the ideas underlying these simple forms of representation can underwrite a representational hierarchy that scales to support sophisticated, structure-sensitive representations.
|
||||
|
||||
Theoretical neuroscience is a new discipline focused on constructing mathematical models of brain function. It has made significant headway in understanding aspects of the neural code. However, past work has largely focused on small numbers of neurons, and so the underlying representations are often simple. In this talk I demonstrate how the ideas underlying these simple forms of representation can underwrite a representational hierarchy that scales to support sophisticated, structure-sensitive representations. I will present a general architecture, the semantic pointer architecture (SPA), which is built on this hierarchy and allows the manipulation, processing, and learning of structured representations in neurally realistic models. I demonstrate the architecture on Progressive Raven's Matrices (RPM), a test of general fluid intelligence.
|
|
@ -0,0 +1,13 @@
|
|||
---
|
||||
index: 18
|
||||
title: 'In Pursuit of the Travelling Salesman'
|
||||
presentors:
|
||||
- 'Bill Cook'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/bico_2014_travelling_salesman-thumb-small.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/bico_2014_travelling_salesman.mp4'
|
||||
type: 'Talk (x264)'
|
||||
---
|
||||
|
||||
The traveling salesman problem is easy to state: given a number of cities along with the cost of travel between each pair of them, find the cheapest way to visit them all and return to your starting point. Easy to state, but difficult to solve. Despite decades of research, in general it is not known how to significantly improve upon simple brute-force checking. It is a real possibility that there may never exist an efficient method that is guaranteed to solve every instance of the problem. This is a deep mathematical question: Is there an efficient solution method or not? The topic goes to the core of complexity theory concerning the limits of feasible computation and we may be far from seeing its resolution. This is not to say, however, that the research community has thus far come away empty-handed. Indeed, the problem has led to a large number of results and conjectures that are both beautiful and deep, and on the practical side solution methods are used to compute optimal or near-optimal tours for a host of applied problems on a daily basis, from genome sequencing to arranging music on iPods. In this talk we discuss the history, applications, and computation of this fascinating problem.
|
|
@ -0,0 +1,17 @@
|
|||
---
|
||||
index: 12
|
||||
title: 'Infra Sound is All Around Us'
|
||||
presentors:
|
||||
- 'Richard Mann'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/mannr-infrared-thumb-small.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/mannr-infrared.mp4'
|
||||
type: 'Talk (x264)'
|
||||
---
|
||||
|
||||
Infra sound refers to sound waves below the range of human hearing. Infra sound comes from a number of natural phenomena including weather changes, thunder, and ocean waves. Common man made sources include heating and ventilation systems, industrial machinery, moving vehicle cabins (air, trains, cars), and energy generation (wind turbines, gas plants).
|
||||
|
||||
In this talk Richard Mann will present equipment he has built to measure infra sound, and analyse some of the infra sound he has recorded.
|
||||
|
||||
Note: In Winter 2016 Richard Mann will be offering a new course, in Computer Sound. The course will appear as CS489/CS689 ("Topics in Computer Science"). This is a project-based course (60% assignments, 40% project, no final). Details at his web page, [\~mannr](<http://www.cs.uwaterloo.ca/~mannr>).
|
|
@ -0,0 +1,24 @@
|
|||
---
|
||||
index: 51
|
||||
title: 'Introduction to 3-d Graphics'
|
||||
presentors:
|
||||
- 'The Prof'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/the-prof-graphics-thumb-small.jpg'
|
||||
large: 'http://mirror.csclub.uwaterloo.ca/csclub/the-prof-graphics-thumb-large.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/the-prof-graphics.avi'
|
||||
type: 'DivX'
|
||||
size: '272M'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/the-prof-graphics-xvid.avi'
|
||||
type: 'XviD'
|
||||
size: '272M'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/the-prof-graphics.mpg'
|
||||
type: 'MPG'
|
||||
size: '272M'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/the-prof-graphics.ogg'
|
||||
type: 'Ogg/Theora'
|
||||
size: '274M'
|
||||
---
|
||||
|
||||
A talk for those interested in 3-dimensional graphics but unsure of where to start. Covers the basic math and theory behind projecting 3-dimensional polygons on screen, as well as simple cropping techniques to improve efficiency. Translation and rotation of polygons will also be discussed.
|
|
@ -0,0 +1,14 @@
|
|||
---
|
||||
index: 61
|
||||
title: 'Larry Smith: Computing''s Next Great Empires'
|
||||
presentors:
|
||||
- 'Larry Smith'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/audio-file.png'
|
||||
large: 'http://mirror.csclub.uwaterloo.ca/csclub/audio-file.png'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/larry-smith-talk.ogg'
|
||||
type: 'Ogg'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/larry-smith-talk.mp3'
|
||||
type: 'MP3'
|
||||
---
|
|
@ -0,0 +1,24 @@
|
|||
---
|
||||
index: 60
|
||||
title: 'Larry Smith: Creating Killer Applications'
|
||||
presentors:
|
||||
- 'Larry Smith'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/larry-killer-applications-thumb-small.jpg'
|
||||
large: 'http://mirror.csclub.uwaterloo.ca/csclub/larry-killer-applications-thumb-large.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/larry-killer-applications.avi'
|
||||
type: 'DiVX'
|
||||
size: '686M'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/larry-killer-applications-xvid.avi'
|
||||
type: 'XviD'
|
||||
size: '686M'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/larry-killer-applications.mpg'
|
||||
type: 'MPG'
|
||||
size: '685M'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/larry-killer-applications.ogg'
|
||||
type: 'Ogg'
|
||||
size: '706M'
|
||||
---
|
||||
|
||||
A discussion of how software creators can identify application opportunities that offer the promise of great social and commercial significance. Particular attention will be paid to the challenge of acquiring cross domain knowledge and setting up effective collaboration.
|
|
@ -0,0 +1,14 @@
|
|||
---
|
||||
index: 23
|
||||
title: 'Machine learning vs human learning: will scientists become obsolete'
|
||||
presentors:
|
||||
- 'Dr. Shai Ben-David'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/human-vs-machine-learning-thumb-small.jpg'
|
||||
large: 'http://mirror.csclub.uwaterloo.ca/csclub/human-vs-machine-learning-thumb-large.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/human-vs-machine-learning.mp4'
|
||||
type: 'Talk (x264)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/human-vs-machine-learning.mpg'
|
||||
type: 'Talk (MPG)'
|
||||
---
|
|
@ -0,0 +1,20 @@
|
|||
---
|
||||
index: 41
|
||||
title: 'More Haskell functional programming fun'
|
||||
presentors:
|
||||
- 'Andrei Barbu'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/abarbu2-thumb-small.jpg'
|
||||
large: 'http://mirror.csclub.uwaterloo.ca/csclub/abarbu2-thumb-large.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/abarbu2.avi'
|
||||
type: 'XviD'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/abarbu2.ogg'
|
||||
type: 'Ogg/Theora'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/abarbu2.mp4'
|
||||
type: 'MP4'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/abarbu2.mpg'
|
||||
type: 'MPG'
|
||||
---
|
||||
|
||||
TODO
|
|
@ -0,0 +1,22 @@
|
|||
---
|
||||
index: 20
|
||||
title: 'Multi-processor Real-time Systems'
|
||||
presentors:
|
||||
- 'Bill Cowan'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/wmcowan_multi_processor_realtime-thumb-small.jpg'
|
||||
large: 'http://mirror.csclub.uwaterloo.ca/csclub/wmcowan_multi_processor_realtime-thumb-large.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/wmcowan_multi_processor_realtime.mp4'
|
||||
type: 'Talk (x264)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/wmcowan_multi_processor_realtime.mpg'
|
||||
type: 'Talk (MPG)'
|
||||
---
|
||||
|
||||
Programming systems that obey hard real-time constraints is difficult. So is programming multiple CPUs that interact to solve a single problem.
|
||||
|
||||
On rare occasions it is possible to mix two difficult problems to create one easy problem and multi-CPU real-time is, on the face of it, just such an occasion. Give each deadline its own CPU and it will never be missed. This intuition is, unfortunately, incorrect, which does not, however, prevent it being tried in many real-time systems.
|
||||
|
||||
For three decades, fourth year students have been exploring this problem in CS452, using multiple tasks (virtual CPUs) running on a single CPU. It is now time to consider whether modern developments in CPU architecture make it possible to use multiple CPUs in CS452 given the practical constraint of a twelve week semester.
|
||||
|
||||
This talk will describe the nature of computation typical of real-time systems, architectural solutions currently employed in the course, and possible architectures for multi-CPU systems.
|
|
@ -0,0 +1,14 @@
|
|||
---
|
||||
index: 0
|
||||
title: 'Netplay in Emulators'
|
||||
presentors:
|
||||
- 'Gregor Richards'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/gregor-talk-thumb.png'
|
||||
large: 'http://mirror.csclub.uwaterloo.ca/csclub/gregor-talk-thumb.png'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/gregor-talk.mp4'
|
||||
type: 'Netplay in Emulators (mp4)'
|
||||
---
|
||||
|
||||
You've got a game, but you didn't write it. You're running it by emulating the machine it was meant to run on, and the machine it was meant to run on never had support for networking. Now, you want to play with your friend, over the Internet. Oh, and it's not acceptable to incur any latency between your controller and the game while we're at it. Surely that can't be possible, right? Wrong. This talk will discuss the re-emulation technique for netplay used commercially by a system called GGPO and freely in an emulator frontend called RetroArch, and how similar techniques can be applied to make networking work in other scenarios it was never meant for. This will be an unprepared, impromptu talk with no slides, so it should either be a fascinating dive into a little-heard-of technique, or an impenetrable mess of jargon and algorithms. Either way, it should be fun. Professor Richards is the maintainer of the netplay infrastructure for RetroArch, a popular emulator frontend for multiple platforms.
|
|
@ -0,0 +1,19 @@
|
|||
---
|
||||
index: 6
|
||||
title: 'Network Infrastructure talk'
|
||||
presentors:
|
||||
- 'Steve Bourque and Mike Patterson'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/uw-infrastructure-sbourque-half-thumb-small.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/uw-infrastructure-sbourque-half.mp4'
|
||||
type: 'Steven Bourque Talk (x264)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/uw-infrastructure-mpatters-half.mp4'
|
||||
type: 'Mike Patterson Talk (x264)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/uw-infrastructure-mpatters-slides.pdf'
|
||||
type: 'Mike Patterson Slides (pdf)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/uw-infrastructure-sbourque-slides.pdf'
|
||||
type: 'Steven Bourque Slides (pdf)'
|
||||
---
|
||||
|
||||
Steve Bourque and Mike Patterson of IST will give a brief overview of campus network connectivity and interconnectivity. Steve will describe the general connections, and Mike will talk about specific security measures in place. We'll have refreshments!
|
|
@ -0,0 +1,22 @@
|
|||
---
|
||||
index: 43
|
||||
title: 'Off-the-Record Messaging: Useful Security and Privacy for IM'
|
||||
presentors:
|
||||
- 'Ian Goldberg'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/ian-goldberg-otr-thumb-small.jpg'
|
||||
large: 'http://mirror.csclub.uwaterloo.ca/csclub/ian-goldberg-otr-thumb-large.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/ian-goldberg-otr.avi'
|
||||
type: 'XviD'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/ian-goldberg-otr.ogg'
|
||||
type: 'Ogg/Theora'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/ian-goldberg-otr.mp4'
|
||||
type: 'MP4'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/ian-goldberg-otr.mpg'
|
||||
type: 'MPG'
|
||||
---
|
||||
|
||||
Instant messaging (IM) is an increasingly popular mode of communication on the Internet. Although it is used for personal and private conversations, it is not at all a private medium. Not only are all of the messages unencrypted and unauthenticated, but they are all routedthrough a central server, forming a convenient interception point for an attacker. Users would benefit from being able to have truly private conversations over IM, combining the features of encryption, authentication, deniability, and forward secrecy, while working within their existing IM infrastructure.
|
||||
|
||||
In this talk, I will discuss "Off-the-Record Messaging" (OTR), a widely used software tool for secure and private instant messaging. I will outline the properties of Useful Security and Privacy Technologies that motivated OTR's design, compare it to other IM security mechanisms, and talk about its ongoing development directions.
|
|
@ -0,0 +1,13 @@
|
|||
---
|
||||
index: 5
|
||||
title: 'Open Source Computer Sound Measurement'
|
||||
presentors:
|
||||
- 'Richard Mann'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/rmann-oss-sound-measurement-thumb-small.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/rmann-oss-sound-measurement.mp4'
|
||||
type: 'OSS Sound Measurement (mp4)'
|
||||
---
|
||||
|
||||
An ideal computer audio system should faithfully reproduce signals of all frequencies in the audible range (20 to 20,000 cycles per second). Real systems, particularly mobile devices and laptops, may still produce acceptable quality, but often have a limited response, particularly at the low (bass) frequencies. Sound/acousic energy refers to time varying pressure waves in air. When recording sound, the acoustic signal will be picked up by microphone, which converts it to electrical signals (voltages). The signal is then digitized (analog to digital conversion) and stored as a stream of numbers in a data file. On playback the digital signal is converted to an electrical signal (digital to analog conversion) and finally returned as an acoustic signal by a speaker and/or headphones. In this talk I will present open source software (Octave/Linux) to measure the end-to-end frequency response of an audio system using the Discrete Fourier Transform. I will demonstrate the software using a standard USB audio interface and a consumer grade omnidirectional microphone. This is joint work with John Vanderkooy, Distinguished Professor Emeritus, Department of Physics and Astronomy.
|
|
@ -0,0 +1,22 @@
|
|||
---
|
||||
index: 46
|
||||
title: 'PMAMC&OC SASMS - Spring 2007'
|
||||
presentors:
|
||||
- 'PMClub Various Members'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/pmc-sasms-spring-2007-thumb-small.jpg'
|
||||
large: 'http://mirror.csclub.uwaterloo.ca/csclub/pmc-sasms-spring-2007-thumb-large.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/pmc-sasms-spring-2007.avi'
|
||||
type: 'XviD'
|
||||
size: '643M'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/pmc-sasms-spring-2007.ogg'
|
||||
type: 'Ogg/Theora'
|
||||
size: '598M'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/pmc-sasms-spring-2007.mp4'
|
||||
type: 'MP4'
|
||||
size: '625M'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/pmc-sasms-spring-2007.mpg'
|
||||
type: 'MPG'
|
||||
size: '641M'
|
||||
---
|
|
@ -0,0 +1,20 @@
|
|||
---
|
||||
index: 44
|
||||
title: 'Privacy by Design'
|
||||
presentors:
|
||||
- 'Dr. Ann Cavoukian'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/privacy-thumb-small.jpg'
|
||||
large: 'http://mirror.csclub.uwaterloo.ca/csclub/privacy-thumb-large.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/privacy.avi'
|
||||
type: 'XviD'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/privacy.ogg'
|
||||
type: 'Ogg/Theora'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/privacy.mp4'
|
||||
type: 'MP4'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/privacy.mpg'
|
||||
type: 'MPG'
|
||||
---
|
||||
|
||||
Globally, issues about information privacy in the marketplace have emerged in tandem with the dramatic and escalating increase in information stored in electronic formats. Data mining, for example, can be extremely valuable for businesses, but in the absence of adequate safeguards, it can jeopradize informational privacy. Dr. Ann Cavoukian talks about how to use technology to enhance privacy. Some of the technologies discussed included instant messaging, RFID tags and Elliptical Curve Cryptography (ECC). Then Dr. Cavoukian explained the “7 Privacy – Embedded Laws” followed by a discussion on a biometrics solution to encryption.
|
|
@ -0,0 +1,36 @@
|
|||
---
|
||||
index: 38
|
||||
title: 'Programming Quantum Computers'
|
||||
presentors:
|
||||
- 'Dr. Raymond Laflemme and Various'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/iqc1-thumb-small.jpg'
|
||||
large: 'http://mirror.csclub.uwaterloo.ca/csclub/iqc1-thumb-large.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/iqc1.avi'
|
||||
type: 'Talk (XviD)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/iqc1.ogg'
|
||||
type: 'Talk (Ogg/Theora)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/iqc1.mp4'
|
||||
type: 'Talk (MP4)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/iqc1.mpg'
|
||||
type: 'Talk (MPG)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/iqc2.avi'
|
||||
type: 'Quantum Key Distribution Lab (XviD)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/iqc2.ogg'
|
||||
type: 'Quantum Key Distribution Lab (Ogg/Theora)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/iqc2.mp4'
|
||||
type: 'Quantum Key Distribution Lab (MP4)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/iqc2.mpg'
|
||||
type: 'Quantum Key Distribution Lab (MPG)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/iqc3.avi'
|
||||
type: 'NMR Quantum Computer (XviD)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/iqc3.ogg'
|
||||
type: 'NMR Quantum Computer (Ogg/Theora)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/iqc3.mp4'
|
||||
type: 'NMR Quantum Computer (MP4)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/iqc3.mpg'
|
||||
type: 'NMR Quantum Computer (MPG)'
|
||||
---
|
||||
|
||||
Raymond Laflamme is the director of the Institute for Quantum Computing at the University of Waterloo and holds the Canada Research Chair in Quantum Information. He will give a brief introduction to quantum computing and why it matters, followed by a talk on programming quantum computers. This is followed by tours of IQC Labs.
|
|
@ -0,0 +1,22 @@
|
|||
---
|
||||
index: 35
|
||||
title: 'QIP=PSPACE'
|
||||
presentors:
|
||||
- 'Dr. John Watrous'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/jwatrous-qip-thumb-small.jpg'
|
||||
large: 'http://mirror.csclub.uwaterloo.ca/csclub/jwatrous-qip-thumb-large.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/jwatrous-qip.avi'
|
||||
type: 'Talk (XviD)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/jwatrous-qip.ogg'
|
||||
type: 'Talk (Ogg/Theora)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/jwatrous-qip.mp4'
|
||||
type: 'Talk (MP4)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/jwatrous-qip.mpg'
|
||||
type: 'Talk (MPG)'
|
||||
---
|
||||
|
||||
The interactive proof system model of computation is a cornerstone of complexity theory, and its quantum computational variant has been studied in quantum complexity theory for the past decade. In this talk I will discuss an exact characterization of the power of quantum interactive proof systems that I recently proved in collaboration with Rahul Jain, Zhengfeng Ji, and Sarvagya Upadhyay. The characterization states that the collection of computational problems having quantum interactive proof systems consists precisely of those problems solvable with an ordinary classical computer using a polynomial amount of memory (or QIP = PSPACE in complexity-theoretic terminology). This characterization implies the striking fact that quantum computing does not provide any increase in computational power over classical computing in the context of interactive proof systems.
|
||||
|
||||
I will not assume that the audience for this talk has any familiarity with either quantum computing or complexity theory; and to be true to the spirit of the interactive proof system model, I hope to make this talk as interactive as possible -- I will be happy to explain anything related to the talk that I can that people are interested in learning about.
|
|
@ -0,0 +1,23 @@
|
|||
---
|
||||
index: 15
|
||||
title: 'Racket''s Magical Match'
|
||||
presentors:
|
||||
- 'Theo Belaire'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/tbelaire_racket-thumb-small.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/tbelaire_racket.mp4'
|
||||
type: 'Talk (x264)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/tbelaire_racket-slides.pdf'
|
||||
type: 'Talk (PDF)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/tbelaire_racket-slides-source.rkt'
|
||||
type: 'Talk (Rkt)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/tbelaire_racket-stdlib.rkt'
|
||||
type: 'Source (Rkt)'
|
||||
---
|
||||
|
||||
Come learn how to use the power of the Racket match construct to make your code easier to read, less bug-prone and overall more awesome!
|
||||
|
||||
Theo Belaire, a fourth-year CS student, will show you the basics of how this amazing function works, and help you get your feet wet with some code examples and advanced use cases.
|
||||
|
||||
If you're interested in knowing about the more powerful features of Racket, then this is the talk for you! The material covered is especially useful for students in CS 241 who are writing their compiler in Racket, or are just curious about what that might look like.
|
|
@ -0,0 +1,20 @@
|
|||
---
|
||||
index: 49
|
||||
title: 'Ralph Stanton 40th Anniversary of Math Faculty Talk'
|
||||
presentors:
|
||||
- 'Ralph Stanton'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/ralph-stanton-thumb-small.jpg'
|
||||
large: 'http://mirror.csclub.uwaterloo.ca/csclub/ralph-stanton-thumb-large.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/ralph-stanton.avi'
|
||||
type: 'XviD'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/ralph-stanton-xvid.avi'
|
||||
type: 'DivX'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/ralph-stanton.ogg'
|
||||
type: 'Ogg'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/ralph-stanton.mpg'
|
||||
type: 'MPG'
|
||||
---
|
||||
|
||||
Ralph Stanton reflects on the founding of the University of Waterloo Math Faculty.
|
|
@ -0,0 +1,22 @@
|
|||
---
|
||||
index: 40
|
||||
title: 'Rapid Prototyping and Mathematical Art'
|
||||
presentors:
|
||||
- 'Dr. Craig Kaplan'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/kaplan-mathematical-art-thumb-small.jpg'
|
||||
large: 'http://mirror.csclub.uwaterloo.ca/csclub/kaplan-mathematical-art-thumb-large.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/kaplan-mathematical-art.avi'
|
||||
type: 'XviD'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/kaplan-mathematical-art.ogg'
|
||||
type: 'Ogg/Theora'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/kaplan-mathematical-art.mp4'
|
||||
type: 'MP4'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/kaplan-mathematical-art.mpg'
|
||||
type: 'MPG'
|
||||
---
|
||||
|
||||
The combination of computer graphics, geometry, and rapid prototyping technology has created a wide range of exciting opportunities for using the computer as a medium for creative expression. In this talk, I will describe the most popular technologies for computer-aided manufacturing, discuss applications of these devices in art and design, and survey the work of contemporary artists working in the area (with a focus on mathematical art). The talk will be primarily non-technical, but I will mention some of the mathematical and computational techniques that come into play.
|
||||
|
||||
The slides for this talk can be found [here](<http://mirror.csclub.uwaterloo.ca/csclub/kaplan-mathematical-art-slides.pdf>) as a pdf.
|
|
@ -0,0 +1,34 @@
|
|||
---
|
||||
index: 54
|
||||
title: 'ReactOS - An Open Source OS Platform for Learning'
|
||||
presentors:
|
||||
- 'Alex Ionescu'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/alex-ionescu-thumb-small.jpg'
|
||||
large: 'http://mirror.csclub.uwaterloo.ca/csclub/alex-ionescu-thumb-large.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/alex-ionescu.avi'
|
||||
type: 'DivX'
|
||||
size: '451M'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/alex-ionescu-xvid.avi'
|
||||
type: 'XviD'
|
||||
size: '451M'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/alex-ionescu.mpg'
|
||||
type: 'MPG'
|
||||
size: '450M'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/alex-ionescu.ogg'
|
||||
type: 'Ogg/Theora'
|
||||
size: '461M'
|
||||
---
|
||||
|
||||
The ReactOS operating system has been in development for over eight years and aims to provide users with a fully functional and Windows-compatible distribution under the GPL license. ReactOS comes with its own Windows 2003-based kernel and system utilities and applications, resulting in an environment identical to Windows, both visually and internally.
|
||||
|
||||
More than just an alternative to Windows, ReactOS is a powerful platform for academia, allowing students to learn a variety of skills useful to software testing, development and management, as well as providing a rich and clean implementation of Windows NT, with a kernel compatible to published internals book on the subject.
|
||||
|
||||
This talk will introduce the ReactOS project, as well as the various software engineering challenges behind it. The building platform and development philosophies and utilities will be shown, and attendees will grasp the vast amount of effort and organization that needs to go into building an operating system or any other similarly large project. The speaker will gladly answer questions related to his background, experience and interests and information on joining the project, as well as any other related information.
|
||||
|
||||
Slides from the talk are available [here](<http://mirror.csclub.uwaterloo.ca/csclub/alex-ionescu.pdf>).
|
||||
|
||||
**Biography**
|
||||
|
||||
Alex Ionescu is currently studying in Software Engineering at Concordia University in Montreal, Quebec and is a Microsoft Technical Student Ambassador. He is the lead kernel developer of the ReactOS Project and project leader of TinyKRNL. He regularly speaks at Linux and Open Source conferences around the world and will be a lecturer at the 8th International Free Software Forum in Brazil this April, as well as providing hands-on workshops and lectures on Windows NT internals and security to various companies.
|
|
@ -0,0 +1,24 @@
|
|||
---
|
||||
index: 62
|
||||
title: 'Rico Mariani: Eighteen Years in the Software Tools Business'
|
||||
presentors:
|
||||
- 'Rico Mariani'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/rico-thumb-small.jpg'
|
||||
large: 'http://mirror.csclub.uwaterloo.ca/csclub/rico-thumb-large.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/rico.avi'
|
||||
type: 'XviD'
|
||||
size: '534M'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/rico.ogg'
|
||||
type: 'Ogg/Theora'
|
||||
size: '528M'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/rico.mp4'
|
||||
type: 'MP4'
|
||||
size: '507M'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/rico.mpg'
|
||||
type: 'MPG'
|
||||
size: '532M'
|
||||
---
|
||||
|
||||
Rico Mariani, (BMath CS/EEE 1988) now an (almost) 18 year Microsoft veteran but then a CSC president comes to talk to us about the evolution of software tools for microcomputers. This talk promises to be a little bit about history and perspective (at least from the Microsoft side of things) as well as the evolution of software engineers, different types of programmers and their needs, and what it's like to try to make the software industry more effective at what it does, and sometimes succeed! Particularly illuminating are his responses to advocates of free/open-source software.
|
|
@ -0,0 +1,24 @@
|
|||
---
|
||||
index: 53
|
||||
title: 'Riding The Multi-core Revolution'
|
||||
presentors:
|
||||
- 'Stefanus Du Toit'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/sdt-thumb-small.jpg'
|
||||
large: 'http://mirror.csclub.uwaterloo.ca/csclub/sdt-thumb-large.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/sdt.avi'
|
||||
type: 'DivX'
|
||||
size: '406M'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/sdt-xvid.avi'
|
||||
type: 'XviD'
|
||||
size: '406M'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/sdt.mpg'
|
||||
type: 'MPG'
|
||||
size: '405M'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/sdt.ogg'
|
||||
type: 'Ogg/Theora'
|
||||
size: '411M'
|
||||
---
|
||||
|
||||
For decades, mainstream parallel processing has been thought of as inevitable. Up until recent years, however, improvements in manufacturing processes and increases in clock speed have provided software with free Moore's Law-scale performance improvements on traditional single-core CPUs. As per-core CPU speed increases have slowed to a halt, processor vendors are embracing parallelism by multiplying the number of cores on CPUs, following what Graphics Processing Unit (GPU) vendors have been doing for years. The Multi-core revolution promises to provide unparallelled increases in performance, but it comes with a catch: traditional serial programming methods are not at all suited to programming these processors and methods such as multi-threading are cumbersome and rarely scale beyond a few cores. Learn how, with hundreds of cores in desktop computers on the horizon, a local software company is looking to revolutionize the way software is written to deliver on the promise multi-core holds.
|
|
@ -0,0 +1,17 @@
|
|||
---
|
||||
index: 13
|
||||
title: 'Runtime Type Inference in Dynamic Languages'
|
||||
presentors:
|
||||
- 'Kannan Vijayan'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/vijayan-type-inference-thumb-small.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/vijayan-type-inference.mp4'
|
||||
type: 'Talk (x264)'
|
||||
---
|
||||
|
||||
How do we make dynamic languages fast? Today, modern Javascript engines have demonstrated that programs written in dynamically typed scripting lan- guages can be executed close to the speed of programs written in languages with static types. So how did we get here? How do we extract precious type information from programs at runtime? If any variable can hold a value of any type, then how can we optimize well?
|
||||
|
||||
This talk covers a bit of the history of the techniques used in this space, and tries to summarize, in broad strokes, how those techniques come together to enable efficient jit-compilation of dynamically typed programs. To do the topic justice, Kannan Vijayan will be talking the Monday and Tuesday March 9th and 10th.
|
||||
|
||||
Does that mean two consecutive days of free food? Yes it does.
|
|
@ -0,0 +1,21 @@
|
|||
---
|
||||
index: 14
|
||||
title: 'SAT and SMT solvers'
|
||||
presentors:
|
||||
- 'Murphy Berzish'
|
||||
thumbnails:
|
||||
small: 'http://mirror.csclub.uwaterloo.ca/csclub/mtrberzi-sat-smt-thumb-small.jpg'
|
||||
links:
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/mtrberzi-sat-smt.mp4'
|
||||
type: 'Talk (x264)'
|
||||
- file: 'http://mirror.csclub.uwaterloo.ca/csclub/mtrberzi-sat-smt-slides.pdf'
|
||||
type: 'Talk (PDF)'
|
||||
---
|
||||
|
||||
Does your program have an overflow error? Will it work with all inputs? How do you know for sure? Test cases are the bread and butter of resilient design, but bugs still sneak into software. What if we could prove our programs are error-free?
|
||||
|
||||
Boolean Satisfiability (SAT) solvers determine the ‘satisfiability’ of boolean set of equations for a set of inputs. An SMT solver Satisfiability Modulo a Theory) applies SMT to bit-vectors, strings, arrays, and more. Together, we can reduce a program and prove it is satisfiable, or provide a concrete counter-example. The implications of this are computer-aided reasoning tools for error-checking in addition to much more robust programs.
|
||||
|
||||
In this talk Murphy Berzish will give an overview of SAT/SMT theory and some real-world solution methods. He will also demonstrate applications of SAT/SMT solvers in theorem proving, model checking, and program verification.
|
||||
|
||||
There are both .pdf slides and a .mp4 recording of the talk. Code samples and spellings of terms are in the slides, consider following along with the slides.
|