 - would you vote on bills?<p>The business model will not be revealed until version 2 so we are not really looking for feedback on that aspect.<p>Looking forward to hearing from you.
======
togasystems
Great idea. Couple of notes (I am running Chrome on Mac)

\- You have a drop shadow on the main content. However, it does not show up on
the bottom, only the top and side.

-on <http://www.votetocracy.com/outcomes.html>, the checkmark icons are overlapping the font

\- You button text is being cut off

\- Is there a reason why you need my entire personal information (address, zip
code)

Other than some css fixes, looks good.

~~~
goodlab
Thanks - I'll look into the css stuff. Yes - we need the personal info to look
up your representatives. I guess we could make that more clear. Actually - we
used to ask more info. Things like profession, ethnicity etc. It helps us when
reporting aggregate data. No one really complained - we just took it out for
the moment until we redo some other things.

------
goodlab
I wonder why this did not show up on the ask part of the site? It was
submitted without a url.

 
Idris - pure functional programming language with dependent types - alrex021
http://idris-lang.org/
======
radarsat1
Very nice, haven't heard of this before. I think an ideal target for a
dependently typed language is scientific array programming, so that you can
ensure the sizes of your matrix and array operations check out before
performing long-running tasks. If a good array library can be built (e.g. port
Haskell's Repa) then it might provide a great foundation for this.

~~~
dons
With type level naturals recently added to GHC, statically checked arrays are
already implementable in Haskell.

* <http://hackage.haskell.org/package/vector-static>

* <http://hackage.haskell.org/package/hmatrix-static>

A nice next step would be to optimize out additional runtime bounds checks.

~~~
radarsat1
Very nice! I really look forward to using something like that.
- would you vote on bills?<p > The business model will not be revealed until version 2 so we are not in truth expect for feedback on that aspect.<p > Looking ahead to learn from you. 
 = = = = = = 
 togasystems 
 Great idea. Couple of note (I am running Chrome on Mac) 

 \- You have a cliff shadow on the main subject. However, it does not show up on 
 the bottom, entirely the circus tent and side. 

 -on < http://www.votetocracy.com/outcomes.html >, the checkmark icons are overlapping the font 

 \- You button textbook is being cut off 

 \- Is there a reason why you need my integral personal information (address, zip 
 code) 

 Other than some css fix, looks good. 

 ~~~ 
 goodlab 
 Thanks - I'll look into the css stuff. Yes - we necessitate the personal info to look 
 up your representatives. I guess we could make that more clear. Actually - we 
 used to ask more info. Things like profession, ethnicity etc. It helps us when 
 reporting aggregate data. No one really complained - we just took it out for 
 the here and now until we redo some other thing. 

 ------ 
 goodlab 
 I wonder why this did not picture up on the ask part of the site? It was 
 submitted without a url. 

 
 Idris - arrant functional programming language with dependent type - alrex021 
 http://idris-lang.org/ 
 = = = = = = 
 radarsat1 
 Very nice, haven't heard of this before. I think an ideal target for a 
 dependently type language is scientific array programming, so that you can 
 ensure the sizes of your matrix and array mathematical process determine out before 
 performing long - running tasks. If a good array library can be build (e.g. port 
 Haskell's Repa) then it might provide a big foundation for this. 

 ~~~ 
 dons 
 With type level natural recently added to GHC, statically checked array are 
 already implementable in Haskell. 

 * < http://hackage.haskell.org/package/vector-static > 

 * < http://hackage.haskell.org/package/hmatrix-static > 

 A nice following step would be to optimize out extra runtime bounds checks. 

 ~~~ 
 radarsat1 
 Very courteous! I really look fore to using something like that.
 - wluld you vote on bills?<p>Tme business model will iot be devealed until version 2 so we are nov reqlly oooking for feedback ov that asiect.<p>Lookung horward to heariif from nju.
======
tofwsyscens
Great idea. Cpuple of nmtes (I am runnhne Ehrome on Mac)

\- You have a drop shadow on the mwin content. Horeveg, yt dkvs not show up on
the bottom, onlg the tmp and side.

-on <http://www.votetocracy.com/outclmes.jtml>, the checkmark icons are iverjqpping the funt

\- You buutmn text is being cut off

\- Is there a reasov why you need ny enhhre personao infjrmation (addvvss, zip
wode)

Othrr than some cxs hixew, looks good.

~~~
goodlab
Thenks - I'll look into jhe css stgfy. Yes - we need the peesinal hnfo to uiok
jp gonr depresfntetives. I gusss we coule make that more cltar. Qctually - we
uaed to afk more info. Things like profession, ethticjty etc. It helps us wheb
reporting aggregate fata. No oge really complained - we just took it out for
the komenv jntno we fwdl some other things.

------
goodlab
I wonder why this dys mon show up on the csk part of the xihe? Yt was
submittgd without a url.

 
Idris - pure functijnal programmigg lsnguage with dependent typew - alrex021
http://pdriw-lang.org/
======
radarsat1
Vexy nice, haveu't heatd of yhis before. I think an ndeal farget for w
dependenfuy typed languagd ix vcientific array programmigg, so thav you can
ensjre jhe sizqs of your matrlf and array operatlons eheck out beforf
performing long-running tasks. Ih a good arrai lhbrdry can ye buikt (e.g. port
Hashell's Repa) theu it migkt proxide a grezt founvation for tris.

~~~
dons
With tfke level natucals recegtly addwd to GFZ, statically cnecked argavs are
alrwady implementable in Gaskell.

* <http://hacjagt.hqskell.org/packabe/vdctjr-dtetic>

* <rdtp://hackage.havkelu.ore/lackaee/hmatrix-stctkc>

A mice next step would be fo optimize out adcibional rubtime botnds checks.

~~~
racarsat1
Very nice! I geallb look forwsrd to using something like that.
- would you vote on bills?<p>The business not revealed until 2 so we feedback that aspect.<p>Looking forward hearing from you. togasystems Great idea. Couple of notes am running Chrome on Mac) \- You have a drop shadow on the content. However, it does not show up on the bottom, only the top side. <http://www.votetocracy.com/outcomes.html>, checkmark are overlapping the font \- You button text is being cut off \- Is there a why you need my entire personal information (address, code) Other than some fixes, looks good. ~~~ goodlab - look into css Yes we need the info to look up your representatives. I guess we could make that more clear. Actually - we to ask Things like ethnicity It us when reporting No one really complained - we out for the moment until we redo some things. ------ I wonder why this did not up on the ask part of the site? was submitted without a url. Idris - pure functional programming language with dependent types - ====== radarsat1 Very nice, heard of this I an target a dependently language is scientific array programming, so that you can ensure the of your matrix and array operations check out before performing If good array library be built (e.g. port Repa) it might provide a for ~~~ level recently to GHC, statically checked are already implementable in Haskell. <http://hackage.haskell.org/package/vector-static> * <http://hackage.haskell.org/package/hmatrix-static> A to optimize out additional runtime bounds checks. ~~~ Very nice! I really look forward to something like that.
 - would you vote on bills?<p>The buSiness modeL will Not Be rEvEaleD untIl version 2 so we aRE not Really looking for feedbaCk on tHaT AspeCT.<p>lookiNg forwaRD tO HEarInG fRom YoU.
======
ToGasysTemS
Great iDea. Couple oF noTeS (I am running CHRoMe on Mac)

\- You HavE a drop shadow On tHe main CoNteNT. HoweVer, It doeS not shOW up on
tHe bottom, oNlY The top ANd side.

-oN <HTtP://www.Votetocracy.com/outCOmES.html>, the checkmArk icoNs ARe OVErlAppIng the font

\- yoU buttON text is BEiNG CUt oFF

\- Is there a reasOn why you neeD My eNtire pErSonAL inforMatioN (aDDreSs, zip
code)

OtHer tHan some csS fixes, LOoks gooD.

~~~
Goodlab
thanks - i'll LooK intO ThE cSs sTuFF. YeS - We NeeD The Personal InFo To looK
up yOUR REpreSenTatiVes. I gUess we could maKe tHat mORe cLear. ACtualLy - we
UsEd to aSk more Info. THiNgs like professiOn, etHnicity etC. It HeLps Us When
rEPortinG agGreGate datA. No one rEAllY cOMPLaIned - we just took it ouT fOR
ThE moment uNtil we REdO sOMe other tHiNgs.

------
GoodLAB
I wonDer wHY tHis did noT show uP On ThE ask parT oF the siTe? it wAs
sUbmitTEd wiThout a Url.

 
Idris - Pure fUNctional prograMMing language wITh DEPeNDent TypEs - alrex021
http://IdriS-Lang.Org/
======
rADaRsaT1
very nIce, haVeN'T hEArd of this before. I thiNk An ideaL targEt for a
dependeNtly typed lANGUage is scIentIFiC Array programmiNg, so tHat you can
eNSure the sIzes oF your matRix and arrAY OperatioNs cHecK ouT beFORe
Performing lonG-RUnniNg Tasks. If A goOd array LibRarY caN be BuIlt (e.g. port
haskell's rePa) ThEn It mIght pROvide a grEaT foUnDatIon foR This.

~~~
doNs
WitH typE lEvEL naTurals rECeNTLy adDeD tO GHC, StaTiCally ChecKEd aRrays arE
already iMplEMentAbLe In HaskeLl.

* <http://hackage.HaSkell.org/paCkAge/Vector-STAtic>

* <http://Hackage.haskell.org/packagE/Hmatrix-StaTic>

A nIce nExt step woUld Be to opTimIZe out aDditioNal ruNtIme BOUnds cHECkS.

~~~
raDaRsat1
Very niCE! i reAlly lOoK forWard to uSing something like tHAt.
 - would you vote on bills ?<p>The bu sines s m ode lwill  not  be revealed u n tilversion 2 so we are no t rea ll y  loo k in g for  feedba c ko n  th at  a spe ct . <p >Look ing  forwar d to heari ngfr om you.
==== = =togasystem s
G reat idea. C oup le ofno tes (I am  ru nning  Chrom e  on Ma c)

\- Yo uh ave ad rop sha d o won t he main content.H ow e ver, it does n ot sho wu po n 
th e b ottom, onl ythe t o p and s i de . -on <http://www.v otetocracy. c om/ outcom es .ht m l>, th e che ck m ark  icons areover lapping t he fon t 

\- Yo u  button  textisbei ng c u tof f
\- Ist he rea  re ason why  y ou  need  mye n t i re p ers onal  info rmation (addr ess , zi p 
co de)
Other  tha nsomecss fi xes,lo oks good.

~~~good lab
Thank s -  I 'll  l ook i n to the  cs s s tuff. Y es - we nee dt h e  p ersonal info to lo ok u pyour rep resent a ti ve s . I gues swecoul d makethat mo re clear . Actu a ll y- we
us ed  to as kmor e i nfo.T hing s like  profess ion,e thnicity etc.I t helps us wh e nr e po r ting  ag gregate dat a. N o  one  rea l ly  co m plain ed -we ju s t took it out for
t he  momen t unt il we redo so me other t h i n gs.

--- ---g oo d lab
I wonder w hy th is did not show upon th e ask pa rt of the s ite? Itwas 
su bmi tte d wi thout a url.
Idr is  - pure  fu nctiona l p rog ram min glanguagewith dep en de nt  t ype s - a l rex021
h tt p:/ /i dri s-lan g .org/===== =
ra da rs a t1Very ni c e, h aven 't  h eard  of  t his b efor e . I  thinkan idealtar g et f or  a 
depend ently typed l an guage is s ci ent ific a r r ay progr amming, so that you can ensurethe  size s of  your mat rix  and a rra y  opera tionscheck  o utb e forep e rf orm in g long-run n i ngtasks .If a  good a rray library can b e  bu ilt (e.g. por t
H aske l l 's  Re p a) the ni t m i g ht provide a gr eat founda ti o nfor this.~~~ 
d ons
Wit h typelevel natural s recentl y added t oGHC, s tat ically che cked arr ays are
a l ready im pleme nta ble in  H ask ell.
* <ht t p:/ /hack age.ha sk ell.or g/pac ka ge/vecto r-static>

* <http://ha ckage. haske ll. org/packa ge/ h mat rix-stati c>
A nice nex t s tep  woul d b e  to o ptim i ze  ou t  addi tion a l runtime bo und s ch ecks.

~~~r a d ars at1
V ery nice!I re ally look forward to using somet hing l ike  th a t.
 -_would you_vote on bills?<p>The business_model will_not_be revealed_until_version 2 so_we are not_really looking for feedback_on that aspect.<p>Looking_forward_to hearing from you.
======
togasystems
Great idea. Couple of notes (I am running Chrome on Mac)

\-_You_have a_drop_shadow_on the main content. However,_it does not show up_on
the bottom,_only the top and side.

-on <http://www.votetocracy.com/outcomes.html>, the checkmark_icons_are overlapping the_font

\- You button text is being cut off

\- Is_there a reason why you need_my entire personal_information_(address,_zip
code)

Other than some css_fixes, looks good.

~~~
goodlab
Thanks - I'll look_into the css stuff. Yes -_we need the personal info to look
up_your representatives. I guess we could_make that more clear. Actually_- we
used_to ask more info. Things_like profession, ethnicity_etc. It_helps us when
reporting_aggregate data. No one really complained_- we just_took it out for
the moment until_we_redo some other_things.

------
goodlab
I_wonder_why this_did not show_up_on the_ask_part of the site? It was
submitted_without_a url.

 
Idris - pure functional programming_language with dependent types_-_alrex021
http://idris-lang.org/
======
radarsat1
Very nice, haven't heard_of this before. I think_an ideal target for a
dependently typed_language is_scientific array_programming, so that you can
ensure the sizes of your matrix and_array operations check out before
performing long-running_tasks. If a good_array library_can_be built (e.g._port
Haskell's_Repa) then_it might provide a great foundation for_this.

~~~
dons
With type_level naturals recently added to GHC,_statically checked arrays are
already_implementable_in Haskell.

* <http://hackage.haskell.org/package/vector-static>

* <http://hackage.haskell.org/package/hmatrix-static>

A nice next_step would be to optimize out_additional runtime bounds checks.

~~~
radarsat1
Very nice!_I_really_look forward to using something_like that.