8-9:30 tr db. 11-12:30 mwf. free after 12:30 mwf, weekend *, after 9:30 tr.

open - 18 - riseup, ? - labor or product $50/hr.

tutor - 5 - pac, creative math/cs, sprouts - labor $15/hr.

bike csa + compost - 3 - metro, pedal people - labor $20/hr.

multimodal transit - 2 - swift, amtrak, c&j, zipcar, relay rides - consultation $70/ ~2 hrs.

farm - 3 - drumlin, town's shared farm, maine one, jon blueberry - labor $15/hr.  [other working CSA's? - ]

green + hemp sell      - 2 - circle creations, trust hemp, dargelos - $3 markup/sale

bike acc sell - 2 - dargelos, outlier, pedaler, arkel, ortlieb - $5 markup/sale

alt energy sell - 1 - small scale such as lights, drying rack - $50/ ~1.5 hrs.

recycle advise - 1 - terracycle, creative upcycling and reuse. - $80/ ~2 hrs

goal: $20 k - living offset such as food, rent

unpaid: fnb, read, write, draw, coop, buy food, bike+mass transit, math probs.

no servants. - trash, bathrooms, chores?, other services - farming, cooking, recycling, make bike, make power

orgs:

compost + recycle - online green store, bike pickup

bike commute accessories - store, design/criticize, consult

energy efficiency household/individual - online green store,

farms - organic, csa deliver + tech

food coop + tech - software, building buying club, food research group

worker collective + tech - software

mass transit - promote, fit better with people's lives

hemp clothes - software for getting hemp material, selling to individuals

open education - start institute, set up peer learning

minority housing discrimination, urban living conditions - raise awareness, publicize info

work day: 12:30 wake-up start..breakfast while working | 3:30 lunch on own | 6:00 meet/dinner ~25 mins | 6:30 work / shower | 10:45 start laundry, move towards out - bike | 12:45 back/taxi+bike | 1:30 pack lunch, do dishes, hang laundry | 1:45 sleep

sci prog slides

awkward:
-arrive, leave = better coat, less paper?
-riding bus, public with coat, bala - warmth layer for hoodie, hat
-eating food out = smaller, more frequent meals. easier access, stow

harvard (cabot, mckay - open to public, mckay limited hours. math not open to public) , mit(barker - open, others?) , northeastern (snell - open, blc) , bu , tufts

cambridge - public library, ?

jp - public library

big purchase vendor sustain---

bike

phone

laptop/tablet

router/mifi

drying rack, bike lights, bike bags, bike lock, water bottle, portable dishes, clothes, jackets, warmth liners,

multimodal sponsors: sentient ge whole-foods unh yale-sustainability (eco-velo sponsors)  times-up  bs-nyc mass-dot  c&j   megabus   bolt  concord-coop   

theory - process migration / mobility / agent mobility

http://research.microsoft.com/en-us/um/people/adg/Talks/990506-logic.pdf

http://www.cs.unicam.it/merelli/Calcolo/TSE98-Klaim.pdf

http://en.wikipedia.org/wiki/Ambient_calculus

http://edoc.ub.uni-muenchen.de/5203/1/Zappe_Julia.pdf

http://hal.archives-ouvertes.fr/docs/00/07/35/81/PDF/RR-3109.pdf

http://dx.doi.org/10.1109/TSE.2003.1166587

http://www.lfcs.inf.ed.ac.uk/reports/93/ECS-LFCS-93-266/ECS-LFCS-93-266.pdf

programming systems---

mathematica, graphbase, graphviz, graph langs, other graph tools?

isabelle, proof general

tla, frama-c, promela, algebras

proof spring ----

formalize sequential algs, domains as FOL; seq algorithm proofs

spec/logic left behind: dijkstra discipline 76.6.D, correctness problem in cs boyer 76.6.c csp/haore 76.6.h57

class - http://www.sts.tu-harburg.de/teaching/ws-08.09/VSS/

djikstra - a disc of prog; handbk of ther cmp sci vol b;

-max_ind  paper

-dist object location

-concurrent awerbuch-peleg

-chord references plaxton, freenet/oceanstore, globe, past(ry), consistent hashing + random trees (lewin 98)

plaxton "accessing nearby copies ..." says: object location (mullender book dist sys 93), mullender and vitanyi (88 distributed matchmake), awerbuch (sparse 90) -> bartal (competitive 92) -> awerbuch (dist paging 96). related to routing awerbuch (routing with poly* 90), dolev (adaptive routing 95)

"give near-optimal solutions in terms of cost to a related problem by defininig sparse-neighborhood covers of graphs. their studies do not address the overhead due to control info and hence, natural extensions of their results to our problem may require an additional memory of m words at some node...."

-globe "algorithmic ..." says: wang 93 is related, refers to this paper.

-nolte/lynch mobile nodes 2007 references sparse partitions

-hildrum 04, seems related

money---

4) elm - new haven hospital, yale it, yale sustainability, yale ...?

3) prov - ?

1) noho - originlab, ...

worc - ?

2) jp / camb - dossia, olpc/sugar, ?

5) brooklyn

dover** - see emails

contracting sites - elance, freelance, guru, ?

other site specific: sentient, ge, dossia, travelers, tallan, ...?

coop: ronin, quilted

soc

http://jobs.streetsblog.org/jobs/open-source-software-engineer/