Paul Biggar

275 reputation

bio	website	circleci.com
	location	San Francisco, CA
	age	31
visits	member for	2 years, 9 months
	seen	Oct 6 '12 at 18:48
stats	profile views	21

I founded and run Circle, where we make easy-to-use, hosted continuous integration.

In past lives, I've worked on the Javascript engine at Mozilla, done a PhD in compiler optimizations, static analyses and dynamic languages, and started a YCombinator startup.

	275 reputation	bio	website	circleci.com	visits	member for	2 years, 9 months
29 badges		location	San Francisco, CA		seen	Oct 6 '12 at 18:48

summary answers questions tags badges favorites bounties reputation activity

24 Actions

suggestions reviews revisions comments badges posts accepts all

Mar 3	awarded	Notable Question
Jan 19	awarded	Popular Question
Jan 15	comment	How does Gmail deal with square brackets in subjects? @EightDaysofMalaise: thanks for that. Those don't answer my question, so I made it more specific so that it's not a dup.
Jan 15	revised	How does Gmail deal with square brackets in subjects? be more specific, avoiding being a dup
Jan 15	asked	How does Gmail deal with square brackets in subjects?
Aug 2	awarded	Yearling
Jun 25	awarded	Popular Question
Apr 30	awarded	Nice Question
Feb 4	awarded	Popular Question
Oct 13	awarded	Editor
Oct 13	revised	Google: what language is chr, and why is my homepage set there? added 89 characters in body
Oct 13	comment	Google: what language is chr, and why is my homepage set there? See bugzilla.mozilla.org/show_bug.cgi?id=580833 for the bug report.
Oct 13	comment	Google: what language is chr, and why is my homepage set there? Well, chrome is the name for files and resources within firefox, but I don't know how it got like that.
Sep 30	comment	Google: what language is chr, and why is my homepage set there? I use firefox sync, so that might be the culprit.
Aug 21	asked	Is it possible to create a Gmail filter that works on arbitrary headers?
Aug 8	accepted	Google: what language is chr, and why is my homepage set there?
Aug 8	awarded	Scholar
Aug 8	accepted	Can I get Gmail to find contacts in LDAP?
Aug 5	awarded	Student
Aug 5	asked	Can I get Gmail to find contacts in LDAP?