Clarissa Littler

Biography

A former CS researcher who’s spending her days trying to make technology more accessible

Open Source Bridge 2017

Proposals for this user

* Emacs's org-mode: a writing and organizing multitool

This talk will present org-mode, a package for the emacs editor, as a tool useful for everything from writing talks, to keeping a journal, organizing your todos, and developing literate code
Hacks 2017-03-31 19:09:47 +0000
Clarissa Littler

* G-code: the assembly of 3D printing

A brief exploration of g-code, the family of low level languages that describe the physical process of running the 3D printer or CNC mill, from a programmer's perspective
Theory 2017-03-31 18:52:26 +0000
Clarissa Littler

* Learn the lambda calculus and be a better programmer

Come learn an ancient model of pen & paper programming in order to change how you think about code
Theory 2017-03-31 18:36:41 +0000
Clarissa Littler

* Why you should try volunteer teaching

A talk about my experience teaching classes as a volunteer and how it's an important, rewarding way to help your community
Activism 2017-03-31 18:34:42 +0000
Clarissa Littler

Open Source Bridge 2016

Sessions for this user

* Rethinking Social Media, Privacy, and Information Flow from the Ground Up

Inspired by security and privacy research in operating systems, we'll be discussing possible ways to redesign privacy models so that all users can have fine-grained control over both visibility of their content and how others can interact with it.
Theory
Clarissa Littler

Open Source Bridge 2015

Sessions for this user

* What Are Computers, Really?

We'll take a whirlwind tour of the theory behind what computers do. We'll start with counting on our fingers and end with an explanation of why there are some problems where the laws of physics say "no, a computer can never do this". No mathematical background necessary.
Chemistry
Clarissa Littler

Open Source Bridge 2014

Proposals for this user

* An Introduction to Dependent Types and Proving Your Code Correct

This will be an introduction to dependently typed programming, the Curry-Howard correspondence, and using your type system as a proof system for showing that your code is correct all done in the programming language Agda.
Chemistry 2014-04-04 00:58:09 +0000
Clarissa Littler

* What Are Computers, Really?

We'll take a whirlwind tour of the theory behind what computers do. We'll start with counting on our fingers and end with an explanation of why there are some problems where the laws of physics say "no, a computer can never do this". No mathematical background necessary.
Chemistry 2014-04-04 00:45:10 +0000
Clarissa Littler